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
Computations with parametric equations
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
CASA: A computer algebra package for constructive algebraic geometry
ISSAC '91 Proceedings of the 1991 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
A new algorithm for the geometric decomposition of a variety
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Computing the Radical of an Ideal in Positive Characteristic
Journal of Symbolic Computation
On geometric and topological reasoning in robotics
Annals of Mathematics and Artificial Intelligence
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second 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
Computer algebra handbook
Limits of theory sequences over algebraically closed fields and applications
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Geometry theorem proving by decomposing polynomial system into strong regular sets
Journal of Computer Science and Technology
Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A case study of Grid Computing and computer algebra: parallel Gröbner Bases and Characteristic Sets
The Journal of Supercomputing
Differential forms in computational algebraic geometry
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Computational Origami Construction as Constraint Solving and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On the complexity of counting components of algebraic varieties
Journal of Symbolic Computation
Decomposing solution sets of polynomial systems: a new parallel monodromy breakup algorithm
International Journal of Computational Science and Engineering
On Wu's method for proving constructive geometric theorems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
Computer-Aided Design
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers & Mathematics with Applications
Morley's theorem revisited: Origami construction and automated proof
Journal of Symbolic Computation
Synthesizing geometry constructions
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Attacking Bivium and Trivium with the characteristic set method
AFRICACRYPT'11 Proceedings of the 4th international conference on Progress in cryptology in Africa
Computational origami of a morley’s triangle
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Some necessary conditions on the number of solutions for the P4P problem
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
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
Inter-block backtracking: exploiting the structure in continuous CSPs
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Characteristic set algorithms for equation solving in finite fields
Journal of Symbolic Computation
Proof documents for automated origami theorem proving
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
A new algorithmic scheme for computing characteristic sets
Journal of Symbolic Computation
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
Theoretical Computer Science
Computer algebra methods in the study of nonlinear differential systems
Computational Mathematics and Mathematical Physics
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Coordinate-free geometry and decomposition in geometrical constraint solving
Computer-Aided Design
Hi-index | 0.00 |