Mechanical geometry theorem proving
Mechanical geometry theorem proving
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Algorithms for computer algebra
Algorithms for computer algebra
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
ACM SIGSAM Bulletin
A lisp-language Mathematica-to-lisp translator
ACM SIGSAM Bulletin
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
The approximate GCD of inexact polynomials
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Proving formally the implementation of an efficient gcd algorithm for polynomials
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
| Hi-index | 0.00 |