Sign in

A Comprehensive Proof of Bertrand's Theorem.

Patrick De LeenheerJohn MusgroveTyler Schimleck
Published in: SIAM Rev. (2023)
Keyphrases
  • interactive theorem proving
  • theorem proving
  • expert systems
  • real time
  • search algorithm
  • proof planning