High degree solutions of low degree equations (extended abstract)
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Solving linear ordinary differential equations over C (x, e∫ f(x)dx)
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
The Riccati equation in mathematical finance
Journal of Symbolic Computation
Landen transformations and the integration of rational functions
Mathematics of Computation
Indefinite Integration as a Testbed for Developments in Multi-agent Systems
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Computer algebra handbook
Factoring systems of linear PDEs with finite-dimensional solution spaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Differential rational normal forms and a reduction algorithm for hyperexponential func
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Encyclopedia of Computer Science
Programming and Computing Software
Lifting and recombination techniques for absolute factorization
Journal of Complexity
Structure theorems for parallel integration
Journal of Symbolic Computation
Submersive rational difference systems and their accessibility
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Symbolic definite (and indefinite) integration: methods and open issues
ACM Communications in Computer Algebra
Interactive learning and mathematical calculus
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
Journal of Symbolic Computation
Solving linear ordinary differential systems in hyperexponential extensions
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
On the integration of differential fractions
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Integration of unspecified functions and families of iterated integrals
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
| Hi-index | 0.00 |