MoMM
From MaRDI portal
Cited in
(60)- ALCOR
- mizar-items
- MizarMode
- MPTP
- MPTP 0.2
- MathWebSearch
- Aligning concepts across proof assistant libraries
- The role of the Mizar mathematical library for interactive proof development in Mizar
- foaf
- Mizar
- GtkMathView
- jsMath
- MML
- QMT
- TNTBase
- NNexus
- MaLeCoP
- The Mizar Mathematical Library in OMDoc: translation and applications
- Custom automations in Mizar
- STEX+
- Polar
- HOL(y)Hammer: online ATP service for HOL Light
- Formulator MathML
- PRocH
- MaLARea
- Semantics of Mizar as an Isabelle object logic
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Integrating searching and authoring in Mizar
- Crystal: Integrating structured queries into a tactic language
- Automated reasoning service for HOL Light
- Presenting and explaining Mizar
- BliStr
- Lemma Mining over HOL Light
- Dependencies in formal mathematics: applications and extraction for Coq and Mizar
- A query language for formal mathematical libraries
- Lemmatization for stronger reasoning in large theories
- MaLeCoP. Machine learning connection prover
- miz3
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- A learning-based fact selector for Isabelle/HOL
- SRASS
- Mizar: state-of-the-art and beyond
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- On duplication in mathematical repositories
- Logic2CNF
- Jinja not Java
- Regular_Algebras
- Learning-assisted theorem proving with millions of lemmas
- RapidXml
- Hammering towards QED
- Mathematical Knowledge Management
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Matching concepts across HOL libraries
- MPTP-motivation, implementation, first experiments
- Methods to access and retrieve mathematical content in ActiveMath
- Information Retrieval and Rendering with MML Query
- Mathematical Knowledge Management
- JEFL: joint embedding of formal proof libraries
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- MPTP 0.2: Design, implementation, and initial experiments
This page was built for software: MoMM
