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
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 system for the symbolic analysis of problems in engineering mechanics
ISSAC '94 Proceedings of the 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
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
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
| Hi-index | 0.00 |