GEOTHER: A geometry theorem prover

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 166-170

  Wang, Dongming ^a  

^a INPG IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957636799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_78     Document Type: Conference Paper

References (4)

1. Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose, N. K. (ed.): Multidimensional systems theory. Dordrecht-Boston: D. Reidel Publ. Co. (1985), pp. 184-232.
2. Hong, H., Wang, D., Winkler, F. (eds.): Short description of existing provers. Ann. Math. Artif. Intell. 13 (1995) 195-202.
3. Wang, D.: Geometry theorem proving with existing technology. In: Medlar II 12- month deliverables. DOC, Imperial College, Univ. of London (1993); Proc. 1st Asian Tech. Conf. Math. (Singapore, December 18-21, 1995), pp. 561-570.
4. Wu, W.: Mechanical theorem proving in geometries: Basic principles. Wien-New York: Springer-Verlag (1994).