TGTP - Thousand of Geometric problems for geometric Theorem Provers
Documents/Help
Problems List
Workbench
Downloads
Logout
Meaning of abreviations/status codes/Computer's Info
go back
Abreviation
meaning
AM
Area Method
WM
Wu's Method
GBM
Gröbner Basis Method
status
meaning
1
Proved
2
Disproved
3
Failed to prove the conjecture
4
Time-out: Failed to prove the conjecture
5
Maximal number of proof steps reached: Failed to prove the conjecture
6
The conjecture out of scope of the prover