2009/05/01 by Peter Wagner · 6 citations
Mathematics · Medicine · #History and Theory of Mathematics #Constructive proof #Constructive #Calculus (dental) #Computer-assisted proof #Proof of concept #Mathematics #Computer science #Discrete mathematics #Programming language #Automated theorem proving #Medicine
paper · doi:10.4169/193009709x470362
published in American Mathematical Monthly 116(5), 457-462 (Taylor & Francis)
openalex publication_date 2009/05/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/03