Integrals and series of special functions
Integrals and series of special functions
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Algorithms for computer algebra
Algorithms for computer algebra
Branch cuts in computer algebra
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Optical character recognition for typeset mathematics
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Network servers for symbolic mathematics
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Methods of Relevance Ranking and Hit-content Generation in Math Search
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A Knowledge Repository for Indefinite Integration Based on Transformation Rules
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Efficiency considerations for indefinite integration by transformation rules
ISTASC'09 Proceedings of the 9th WSEAS International Conference on Systems Theory and Scientific Computation
A new mathematics retrieval system
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Reducing expression size using rule-based integration
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Retrieving documents with mathematical content
Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval
Structural similarity search for mathematics retrieval
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |