scientific article; zbMATH DE number 5269066

MaRDI QIDQ5384980zbMATH OpenFDO

Authors Helmut Schwichtenberg

Publication date 29 April 2008

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 4072966
• Developments in formal proofs
• Proofs and computations
• scientific article; zbMATH DE number 1855969
• Mathematical proofs in the computer age
• Recent developments in computer mathematics
• scientific article; zbMATH DE number 1424357
• Recent developments in primality proving
• scientific article; zbMATH DE number 1231647

Cited in

(5)

• The computational content of classical arithmetic
• scientific article; zbMATH DE number 432701 (Why is no real title available?)
• scientific article; zbMATH DE number 1222925 (Why is no real title available?)
• scientific article; zbMATH DE number 691421 (Why is no real title available?)
• A new theorem discovered by computer prover

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