A Computer Environment for Writing Ordinary Mathematical Proofs

DOI10.1007/3-540-45653-8_35zbMath1275.68128OpenAlexW1600122481MaRDI QIDQ2996190

David McMath, Marianna Rozenfeld, Richard Sommer

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_35

Mathematics Subject Classification ID

Related Items (1)

A User-friendly Interface for a Lightweight Verification System

Uses Software

• REDUCE
• OTTER
• LPL software
• EPGY

This page was built for publication: A Computer Environment for Writing Ordinary Mathematical Proofs