.
SIMPLE-MATHS-10
7 months ago
More
115. SIMPLE-MATHS-10
7 months ago
This is another clip which comes from video-monitoring the knowledge base of our Automated Theorem Prover Leo II running an example from the TPTP library.
Leo II's representation of terms is graph based, thus the term memory can be displayed as an image. I took a snapshot of the graph after each processing step.
ags.uni-sb.de/~chris/leo
tptp.org
Leo II's representation of terms is graph based, thus the term memory can be displayed as an image. I took a snapshot of the graph after each processing step.
ags.uni-sb.de/~chris/leo
tptp.org
-
Icyd 6 months agoi like that, ;]
This conversation is missing your voice. Take five seconds to join Vimeo or log in.
-
playslikescomments
-
Total
114 
0 
1 -
Oct 7th 1 0
0 -
Oct 6th
0 0 0 -
Oct 5th 0 0 0
-
Oct 4th 0 0 0
-
Oct 3rd 0 0 0
-
Oct 2nd 0 0 0
-
Oct 1st 0 0 0
-
Sep 30th 0 0 0
Previous Week
See referrers
Please join Vimeo or log in to download the original file. It only takes a few seconds.
- Vimeo: About / Blog / Roadmap / Developers / Community Guidelines / Forums / Toys / Help! / Site Map
- Legal: ©2008 Vimeo, LLC / Terms & Conditions / Privacy Statement