scientific article; zbMATH DE number 1795747

zbMATH Open1006.03509MaRDI QIDQ4550802FDOQ4550802

Authors: Thomas Marthedal Rasmussen 

Publication date: 10 February 2003

Title of this publication is not available (Why is that?)

Recommendations

• Fermat, Euler, Wilson -- three case studies in number theory
• Mathematical method and proof
• A String of Pearls: Proofs of Fermat's Little Theorem
• A string of pearls: proofs of Fermat's little theorem
• An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem

zbMATH Keywords

automated theorem provingIsabelle/HOLformalizationWilson theoremEuler-Fermat theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Fermat, Euler, Wilson -- three case studies in number theory
• Title not available (Why is that?)

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4550802)