The guess-and-prove paradigm in action

MaRDI QIDQ6587786FDOQ6587786

Authors: M. Kauers 

Publication date: 14 August 2024

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

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

Mathematics Subject Classification ID

Computational number theory (11Yxx)

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)