A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)

DOI10.1007/978-3-030-51054-1_31OpenAlexW3038854970MaRDI QIDQ5049030FDOQ5049030

Authors: Adam Pease 

Publication date: 9 November 2022

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51054-1_31

Recommendations

• scientific article; zbMATH DE number 177424
• scientific article; zbMATH DE number 1696759
• EditorArrow: An arrow-based model for editor-based programming
• Implementation of BASELOG editor module for first-order predicate calculus formula transformation
• The Alf proof editor and its proof engine
• scientific article; zbMATH DE number 4072441
• scientific article; zbMATH DE number 3846858

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• Faster, higher, stronger: E 2.3
• ATP and presentation service for Mizar formalizations
• Large theory reasoning with SUMO at CASC

Uses Software

• WordNet
• VAMPIRE
• Proof General
• Isabelle/jEdit
• SigmaKEE
• GitHub

This page was built for publication: A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049030)