MoMM

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