Publication:4530470

zbMath1001.03051MaRDI QIDQ4530470

John Alan Robinson

Publication date: 15 October 2002

zbMATH Keywords

explanations; proofs; Bertrand's conjecture

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03F03: Proof theory in general (including proof-theoretic semantics)

11A51: Factorization; primality

Related Items

Knowledge-based proof planning