Computer programs and mathematical proofs

DOI10.1007/BF03028342zbMath0790.68024OpenAlexW2024920908WikidataQ56335877 ScholiaQ56335877MaRDI QIDQ1181864

S. Singh

Publication date: 27 June 1992

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03028342

zbMATH Keywords

program designproof designHeine-Borel theorem

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to real functions (26-04) Methodology of mathematics (00A35) Theory of software (68N99)

Related Items (1)

Symmetric-Galerkin BEM simulation of fracture with frictional contact

Cites Work

• Unnamed Item
• Unnamed Item
• The varieties of arboreal experience
• On a cultural gap
• Towards a Theory of Mathematical Research Programmes (I)

This page was built for publication: Computer programs and mathematical proofs