Mechanized mathematics

DOI10.1090/S0002-9904-1966-11553-7MaRDI QIDQ5522905zbMATH OpenOpenAlexFDO

Authors D. H. Lehmer

Publication date 1966

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1966-11553-7

zbMATH Keywords

interrelations between mathematics and computers

Mathematics Subject Classification ID

Popularization of mathematics (00A09)

Recommendations

• Mechanized Mathematics
• scientific article; zbMATH DE number 1555236
• scientific article; zbMATH DE number 1782448
• Mathematics by machine
• Mathematics and mechanical computation
• scientific article; zbMATH DE number 5629926
• Machine-checked mathematics
• Mathematics for machine tools and factory automation
• scientific article; zbMATH DE number 3928933
• scientific article; zbMATH DE number 4155933

Cited in

(5)

• Reading Gauss in the computer age: On the U.S. Reception of Gauss's number theoretical work (1938-1989)
• Mathematics by machine
• scientific article; zbMATH DE number 5629924 (Why is no real title available?)
• scientific article; zbMATH DE number 469261 (Why is no real title available?)
• scientific article; zbMATH DE number 1782448 (Why is no real title available?)

This page was built for publication: Mechanized mathematics

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