Search found 2 matches

by CallMeJudas
Sun Jan 09, 2011 11:59 am UTC
Forum: Mathematics
Topic: Demonstration Graph (of dependencies on axioms)
Replies: 2
Views: 571

Re: Demonstration Graph (of dependencies on axioms)

I found it!!

http://mizar.org/library/tree/
by CallMeJudas
Sat Jan 08, 2011 3:20 pm UTC
Forum: Mathematics
Topic: Demonstration Graph (of dependencies on axioms)
Replies: 2
Views: 571

Demonstration Graph (of dependencies on axioms)

Hello, I search for a sort of "Graph" which link thorem to axioms or others theorems they use.Like this:http://xkcd.nl/cYr/path4580.png (I search too for a demonstration interactive graph in witch description and demonstation(s) of each theorem can be accessed). I doubt it exists but it wi...

Go to advanced search