scientific article; zbMATH DE number 1795747

zbMath1006.03509MaRDI QIDQ4550802

Thomas Marthedal Rasmussen

Publication date: 10 February 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem provingIsabelle/HOLformalizationWilson theoremEuler-Fermat theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Fermat, Euler, Wilson -- three case studies in number theory

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: