scientific article; zbMATH DE number 1497745

zbMATH Open0958.68151MaRDI QIDQ4499155FDOQ4499155

Authors: Michael Beeson 

Publication date: 6 March 2001

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

Recommendations

• Automatic derivation of the irrationality of \(e\)
• Automatic discovery of irrationality proofs and irrationality measures
• Irrationality of certain infinite series
• A formal proof of the irrationality of \(\zeta(3)\)
• A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)

zbMATH Keywords

metavariablesautomatic generation of proofs

Mathematics Subject Classification ID

Cited In (2)

• Automatic discovery of irrationality proofs and irrationality measures
• Automatic derivation of the irrationality of \(e\)

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 Q4499155)