MML
From MaRDI portal
Software:19033
swMATH6970MaRDI QIDQ19033FDOQ19033
Author name not available (Why is that?)
Cited In (44)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- User interaction with the Matita proof assistant
- Presenting and explaining Mizar
- MaLeCoP Machine Learning Connection Prover
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- A Brief Overview of Mizar
- Mizar: State-of-the-art and Beyond
- Licensing the Mizar Mathematical Library
- Sine Qua Non for Large Theory Reasoning
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Mining the Archive of Formal Proofs
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Title not available (Why is that?)
- Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
- Information Retrieval and Rendering with MML Query
- Machine learning guidance for connection tableaux
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
- A survey on retrieval of mathematical knowledge
- Crystal: Integrating structured queries into a tactic language
- MizAR 40 for Mizar 40
- Flexary connectives in Mizar
- ATP and presentation service for Mizar formalizations
- Custom automations in Mizar
- Readable Formalization of Euler’s Partition Theorem in Mizar
- Types for Proofs and Programs
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- MPTP 0.2: Design, implementation, and initial experiments
- Eliciting implicit assumptions of Mizar proofs by property omission
- Premise selection for mathematics by corpus analysis and kernel methods
- Cauchy mean theorem
- About quotient orders and ordering sequences
- Semantics of Mizar as an Isabelle object logic
- MPTP 0.1 - System Description
- Mathematical knowledge management in MIZAR
- Title not available (Why is that?)
- Automated and Human Proofs in General Mathematics: An Initial Comparison
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
- Integrating searching and authoring in Mizar
- System Description: E.T. 0.1
- Mathematical Knowledge Management
This page was built for software: MML
