Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Production of Traditional Proofs in Solid Geometry., , and . J. Autom. Reason., 14 (2): 257-291 (1995)Automated Production of Traditional Proofs for Constructive Geometry Theorems, , and . LICS, page 48-56. IEEE Computer Society, (1993)Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries., , , and . Automated Deduction in Geometry, volume 1360 of Lecture Notes in Computer Science, page 171-188. Springer, (1996)Readable Machine Solving in Geometry and ICAI Software MSG., and . Automated Deduction in Geometry, volume 1669 of Lecture Notes in Computer Science, page 67-85. Springer, (1998)A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering., , and . J. Autom. Reason., 25 (3): 219-246 (2000)An Introduction to Geometry Expert., , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 235-239. Springer, (1996)Automated Geometry Theorem Proving by Vector Calculation., , and . ISSAC, page 284-291. ACM, (1993)Machine proofs in geometry - automated production of readable proofs for geometry theorems., , and . Series on applied mathematics World Scientific, (1994)Automated Generation of Readable Proofs with Geometric Invariants., , and . J. Autom. Reason., 17 (3): 349-370 (1996)Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design., , , , and . J. Comput. Sci. Technol., 36 (4): 910-921 (2021)