AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM

Authors

Judit ROBU

Synopsis

In this book we present various geometric theorem proving methods implemented in the frame of the Theorema system.

AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM

Published

January 30, 2007

Categories

Copyright (c) 2007 Editura UBB

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Details about this monograph

ISBN-13 (15)

978-973-610-637-8

Physical Dimensions

How to Cite

ROBU, J. (2007). AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM. Presa Universitară Clujeană. https://editura.ubbcluj.ro/index.php/puc/catalog/book/3730