Challenge problems in elementary calculus
From MaRDI portal
Publication:915496
DOI10.1007/BF00244493zbMath0702.68092MaRDI QIDQ915496
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
\textit{Theorema}: Towards computer-aided mathematical theory exploration, Computer supported mathematics with \(\Omega\)MEGA, The rue theorem-proving system: The complete set of LIM+ challenge problems, Constraint solving for proof planning, Linear and unit-resulting refutations for Horn theories, Knowledge-based proof planning