Careful algebraic translations of geometry theorems
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
On the computer solution of symmetric homogeneous triangle inequalities
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Methods for mechanical geometry formula deriving
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Refutational proofs of geometry theorems via characteristic set computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Some examples of the use of distances as coordinates for Euclidean geometry
Journal of Symbolic Computation
Automated geometry theorem proving by vector calculation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Some results on theorem proving in geometry over finite fields
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Geometry theorem proving in vector spaces by means of Gröbner bases
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Examples of automatic theorem proving a real geometry
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A system for the symbolic analysis of problems in engineering mechanics
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Algebraic geometry and group theory in geometric constraint satisfaction
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A complete and practical algorithm for geometric theorem proving (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
Evaluation of the heuristic polynomial GCD
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
Extraneous factors in the Dixon resultant formulation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Interactive constraint system for solid modeling objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
IEEE Transactions on Visualization and Computer Graphics
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
A Complex Change of Variables for Geometrical Reasoning
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Remarks on Geometric Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
The Kinds of Truth of Geometry Theorems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A hybrid approach to geometric constraint solving with graph analysis and reduction
Advances in Engineering Software
A generic projection operator for partial cylindrical algebraic decomposition
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Journal of Symbolic Computation
Journal of Symbolic Computation
Generalized Reduction in Rings of Differential Polynomials
Programming and Computing Software
WinGCLC: a workbench for formally describing figures
SCCG '03 Proceedings of the 19th spring conference on Computer graphics
Symbolic computation in the homogeneous geometric model with clifford algebra
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Numerical decomposition of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Resolvent systems of difference polynomial ideals
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
A Graphical User Interface for Formal Proofs in Geometry
Journal of Automated Reasoning
Isometry group, words and proofs of geometric theorems
Proceedings of the 2008 ACM symposium on Applied computing
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Properties of Ascending Chains for Partial Difference Polynomial Systems
Computer Mathematics
Geometry theorem proving by Gröbner bases: using ideal decompositions
ACM Communications in Computer Algebra
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Utilizing moment invariants and Grobner bases to reason about shapes
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design
Formal Management of CAD/CAM Processes
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
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
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Automatic determination of algebraic surfaces as loci of points
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
On the need of radical ideals in automatic proving: a theorem about regular polygons
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A survey of automated deduction
Artificial intelligence today
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Theory-specific automated reasoning
A 25-year perspective on logic programming
Proof certificates for algebra and their application to automatic geometry theorem proving
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Automatic verification of the adequacy of models for families of geometric objects
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
An introduction to java geometry expert
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
On the parametric representation of dynamic geometry constructions
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
On equivalence of conditions for a quadrilateral to be cyclic
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
GCLC: a tool for constructive euclidean geometry and more than that
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Management of geometric knowledge in textbooks
Data & Knowledge Engineering
Computational origami construction of a regular heptagon with automated proof of its correctness
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Proving geometric theorems by partitioned-parametric gröbner bases
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Computations of the area and radius of cyclic polygons given by the lengths of sides
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Characteristic set algorithms for equation solving in finite fields
Journal of Symbolic Computation
On one method of proving inequalities in automated way
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Formalization of wu's simple method in coq
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Journal of Automated Reasoning
Decomposition of geometrical constraint systems with reparameterization
Proceedings of the 27th Annual ACM Symposium on Applied Computing
GeoText: an intelligent dynamic geometry textbook
ACM Communications in Computer Algebra
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Mechanical proof of planimetric theorems of rational type
Programming and Computing Software
| Hi-index | 0.00 |