Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving

High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

On optimization problems

ACM SIGSAM Bulletin

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference

Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation

Thomas decomposition of algebraic and differential systems

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing

On wintner's conjecture about central configurations

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications