Classes
Publications
- MaLARea SG1 - Machine learner for automated reasoning with semantic guidance2008 | Faculty of Mathematics and Physics
- ATP Cross-Verification of the Mizar MPTP Challenge Problems2007 | Faculty of Mathematics and Physics
- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy2006 | Faculty of Mathematics and Physics
- MPTP 0.2: Design, Implementation, and Initial Experiments2006 | Faculty of Mathematics and Physics
- Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics2006 | Faculty of Mathematics and Physics
- MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics2006 | Faculty of Mathematics and Physics
- XML-izing Mizar: Making semantic processing and presentation of MML easy2006 | Publication without faculty affiliation
- MPTP - Motivation, Implementation, First Experiments +12005 | Faculty of Mathematics and Physics
- Semantic browsing of the Mizar mathematical library for authoring Mizar articles2004 | Publication without faculty affiliation
- Translating Mizar for first order theorem provers2003 | Publication without faculty affiliation
Loading network view...