Silviu Radu, Nicolas Smoot,
"A Method of Verifying Partition Congruences by Symbolic Computation"
, Serie RISC Report Series, Johannes Kepler University Linz, RISC, JKU, Hagenberg, Linz, 2019
Original Titel:
A Method of Verifying Partition Congruences by Symbolic Computation
Sprache des Titels:
Englisch
Original Kurzfassung:
Conjectures involving infinite families of restricted partition congruences can be difficult to verify for a number of individual cases, even with a computer. We demonstrate how the machinery of Radu's algorithm may be modified and employed to efficiently check a very large number of cases of such conjectures.
This allows substantial evidence to be collected for a given conjecture, before a
complete proof is attempted.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz
Forschungs-