Challenge problems in elementary calculus
From MaRDI portal
Publication:915496
DOI10.1007/BF00244493zbMath0702.68092OpenAlexW2022796917MaRDI QIDQ915496
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00244493
Related Items (10)
The rue theorem-proving system: The complete set of LIM+ challenge problems ⋮ Proof planning with multiple strategies ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Linear and unit-resulting refutations for Horn theories ⋮ Knowledge-based proof planning ⋮ Constraint solving for proof planning ⋮ Semantically guided first-order theorem proving using hyper-linking ⋮ The TPTP problem library ⋮ Ordered chaining for total orderings
This page was built for publication: Challenge problems in elementary calculus
