ℹ️
🇬🇧
Search
Search for people relevant for "Formalin"
Formalin
Person
Class
Person
Publication
Programmes
Mgr. Josef Urban Ph.D.
External academic staff at Faculty of Mathematics and Physics
3 classes
15 publications
Classes
class
Formal Mathematics and Proof Assistants
+1
NMMB566 |
Faculty of Mathematics and Physics
class
Machine Learning and Reasoning
NMMB562 |
Faculty of Mathematics and Physics
Publications
publication
MaLARea SG1 - Machine learner for automated reasoning with semantic guidance
2008 |
Faculty of Mathematics and Physics
publication
ATP Cross-Verification of the Mizar MPTP Challenge Problems
2007 |
Faculty of Mathematics and Physics
publication
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
2006 |
Faculty of Mathematics and Physics
publication
MPTP 0.2: Design, Implementation, and Initial Experiments
2006 |
Faculty of Mathematics and Physics
publication
Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics
2006 |
Faculty of Mathematics and Physics
publication
MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics
2006 |
Faculty of Mathematics and Physics
publication
XML-izing Mizar: Making semantic processing and presentation of MML easy
2006 |
Publication without faculty affiliation
publication
MPTP - Motivation, Implementation, First Experiments
+1
2005 |
Faculty of Mathematics and Physics
publication
Semantic browsing of the Mizar mathematical library for authoring Mizar articles
2004 |
Publication without faculty affiliation
publication
Translating Mizar for first order theorem provers
2003 |
Publication without faculty affiliation
Load more publications (5)
Loading network view...