scientific article
From MaRDI portal
Publication:3059444
zbMath1231.00026MaRDI QIDQ3059444
Publication date: 8 December 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Development of contemporary mathematics (01A65) Mechanization of proofs and logical operations (03B35) History of computer science (68-03) General topics in computing methodologies (68U01) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)
Related Items (3)
Exploratory Experimentation: Digitally-Assisted Discovery and Proof ⋮ Experimental mathematics, computers and the a priori ⋮ Computers as a Source of A Posteriori Knowledge in Mathematics
This page was built for publication:
