From post

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.

 

Другие публикации лиц с тем же именем

Clifford Term Rewriting for Geometric Reasoning in 3D., , и . Automated Deduction in Geometry, том 1669 из Lecture Notes in Computer Science, стр. 130-155. Springer, (1998)Reasoning about Surfaces Using Differential Zero and Ideal Decomposition., и . Automated Deduction in Geometry, том 2061 из Lecture Notes in Computer Science, стр. 154-174. Springer, (2000)A Strategy for Speeding-up the Computation of Characteristic Sets.. MFCS, том 629 из Lecture Notes in Computer Science, стр. 504-510. Springer, (1992)Stability analysis of biological systems with real solution classification., и . ISSAC, стр. 354-361. ACM, (2005)On Wu's Method for Proving Constructive Geometric Theorems.. IJCAI, стр. 419-424. Morgan Kaufmann, (1989)Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules., и . CADE, том 1421 из Lecture Notes in Computer Science, стр. 17-31. Springer, (1998)Computer Algebra and Neurodynamics., и . Physik und Informatik, том 306 из Informatik-Fachberichte, стр. 304-317. Springer, (1991)Solving Dynamic Geometric Constraints Involving Inequalities., , , и . AISC, том 4120 из Lecture Notes in Computer Science, стр. 181-195. Springer, (2006)On W-characteristic sets of lexicographic Gröbner bases., и . ACM Commun. Comput. Algebra, 52 (4): 142-144 (2018)Searching for Geometric Theorems Using Features Retrieved from Diagrams., , и . MACIS, том 9582 из Lecture Notes in Computer Science, стр. 383-397. Springer, (2015)