OMEGA - MaRDI portal

Cited in

(51)

Organization, transformation, and propagation of mathematical knowledge in mega
\textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
scientific article; zbMATH DE number 1696826 (Why is no real title available?)
scientific article; zbMATH DE number 1980938 (Why is no real title available?)
scientific article; zbMATH DE number 2000435 (Why is no real title available?)
scientific article; zbMATH DE number 2154400 (Why is no real title available?)
scientific article; zbMATH DE number 1882065 (Why is no real title available?)
Towards learning new methods in proof planning
Automated Deduction – CADE-20
KI 2004: Advances in Artificial Intelligence
Mathematical Knowledge Management
Mechanizing Mathematical Reasoning
Distributed assertion retrieval
Mechanizing Mathematical Reasoning
Mathematical Knowledge Management
scientific article; zbMATH DE number 1614692 (Why is no real title available?)
Automatic Learning of Proof Methods in Proof Planning
MBase
Gandalf
MathWeb
TRAMP
CLAM
KEIM
Leo
LOUI
MKRP
Omega-ANTS
Oyster
Plat-Omega
Bliksem
KOMET
MathLang
Medmaker
Multi
P.rex
CoCLAM
Omega-MKRP
PROVERB
Mechanizing Mathematical Reasoning
Automated proof construction in type theory using resolution
scientific article; zbMATH DE number 2090054 (Why is no real title available?)
scientific article; zbMATH DE number 1614717 (Why is no real title available?)
scientific article; zbMATH DE number 1765686 (Why is no real title available?)
Mathematical Knowledge Management
Failure reasoning in multiple-strategy proof planning
Recent developments in mega's proof search programming language
Exploring properties of residue classes
Assertion-level proof representation with under-specification
More SPASS with Isabelle
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
Hammering towards QED

This page was built for software: OMEGA