Message Boards Message Boards

GROUPS:

Are there any plans to import the geometry problems from T

Posted 13 days ago
124 Views
|
0 Replies
|
0 Total Likes
|

I am wondering if there are any plans to create an importer for the problems from TGTP http://hilbert.mat.uc.pt/TGTP/index.php in Mathematica? A similar site for the theorem provers is TPTP: http://www.tptp.org/ - it would also be cool to have an interface to that too...

Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract