The following pages link to MML (Q19033):
Displaying 44 items.
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Cauchy mean theorem (Q502698) (← links)
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (Q555659) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- About quotient orders and ordering sequences (Q2407507) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- (Q2767928) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- Automated and Human Proofs in General Mathematics: An Initial Comparison (Q2891438) (← links)
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar (Q2907308) (← links)
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (Q2908509) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- (Q3075243) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- Readable Formalization of Euler’s Partition Theorem in Mizar (Q3453116) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- MPTP 0.1 - System Description (Q4916228) (← links)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library (Q5200124) (← links)
- Mathematical Knowledge Management (Q5313077) (← links)
- Mathematical Knowledge Management (Q5313078) (← links)
- Revisions as an Essential Tool to Maintain Mathematical Repositories (Q5428273) (← links)
- (Q5460254) (← links)
- Evaluation of Automated Theorem Proving on the Mizar Mathematical Library (Q5747877) (← links)
- Information Retrieval and Rendering with MML Query (Q5756776) (← links)
- Types for Proofs and Programs (Q5898170) (← links)
- Mathematical Knowledge Management (Q5898530) (← links)
