David J. Jeffrey

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024

2023

Towering Fractals.

[BibT_eX]

[DOI]

Johan Joby

Maple Trans., 2023

Two-cycles in the Infinite Exponential Tower.

[BibT_eX]

[DOI]

Johan Joby

Maple Trans., 2023

The Inverse of the Complex Gamma Function.

[BibT_eX]

[DOI]

Stephen M. Watt

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

Teaching Linear Algebra in a Mechanized Mathematical Environment.

[BibT_eX]

[DOI]

Azar Shakoori

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Non-principal Branches of Lambert W. A Tale of 2 Circles.

[BibT_eX]

[DOI]

Jacob Imre

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

A Fractal Eigenvector.

[BibT_eX]

[DOI]

Am. Math. Mon., 2022

Working with Families of Inverse Functions.

[BibT_eX]

[DOI]

Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Subresultant Chains Using Bézout Matrices.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

2021

Common Factors in Fraction-Free Matrix Decompositions.

[BibT_eX]

[DOI]

Christoph Koutschan

Math. Comput. Sci., 2021

Problems, Puzzles, and Challenges.

[BibT_eX]

[DOI]

Maple Trans., 2021

An unwinding number pair for continuous expressions of integrals.

[BibT_eX]

[DOI]

Robert H. C. Moir

J. Symb. Comput., 2021

Tree $T$ and Lambert $W$.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Parametric Linear Algebra in Maple: Reduced Row Echelon Form.

[BibT_eX]

[DOI]

Siyuan Deng

Greg Reid

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

Recent results on the Lambert W function.

[BibT_eX]

[DOI]

Toufic J. Ayoub

Kishore Basu

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Bernoulli's Problem xy=yx and Maple.

[BibT_eX]

[DOI]

Toufic J. Ayoub

Kishore Basu

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2019

Using Maple to Make Manageable Matrices.

[BibT_eX]

[DOI]

Ana C. Camargos Couto

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Comprehensive LU Factors of Polynomial Matrices.

[BibT_eX]

[DOI]

Ana C. Camargos Couto

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

2018

Comprehensive anti-derivatives and parametric continuity.

[BibT_eX]

[DOI]

Ana Carolina Camargos Couto

David R. Stoutemyer

ACM Commun. Comput. Algebra, 2018

Rational Householder Transformations.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2017

Branch Structure and Implementation of Lambert W.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2017

Rational Orthonormal Matrices.

[BibT_eX]

[DOI]

Nasir Khattak

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Properties and Computation of the Functional Inverse of Gamma.

[BibT_eX]

[DOI]

K. Amenyo Folitse

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Rapidly Convergent Integrals and Function Evaluation.

[BibT_eX]

[DOI]

Heba al Kafri

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Stirling Numbers, Lambert W and the Gamma Function.

[BibT_eX]

[DOI]

Nick Murdoch

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Computation of Some Integer Sequences in Maple.

[BibT_eX]

[DOI]

W. L. Fan

Erik Postma

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

2016

Matrix factoring by fraction-free reduction.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Unwinding paths on the Riemann sphere for continuous integrals of rational functions.

[BibT_eX]

[DOI]

Robert H. C. Moir

ACM Commun. Comput. Algebra, 2015

RUBI and integration as term re-writing: integrals containing tangent.

[BibT_eX]

[DOI]

Junrui Hu

ACM Commun. Comput. Algebra, 2015

Lagrange Inversion and Lambert W.

[BibT_eX]

[DOI]

G. A. Kalugin

Nick Murdoch

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Computation of Stirling Numbers and Generalizations.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

Fraction-Free Factoring Revisited.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2014

Some definite integrals containing the Tree T function.

[BibT_eX]

[DOI]

Junrui Hu

ACM Commun. Comput. Algebra, 2014

Branch Differences and Lambert W.

[BibT_eX]

[DOI]

Julia E. Jankowski

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

The asymptotic analysis of some interpolated nonlinear recurrence relations.

[BibT_eX]

[DOI]

Fei Wang

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Exploring Rounding Errors in Matlab Using Extended Precision.

[BibT_eX]

[DOI]

Dina Tsarapkina

Proceedings of the International Conference on Computational Science, 2014

Multivalued Elementary Functions in Computer-Algebra Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Indefinite integration as term rewriting: Integrals containing tangent.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2013

Common Factors in Fraction-Free Matrix Reduction.

[BibT_eX]

[DOI]

Ahmed Almohaimeed

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Software Implementation of Numerical Algorithms in Arbitrary Precision.

[BibT_eX]

[DOI]

Zinovi L. Krougly

Dina Tsarapkina

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012

Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function.

[BibT_eX]

[DOI]

Piers W. Lawrence

ACM Trans. Math. Softw., 2012

OJAX++: Demonstrating the next generation of Virtual Research Environments.

[BibT_eX]

[DOI]

Judith Wusteman

Electron. Libr., 2012

2011

An analytical approach for solving nonlinear boundary value problems in finite domains.

[BibT_eX]

[DOI]

Numer. Algorithms, 2011

2010

A conjecture concerning a completely monotonic function.

[BibT_eX]

[DOI]

Ekaterina Shemyakova

S. I. Khashin

Comput. Math. Appl., 2010

Approximate solutions to a parameterized sixth order boundary value problem.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2010

LU factoring of non-invertible matrices.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

Series Transformations to Improve and Extend Convergence.

[BibT_eX]

[DOI]

G. A. Kalugin

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

Reducing Expression Size Using Rule-Based Integration.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Automatic computation of the complete root classification for a parametric polynomial.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

An efficient analytical approach for solving fourth order boundary value problems.

[BibT_eX]

[DOI]

Comput. Phys. Commun., 2009

New travelling wave solutions to modified CH and DP equations.

[BibT_eX]

[DOI]

Comput. Phys. Commun., 2009

A package for solving parametric polynomial systems.

[BibT_eX]

[DOI]

Jürgen Gerhard

Guillaume Moroz

ACM Commun. Comput. Algebra, 2009

A Knowledge Repository for Indefinite Integration Based on Transformation Rules.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Fraction-free matrix factors: new forms for LU and QR factors.

[BibT_eX]

[DOI]

Wenqin Zhou

Frontiers Comput. Sci. China, 2008

Automatic computation of the travelling wave solutions to nonlinear PDEs.

[BibT_eX]

[DOI]

Comput. Phys. Commun., 2008

The complete root classification of a parametric polynomial on an interval.

[BibT_eX]

[DOI]

Marc Moreno Maza

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Rule-Based Simplification in Vector-Product Spaces.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

The solution of s exp(s) = a is not always the lambert w function of a.

[BibT_eX]

[DOI]

Hui Ding

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006

Hierarchical Representations with Signatures for Large Expression Management.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

A note on Laplace's equation inside a cylinder.

[BibT_eX]

[DOI]

Silvana Ilie

Appl. Math. Lett., 2005

Affine transformations of algebraic numbers.

[BibT_eX]

[DOI]

Pratibha

K. B. Roach

Proceedings of the Symbolic and Algebraic Computation, 2005

An Algebraic Method for Analyzing Open-Loop Dynamic Systems.

[BibT_eX]

[DOI]

Wenqin Zhou

Gregory J. Reid

Proceedings of the Computational Science, 2005

Stokes-Flow Problem Solved Using Maple.

[BibT_eX]

[DOI]

Pratibha

Proceedings of the Computational Science, 2005

The Art of Formula.

[BibT_eX]

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

Not seeing the roots for the branches: multivalued functions in computer algebra.

[BibT_eX]

[DOI]

Arthur C. Norman

SIGSAM Bull., 2004

Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

2003

Polynomial transformations of Tschirnhaus, Bring and Jerrard.

[BibT_eX]

[DOI]

Victor S. Adamchik

SIGSAM Bull., 2003

2002

Reasoning about the Elementary Functions of Complex Analysis.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2002

The Wright omega Function.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence, 2002

2000

"According to Abramowitz and Stegun" or arccoth needn't be uncouth.

[BibT_eX]

[DOI]

SIGSAM Bull., 2000

Reasoning about the Elementary Functions of Complex Analysis.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

Approximate polynomial decomposition.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

Graphing elementary Riemann surfaces.

[BibT_eX]

[DOI]

SIGSAM Bull., 1998

Recursive Integration of Piecewise-Continuous Functions.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

Rectifying Transformations for the Integration of Rational Trigonometric Functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Scientific Computing: One Part of the Revolution.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

The Turing factorization of a rectangular matrix.

[BibT_eX]

[DOI]

SIGSAM Bull., 1997

Integration of the Signum, Piecewise and Related Functions.

[BibT_eX]

[DOI]

George Labahn

Martin von Mohrenschildt

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

A Sequence of Series for the Lambert W Function.

[BibT_eX]

[DOI]

Donald E. Knuth

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1996

Function evaluation on branch cuts.

[BibT_eX]

[DOI]

SIGSAM Bull., 1996

The unwinding number.

[BibT_eX]

[DOI]

SIGSAM Bull., 1996

On the LambertW function.

[BibT_eX]

[DOI]

Adv. Comput. Math., 1996

1994

The evaluation of trigonometric integrals avoiding spurious discontinuities.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 1994

1993

Integration to Obtain Expressions Valid on Domains of Maximum Extent.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

1992

Well ... it isn't quite that simple.

[BibT_eX]

[DOI]

SIGSAM Bull., 1992

1990

Solution of a Hydrodynamic Lubrication Problem with Maple.

[BibT_eX]

[DOI]