Probabilistic algorithms for verification of polynomial identities (invited)

A complexity theory based on Boolean algebra

Journal of the ACM (JACM)

Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Decision Complexity in Dynamic Geometry

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

Note on probabilistic algorithms in integer and polynomial arithmetic

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

Tests for polynomials

ACM SIGSAM Bulletin

A Graphical User Interface for Formal Proofs in Geometry

Journal of Automated Reasoning

Design of an intelligent system for the automatic demonstration of geometry theorems

TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics

Modelling using UML diagrams of an intelligent system for the automatic demonstration of geometry theorems

WSEAS Transactions on Computers