TGTP

MaRDI QIDQ14474swMATHFDO

Official website https://www.cs.mcgill.ca/~newborn/

Cited in

(12)

• Improving the time efficiency of proving theorems using a learning mechanism
• A domain-independent system for modeling number theory using first-order predicate logic
• Octopus: combining learning and parallel search
• Octopus
• Roo
• HERBY
• SPTHEO
• PARTHENON
• Aquarius
• NeuroShell 2
• Heuristics used by HERBY for semantic tree theorem proving
• The practicality of generating semantic trees for proofs of unsatisfiability

This page was built for software: TGTP