Skip to topic
|
Skip to bottom
Jump:
Mizar
Mizar Web
Mizar Web Home
Changes
Index
Search
Webs
Main
Mizar
Sandbox
TWiki
Test
My links
My home page
edit
Big Tits Videos
Edit
Attach
Printable
Mizar.MizarProofAdvisor
r1.2 - 18 Dec 2004 - 17:27 -
JosefUrban
topic end
Start of topic |
Skip to actions
Mizar Proof Advisor
is a system providing hints for a proof of arbitrary Mizar formula, trained on MML proofs by data mining techniques. More detailed description is at
http://kti.mff.cuni.cz/~urban/MizarModeDoc/html/MizarMode_11.html
and
http://kti.mff.cuni.cz/~urban/MPTP/mptp-jar.ps.gz
.
The online advisor is running at
http://lipa.ms.mff.cuni.cz/~urban/posdemo.html
, tho local distro can be downloaded from
http://kti.mff.cuni.cz/~urban/MPA/mpadistro.tar.gz
--
JosefUrban
- 18 Dec 2004
to top
End of topic
Skip to action links
|
Back to top
WebForm
TopicClassification
:
MizarTools
ProjectGroup
?
:
ImplementationDate
?
:
N/A
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
More topic actions
Revisions: | r1.3 |
>
|
r1.2
|
>
|
r1.1
|
Total page history
|
Backlinks
You are here:
Mizar
>
MizarProofAdvisor
to top
Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki?
Send feedback