Robert M. Corless

158 papers B 19C 1Misc 6Journal 116Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Hermite Interpolational Bohemians. Maple Trans. Robert M. Corless, Michelle Hatzel
2025	J	`jnl`	About the SIAM 2026 Desk Calendar: from Perturbation Methods using Backward Error Analysis. Maple Trans. Robert M. Corless, Nicolas Fillion
2025	J	`jnl`	Bidiagonal factoring of Stirling matrices. Maple Trans. Robert M. Corless, David J. Jeffrey, Qingze Li
2025	B	`conf`	Computation of Stirling Numbers for Complex Arguments. CASC Robert M. Corless, David J. Jeffrey, Qingze Li
2025	J	`jnl`	Error in Homotopy Methods for Random Roots. Maple Trans. Robert M. Corless, Michelle Hatzel
2025	J	`jnl`	Featured Review: Numerical Integration of Differential Equations. SIAM Rev. John C. Butcher, Robert M. Corless
2025	J	`jnl`	Minimizing Residuals in ODE Integration Using Optimal Control. CoRR Robert M. Corless, C. Yalçin Kaya
2025	J	`jnl`	Numerical methods for Chaotic ODE. CoRR Robert M. Corless
2025	J	`jnl`	On Parametric Linear System Solving. CoRR Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders
2025	J	`jnl`	Poincaré Sections by Inverse Cubic Hermite Interpolation. Maple Trans. Robert M. Corless, Michelle Hatzel
2025	J	`jnl`	Pure tone modes for an elliptic 5:3 drum. Maple Trans. Robert M. Corless
2025	J	`jnl`	Remembering Piers W. Lawrence (1987-2025). Maple Trans. Robert M. Corless
2025	B	`conf`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. ISSAC Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025	J	`jnl`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. CoRR Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025	J	`jnl`	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition. CoRR Robert M. Corless, Deepak Singh Kalhan, Stephen M. Watt
2024	J	`jnl`	An Hermite-Obreshkov method for 2nd-order linear initial-value problems for ODE. Numer. Algorithms Robert M. Corless
2024	J	`jnl`	Barycentric Hermite Interpolation. Maple Trans. Robert M. Corless
2024	J	`jnl`	Exploring Cover Designs for an Upcoming Book. Maple Trans. Robert M. Corless, Michelle Hatzel
2024	J	`jnl`	Structured Backward Error for the WKB method. CoRR Robert M. Corless, Nicolas Fillion
2024	J	`jnl`	The Extended Watson - Wong - Wyman Lemma in Maple. Maple Trans. Robert M. Corless, Michelle Hatzel, Erik Postma
2023	J	`jnl`	About this issue. Maple Trans. Robert M. Corless
2023	J	`jnl`	Blends have decent numerical properties. Maple Trans. Robert M. Corless
2023	B	`conf`	Blendstrings: an environment for computing with smooth functions. ISSAC Robert M. Corless
2023	J	`jnl`	Blendstrings: an environment for computing with smooth functions. CoRR Robert M. Corless
2023	J	`jnl`	Chaos Game Representation. SIAM Rev. Eunice Y. S. Chan, Robert M. Corless
2023	J	`jnl`	Devilish Tricks for Sequence Acceleration. Maple Trans. Robert M. Corless
2023	J	`jnl`	Editor's Corner December 2023. Maple Trans. Robert M. Corless
2023	J	`jnl`	Elliptic cross sections in blood flow regulation. CoRR Chris Brimacombe, Robert M. Corless, Mair Zamir
2023	J	`jnl`	Remembering Eugenio Roanes-Lozano. Maple Trans. Robert M. Corless, Ilias S. Kotsireas
2023	J	`jnl`	Solving multivariate polynomial systems using eigenvalues in Maple. Maple Trans. Robert M. Corless
2023	J	`jnl`	Special Functions in Problem Solving Environments: A personal view. Maple Trans. Robert M. Corless
2023	C	`conf`	Teaching Linear Algebra in a Mechanized Mathematical Environment. CICM Robert M. Corless, David J. Jeffrey, Azar Shakoori
2023	J	`jnl`	Towering Fractals. Maple Trans. Johan Joby, David J. Jeffrey, Robert M. Corless
2023	J	`jnl`	Two-cycles in the Infinite Exponential Tower. Maple Trans. Robert M. Corless, David J. Jeffrey, Johan Joby
2022	J	`jnl`	A Fractal Eigenvector. Am. Math. Mon. Neil J. Calkin, Eunice Y. S. Chan, Robert M. Corless, David J. Jeffrey, Piers W. Lawrence
2022	B	`conf`	Bohemian Matrix Geometry. ISSAC Robert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri
2022	J	`jnl`	Bohemian Matrix Geometry. CoRR Robert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri
2022	J	`jnl`	Compact cubic splines. J. Approx. Theory Robert M. Corless, Leili Rafiee Sevyeri
2022	J	`jnl`	Inner Bohemian inverses. Appl. Math. Comput. Eunice Y. S. Chan, Robert M. Corless, Laureano González-Vega, J. Rafael Sendra, Juana Sendra
2022	J	`jnl`	Proceedings of the Maple Conference 2021. Maple Trans. Paulina Chin, Robert M. Corless
2022	J	`jnl`	Stirling's Original Asymptotic Series from a Formula Like One of Binet's and its Evaluation by Sequence Acceleration. Exp. Math. Robert M. Corless, Leili Rafiee Sevyeri
2021	J	`jnl`	An unwinding number pair for continuous expressions of integrals. J. Symb. Comput. Robert H. C. Moir, Robert M. Corless, David J. Jeffrey
2021	J	`jnl`	Approximate GCD in Lagrange bases. CoRR Leili Rafiee Sevyeri, Robert M. Corless
2021	J	`jnl`	Computation and Applications of Mathieu Functions: A Historical Perspective. SIAM Rev. Chris Brimacombe, Robert M. Corless, Mair Zamir
2021	B	`conf`	Equivalences for Linearizations of Matrix Polynomials. ISSAC Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders
2021	J	`jnl`	Equivalences for Linearizations of Matrix Polynomials. CoRR Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders
2021	J	`jnl`	Maple Transactions-The Early Years. Maple Trans. Robert M. Corless
2021	—	`ed.`	Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers MC Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas
2021	J	`jnl`	Skew-symmetric tridiagonal Bohemian matrices. Maple Trans. Robert M. Corless
2021	J	`jnl`	Some Facts and Conjectures about Mandelbrot Polynomials. Maple Trans. Neil J. Calkin, Eunice Y. S. Chan, Robert M. Corless
2021	J	`jnl`	The Theodorus Variation. Maple Trans. Ewan Brinkman, Robert M. Corless, Veselin Jungic
2021	J	`jnl`	What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation. Maple Trans. Robert M. Corless
2020	Misc	`conf`	Approximate GCD in Lagrange bases. SYNASC Leili Rafiee Sevyeri, Robert M. Corless
2020	—	`conf`	Blends in Maple. MC Robert M. Corless, Erik J. Postma
2020	J	`jnl`	Blends in Maple. CoRR Robert M. Corless, Erik Postma
2020	J	`jnl`	Differentiation matrices for univariate polynomials. Numer. Algorithms Amirhossein Amiraslani, Robert M. Corless, Madhusoodan Gunasingam
2020	J	`jnl`	Inverse Cubic Iteration. CoRR Robert M. Corless
2020	B	`conf`	On Parametric Linear System Solving. CASC Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders
2020	J	`jnl`	Symbolic-numeric integration of rational functions. Numer. Algorithms Robert H. C. Moir, Robert M. Corless, Marc Moreno Maza, Ning Xie
2020	J	`jnl`	The Runge Example for Interpolation and Wilkinson's Examples for Rootfinding. SIAM Rev. Robert M. Corless, Leili Rafiee Sevyeri
2019	J	`jnl`	Approximate GCD in Bernstein basis. ACM Commun. Comput. Algebra Robert M. Corless, Leili Rafiee Sevyeri
2019	—	`conf`	Approximate GCD in a Bernstein Basis. MC Robert M. Corless, Leili Rafiee Sevyeri
2019	J	`jnl`	Approximate GCD in a Bernstein basis. CoRR Robert M. Corless, Leili Rafiee Sevyeri
2019	—	`conf`	Comprehensive LU Factors of Polynomial Matrices. MACIS Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless
2019	J	`jnl`	Minimal Height Companion Matrices for Euclid Polynomials. Math. Comput. Sci. Eunice Y. S. Chan, Robert M. Corless
2019	J	`jnl`	Optimal residuals and the Dahlquist test problem. Numer. Algorithms Robert M. Corless, C. Yalçin Kaya, Robert H. C. Moir
2019	J	`jnl`	Revisiting Gilbert Strang's "a chaotic search for ACM Commun. Comput. Algebra Ao Li, Robert M. Corless
2019	J	`jnl`	Upper Hessenberg and Toeplitz Bohemians. CoRR Eunice Y. S. Chan, Robert M. Corless, Laureano González-Vega, J. Rafael Sendra, Juana Sendra
2018	J	`jnl`	A random walk through experimental mathematics. CoRR Eunice Y. S. Chan, Robert M. Corless
2018	J	`jnl`	Bohemian Upper Hessenberg Matrices. CoRR Eunice Y. S. Chan, Robert M. Corless, Laureano González-Vega, J. Rafael Sendra, Juana Sendra, Steven E. Thornton
2018	J	`jnl`	Bohemian Upper Hessenberg Toeplitz Matrices. CoRR Eunice Y. S. Chan, Robert M. Corless, Laureano González-Vega, J. Rafael Sendra, Juana Sendra, Steven E. Thornton
2018	J	`jnl`	Comprehensive anti-derivatives and parametric continuity. ACM Commun. Comput. Algebra Robert M. Corless, David J. Jeffrey, David R. Stoutemyer
2018	J	`jnl`	Gamma and Factorial in the Monthly. Am. Math. Mon. Jonathan M. Borwein, Robert M. Corless
2018	J	`jnl`	Revisiting the discharge time of a cylindrical leaking bucket: or, "one does not simply call dsolve into mordor.". ACM Commun. Comput. Algebra Robert M. Corless, Julia E. Jankowski
2017	—	`conf`	Jordan Canonical Form with Parameters from Frobenius Form with Parameters. MACIS Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
2017	J	`jnl`	Linearization of a specific family of Bézout matrices. ACM Commun. Comput. Algebra Leili Rafiee Sevyeri, Robert M. Corless
2017	Misc	`conf`	Properties and Computation of the Functional Inverse of Gamma. SYNASC K. Amenyo Folitse, David J. Jeffrey, Robert M. Corless
2017	—	`conf`	Rapidly Convergent Integrals and Function Evaluation. MACIS Heba al Kafri, David J. Jeffrey, Robert M. Corless
2017	J	`jnl`	Symbolic-Numeric Integration of Rational Functions. CoRR Robert M. Corless, Robert H. C. Moir, Marc Moreno Maza, Ning Xie
2016	J	`jnl`	Fibonacci-mandelbrot polynomials and matrices. ACM Commun. Comput. Algebra Eunice Y. S. Chan, Robert M. Corless
2016	J	`jnl`	The bohemian eigenvalue project. ACM Commun. Comput. Algebra Robert M. Corless, Steven E. Thornton
2016	J	`jnl`	Variations on a Theme of Euler. SIAM Rev. Robert M. Corless, Julia E. Jankowski
2015	J	`jnl`	Backward Error of Polynomial Eigenvalue Problems Solved by Linearization of Lagrange Interpolants. SIAM J. Matrix Anal. Appl. Piers W. Lawrence, Robert M. Corless
2015	Misc	`conf`	Computation of Stirling Numbers and Generalizations. SYNASC Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang
2015	J	`jnl`	Unwinding paths on the Riemann sphere for continuous integrals of rational functions. ACM Commun. Comput. Algebra Robert H. C. Moir, Robert M. Corless, David J. Jeffrey
2014	—	`conf`	A Package for Parametric Matrix Computations. ICMS Robert M. Corless, Steven E. Thornton
2014	J	`jnl`	High-Accuracy Series Solution for Two-Dimensional Convection in a Horizontal Concentric Cylinder. SIAM J. Appl. Math. Yiming Zhang, Robert M. Corless
2014	J	`jnl`	On the epistemological analysis of modeling and computational error in the mathematical sciences. Synth. Nicolas Fillion, Robert M. Corless
2014	J	`jnl`	Some definite integrals containing the Tree T function. ACM Commun. Comput. Algebra Robert M. Corless, Junrui Hu, David J. Jeffrey
2014	J	`jnl`	Stability of rootfinding for barycentric Lagrange interpolants. Numer. Algorithms Piers W. Lawrence, Robert M. Corless
2014	B	`conf`	The asymptotic analysis of some interpolated nonlinear recurrence relations. ISSAC Robert M. Corless, David J. Jeffrey, Fei Wang
2014	J	`jnl`	Zigzag Form over Families of Parametric Matrices. ACM Commun. Comput. Algebra Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
2013	J	`jnl`	An Application of Regular Chain Theory to the Study of Limit cycles. Int. J. Bifurc. Chaos Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang
2013	J	`jnl`	Computing the topology of a real algebraic plane curve whose defining equations are available only "by values". Comput. Aided Geom. Des. Robert M. Corless, Gema M. Diaz-Toca, Mario Fioravanti, Laureano González-Vega, Ignacio F. Rúa, Azar Shakoori
2013	J	`jnl`	Pseudospectra of exponential matrix polynomials. Theor. Comput. Sci. Robert M. Corless
2012	J	`jnl`	Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function. ACM Trans. Math. Softw. Piers W. Lawrence, Robert M. Corless, David J. Jeffrey
2011	—	`conf`	GCD of multivariate approximate polynomials using beautification with the subtractive algorithm. SNC Robert M. Corless, Erik Postma, David R. Stoutemyer
2011	—	`conf`	Numerical stability of barycentric Hermite root-finding. SNC Piers W. Lawrence, Robert M. Corless
2011	J	`jnl`	Polynomial algebra for Birkhoff interpolants. Numer. Algorithms John C. Butcher, Robert M. Corless, Laureano González-Vega, Azar Shakoori
2011	J	`jnl`	Rounding coefficients and artificially underflowing terms in non-numeric expressions. ACM Commun. Comput. Algebra Robert M. Corless, Erik Postma, David R. Stoutemyer
2011	—	`conf`	Using weighted norms to find nearest polynomials satisfying linear constraints. SNC Nargol Rezvani, Robert M. Corless
2009	J	`jnl`	Preface. J. Symb. Comput. Robert M. Corless, Reiner Lauterbach, Hans-Michael Möller
2009	—	`conf`	Pseudospectra for exponential polynomial matrices. SNC Robert M. Corless
2009	J	`jnl`	The Computational Complexity of Extrapolation Methods. Math. Comput. Sci. Silvana Ilie, Robert M. Corless, Chris Essex
2009	J	`jnl`	Using symmetries in the eigenvalue method for polynomial systems. J. Symb. Comput. Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas
2008	J	`jnl`	Adaptivity and computational complexity in the numerical solution of ODEs. J. Complex. Silvana Ilie, Gustaf Söderlind, Robert M. Corless
2007	J	`jnl`	Block LU factors of generalized companion matrix pencils. Theor. Comput. Sci. Amirhossein Amiraslani, Dhavide A. Aruliah, Robert M. Corless
2007	—	`conf`	Companion matrix pencils for hermite interpolants. SNC Dhavide A. Aruliah, Robert M. Corless, Laureano González-Vega, Azar Shakoori
2007	—	`conf`	Computing the topology of a real algebraic plane curve whose equation is not directly available. SNC Dhavide A. Aruliah, Robert M. Corless, Azar Shakoori, Laureano González-Vega, Ignacio F. Rúa
2007	—	`conf`	Geometric applications of the Bezout matrix in the Lagrange basis. SNC Dhavide A. Aruliah, Robert M. Corless, Laureano González-Vega, Azar Shakoori
2007	B	`conf`	Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas. ISSAC Robert M. Corless, Dawit Assefa
2007	J	`jnl`	Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases. Math. Comput. Sci. Robert M. Corless, Nargol Rezvani, Amirhossein Amiraslani
2007	—	`conf`	The nearest polynomial of lower degree. SNC Robert M. Corless, Nargol Rezvani
2007	B	`conf`	The solution of ISSAC Robert M. Corless, Hui Ding, David J. Jeffrey
2006	J	`jnl`	Compact finite difference method for integro-differential equations. Appl. Math. Comput. Jichao Zhao, Robert M. Corless
2006	J	`jnl`	Convergence of the compact finite difference method for second-order elliptic equations. Appl. Math. Comput. Jichao Zhao, Tie Zhang, Robert M. Corless
2006	J	`jnl`	Numerical solutions of index-1 differential algebraic equations can be computed in polynomial time. Numer. Algorithms Silvana Ilie, Robert M. Corless, Greg Reid
2005	J	`jnl`	The nearest polynomial with a given zero, revisited. SIGSAM Bull. Nargol Rezvani, Robert M. Corless
2004	B	`conf`	Numerical parameterization of affine varieties using. ISSAC Dhavide A. Aruliah, Robert M. Corless
2004	J	`jnl`	QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. Robert M. Corless, Stephen M. Watt, Lihong Zhi
2003	J	`jnl`	Approximate computation of pseudovarieties. SIGSAM Bull. Robert M. Corless, Hiroshi Kai, Stephen M. Watt
2002	J	`jnl`	A New View of the Computational Complexity of IVP for ODE. Numer. Algorithms Robert M. Corless
2002	B	`conf`	A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt
2002	J	`jnl`	Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
2002	J	`jnl`	The SIGSAM Bull. Mhenni Benghorbal, Robert M. Corless
2002	Misc	`conf`	The Wright omega Function. AISC Robert M. Corless, David J. Jeffrey
2001	—	`ch.`	Symbolic-Numeric Algorithms for Polynomials: Some recent Results. Symbolic Algebraic Methods and Verification Methods Robert M. Corless
2001	B	`conf`	Towards factoring bivariate approximate polynomials. ISSAC Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt
2000	J	`jnl`	"According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull. Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport
2000	J	`jnl`	An elementary solution of a minimax problem arising in algorithms for automatic mesh selection. SIGSAM Bull. Robert M. Corless
2000	Misc	`conf`	Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt
2000	Misc	`conf`	Reasoning about the Elementary Functions of Complex Analysis. AISC Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
2000	J	`jnl`	Southern Ontario Numerical Analysis Day. SIGSAM Bull. Robert M. Corless
1999	B	`conf`	Approximate polynomial decomposition. ISSAC Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt
1999	J	`jnl`	Open problems in computer algebra. SIGSAM Bull. Robert M. Corless
1998	J	`jnl`	Graphing elementary Riemann surfaces. SIGSAM Bull. Robert M. Corless, David J. Jeffrey
1998	B	`conf`	Optimization Strategies for the Approximate GCD Problem. ISSAC Paulina Chin, Robert M. Corless, George F. Corliss
1998	J	`jnl`	Report on the SNAP minisymposium at SIAM '98. SIGSAM Bull. Robert M. Corless, Stephen M. Watt
1997	B	`conf`	A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. ISSAC Robert M. Corless, Patrizia M. Gianni, Barry M. Trager
1997	B	`conf`	A Sequence of Series for the Lambert W Function. ISSAC Robert M. Corless, David J. Jeffrey, Donald E. Knuth
1997	J	`jnl`	Scientific Computing: One Part of the Revolution. J. Symb. Comput. Robert M. Corless, David J. Jeffrey
1997	J	`jnl`	The Turing factorization of a rectangular matrix. SIGSAM Bull. Robert M. Corless, David J. Jeffrey
1997	J	`jnl`	Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. J. Symb. Comput. Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha
1996	J	`jnl`	1996 East Coast Computer Algebra Day Abstracts, Yorktown Heights, New York, April 13, 1996. SIGSAM Bull. Robert M. Corless
1996	J	`jnl`	Book Review: Differential Equations with Maple V, by Martha L. Abell and James P. Braselton. SIGSAM Bull. Robert M. Corless
1996	J	`jnl`	Cofactor iteration. SIGSAM Bull. Robert M. Corless
1996	J	`jnl`	Gröbner bases and matrix eigenproblems. SIGSAM Bull. Robert M. Corless
1996	J	`jnl`	Message from the Editor. SIGSAM Bull. Robert M. Corless
1996	J	`jnl`	On the Lambert Adv. Comput. Math. Robert M. Corless, Gaston H. Gonnet, D. E. G. Hare, David J. Jeffrey, Donald E. Knuth
1996	J	`jnl`	The Encyclopedia of Integer Sequences (N. J. A. Sloane and Simon Plouffe). SIAM Rev. Jonathan M. Borwein, Robert M. Corless
1996	J	`jnl`	The unwinding number. SIGSAM Bull. Robert M. Corless, David J. Jeffrey
1995	B	`conf`	The Singular Value Decomposition for Polynomial Systems. ISSAC Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt
1994	B	`conf`	Sufficiency Analysis for the Calculus of Variations. ISSAC Robert M. Corless
1993	J	`jnl`	What is a solution of an ODE? SIGSAM Bull. Robert M. Corless
1992	B	`conf`	Solving Linear Integral Equations in Maple. ISSAC Honglin Ye, Robert M. Corless
1992	J	`jnl`	Well ... it isn't quite that simple. SIGSAM Bull. Robert M. Corless, David J. Jeffrey
1990	J	`jnl`	Solution of a Hydrodynamic Lubrication Problem with Maple. J. Symb. Comput. Robert M. Corless, David J. Jeffrey
1988	J	`jnl`	A comparison of three computer algebra systems for the solution of a problem in hydrodynamic lubrication. SIGSAM Bull. Robert M. Corless