Stumbling Around in the Dark: Lessons from Everyday Mathematics

DOI10.1007/978-3-319-21401-6_2zbMath1465.00014DBLPconf/cade/Martin15OpenAlexW1448653747WikidataQ55393261 ScholiaQ55393261MaRDI QIDQ3454080

Ursula Martin Webb

Publication date: 2 December 2015

Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21401-6_2

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Methodology of mathematics (00A35)

Related Items (2)

Enabling mathematical cultures: introduction ⋮ Abstract relations: bibliography and the infra-structures of modern mathematics

Uses Software

• GAP

This page was built for publication: Stumbling Around in the Dark: Lessons from Everyday Mathematics