Automatic geometry theorem proving

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

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

Publication series

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

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

Cite this