Pages that link to "Item:Q1810904"
From MaRDI portal
The following pages link to Mathematical knowledge management in HELM (Q1810904):
Displaying 17 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A fine-tuning retrieval system for mathematical information (Q2080050) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001 (Q2767660) (← links)
- Mathematical knowledge management in HELM (Q2767919) (← links)
- From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management (Q2767942) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Merging Procedural and Declarative Proof (Q3638254) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- Mathematical Knowledge Management (Q5313083) (← links)
