Mathematical proofs in the computer age
type: Item
instance of: scholarly article
title: Mathematical proofs in the computer age
zbMATH Open document ID: 0860.00012
DOI: 10.2307/3620344
published in: The Mathematical Gazette
publication date: 1997-10-14T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B99
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 920709
zbMATH Keywords: philosophy of mathematics
zbMATH Keywords: mathematical practice
zbMATH Keywords: proving
zbMATH Keywords: search for a proof
zbMATH Keywords: use of computers
zbMATH Keywords: theory of situations
author: Keith Devlin
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/3620344
OpenAlex ID: W2794856552
description: scientific article; zbMATH DE number 920709