ROBU Judit AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM     MATEMATICĂ, INFORMATICĂ       978-973-610-637-8   2007     SOLD OUT   pcs.
SUMMARY: In this book we present various geometric theorem proving methods implemented in the frame of the Theorema system.