MAYA
From MaRDI portal
swMATH3423MaRDI QIDQ15955FDOQ15955
Author name not available (Why is that?)
Official website: http://www.informatik.uni-bremen.de/~autexier/pub/JS60.pdf
Cited In (36)
- Mechanizing Mathematical Reasoning
- A scalable module system
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Title not available (Why is that?)
- Management of Change in Declarative Languages
- Deduction as an engineering science
- KI 2004: Advances in Artificial Intelligence
- Structured formal development with quotient types in Isabelle/HOL
- Manipulating algebraic specifications with term-based and graph-based representations
- Title not available (Why is that?)
- Computer supported mathematics with \(\Omega\)MEGA
- Crystal: Integrating structured queries into a tactic language
- HasCasl
- CoFI
- MobileOBJ
- CASL
- IsaWin
- TeXmacs
- SCR
- Mechanizing Mathematical Reasoning
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
- STEXIDE
- MBase
- Enhanced Theorem Reuse by Partial Theory Inclusions
- LOUI
- Omega-ANTS
- Plat-Omega
- Doris
- Multi
- Theorem Proving in Higher Order Logics
- Title not available (Why is that?)
- Towards Mathematical Knowledge Management for Electrical Engineering
- Structure formation in large theories
- Automated theorem provers: a practical tool for the working mathematician?
- Change management for heterogeneous development graphs
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
This page was built for software: MAYA
