The guess-and-prove paradigm in action

MaRDI QIDQ6587786zbMATH OpenFDO

Authors M. Kauers

Publication date 14 August 2024

Published in Internationale Mathematische Nachrichten (Search for Journal in Brave)

Mathematics Subject Classification ID

Computational number theory (11Yxx)

Recommendations

• On a computer algebra technology
• scientific article; zbMATH DE number 125106
• scientific article; zbMATH DE number 2090053
• Computer algebra
• scientific article; zbMATH DE number 718854

This page was built for publication: The guess-and-prove paradigm in action

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