On the isomorphisms of smooth algebraic curves
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Solving spatial basic geometric constraint configurations with locus intersection
Proceedings of the seventh ACM symposium on Solid modeling and applications
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
The Vega Grid and Grid-Based Education
ICWL '02 Proceedings of the First International Conference on Advances in Web-Based Learning
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
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A Clifford Algebraic Method for Geometric Reasoning
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Clifford Term Rewriting for Geometric Reasoning in 3D
ADG '98 Proceedings of the Second 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
Decision Complexity in Dynamic Geometry
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
The Kinds of Truth of Geometry Theorems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
A Hybrid Method for Solving Geometric Constraint Problems
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
Proof-assistants using dependent type systems
Handbook of automated reasoning
Geometric constraint solving via C-tree decomposition
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
A complete symbolic-numeric linear method for camera pose determination
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Complete Solution Classification for the Perspective-Three-Point Problem
IEEE Transactions on Pattern Analysis and Machine Intelligence
Computer algebra handbook
Journal of Symbolic Computation
Implicitization of differential rational parametric equations
Journal of Symbolic Computation
Geometry theorem proving by decomposing polynomial system into strong regular sets
Journal of Computer Science and Technology
Gröbner bases and the defining polynomial of a context-free grammar generating function
Journal of Automata, Languages and Combinatorics
Resolvent systems of difference polynomial ideals
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
AI Research in China: 50 Years down the Road
IEEE Intelligent Systems
Counting positive solutions for polynomial systems with real coefficients
Computers & Mathematics with Applications
Properties of Ascending Chains for Partial Difference Polynomial Systems
Computer Mathematics
Decomposition of ordinary difference polynomials
Journal of Symbolic Computation
On Wu's method for proving constructive geometric theorems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Formal Management of CAD/CAM Processes
FM '09 Proceedings of the 2nd World Congress on Formal Methods
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
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
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
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
WSEAS Transactions on Computers
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
Management of geometric knowledge in textbooks
Data & Knowledge Engineering
Hybrid method for solving new pose estimation equation system
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
Towards a geometric-object-oriented language
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Planar generalized stewart platforms and their direct kinematics
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Classification of direct kinematics to planar generalized Stewart platforms
Computational Geometry: Theory and Applications
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.00 |