OMEGA - MaRDI portal

Cited in

(51)

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

This page was built for software: OMEGA