Computer programs and mathematical proofs
From MaRDI portal
Publication:1181864
DOI10.1007/BF03028342zbMath0790.68024WikidataQ56335877 ScholiaQ56335877MaRDI QIDQ1181864
Publication date: 27 June 1992
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
26-04: Software, source code, etc. for problems pertaining to real functions
00A35: Methodology of mathematics
68N99: Theory of software
Cites Work