Result: Computers : (ac)counting for mathematical proofs: Computers: (Ac) counting for mathematical proofs

Title:
Computers : (ac)counting for mathematical proofs: Computers: (Ac) counting for mathematical proofs
Authors:
Cohen, A.M.
Source:
Nieuw Archief voor Wiskunde. (1):45-64
Publisher Information:
Het Wiskundig Genootschap te Amsterdam, Amsterdam, 1996.
Publication Year:
1996
Subject Terms:
field specific software, Symbolic computation and algebraic computation, Theorem proving (deduction, resolution, etc.)
Document Type:
Academic journal Article<br />Part of book or chapter of book
File Description:
application/xml
ISSN:
0028-9825
Access URL:
https://zbmath.org/927286
https://research.tue.nl/en/publications/7735bea4-f506-4309-8756-84cc66b5b226
https://research.tue.nl/en/publications/2c890396-b2ae-40e7-9101-fe84aa9503fd
Accession Number:
edsair.dedup.wf.002..150e08038e89e847bc60483d1577d3ef
Database:
OpenAIRE

Further Information

Summary: Three disciplines, numerical mathematics, computer algebra and proof verification, comes with field specific software. In this article, I want to highlight just one aspect of this software, namely the question how the classical notion of proof should be interpreted now that, due to computers, new methods of computation and verifying proofs become available.