Automatic geometry theorem proving

T. Recio, H.J.M. Sterk, M. Pilar Vélez

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


No abstract.
Original languageEnglish
Title of host publicationSome tapas of computer algebra
EditorsA.M. Cohen, H. Cuypers, H. Sterk
Place of PublicationBerlin
ISBN (Print)3-540-63480-0
Publication statusPublished - 1999

Publication series

NameAlgorithms and Computation in Mathematics
ISSN (Print)1431-1550

Fingerprint Dive into the research topics of 'Automatic geometry theorem proving'. Together they form a unique fingerprint.

  • Cite this

    Recio, T., Sterk, H. J. M., & Pilar Vélez, M. (1999). Automatic geometry theorem proving. In A. M. Cohen, H. Cuypers, & H. Sterk (Eds.), Some tapas of computer algebra (pp. 276-296). (Algorithms and Computation in Mathematics; Vol. 4). Springer.