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