MoMM
From MaRDI portal
Software:16825
swMATH4655MaRDI QIDQ16825FDOQ16825
Author name not available (Why is that?)
Cited In (33)
- Methods to Access and Retrieve Mathematical Content in ActiveMath
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- JEFL: joint embedding of formal proof libraries
- Presenting and explaining Mizar
- MaLeCoP Machine Learning Connection Prover
- Lemma Mining over HOL Light
- Aligning concepts across proof assistant libraries
- Mizar: State-of-the-art and Beyond
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Information Retrieval and Rendering with MML Query
- The Mizar Mathematical Library in OMDoc: translation and applications
- On Duplication in Mathematical Repositories
- Crystal: Integrating structured queries into a tactic language
- The role of the Mizar mathematical library for interactive proof development in Mizar
- A Query Language for Formal Mathematical Libraries
- A learning-based fact selector for Isabelle/HOL
- Custom automations in Mizar
- MPTP-motivation, implementation, first experiments
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted theorem proving with millions of lemmas
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- MPTP 0.2: Design, implementation, and initial experiments
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Title not available (Why is that?)
- Semantics of Mizar as an Isabelle object logic
- Automated Reasoning Service for HOL Light
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
- Integrating searching and authoring in Mizar
- Lemmatization for Stronger Reasoning in Large Theories
- Hammering towards QED
- Matching Concepts across HOL Libraries
This page was built for software: MoMM