Skip to content

Actions: DiophantineLibrary/DiophantineClassifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Family: waring — Waring-type diagonal representation CI #282: Pull request #48 synchronize by roed-math
2m 21s roed-math:family/waring
roed-math:family/waring
2m 21s
Family: thue-mahler — Thue-Mahler equation CI #281: Pull request #46 synchronize by roed-math
3m 7s roed-math:family/thue-mahler
roed-math:family/thue-mahler
3m 7s
Family: universal-diophantine — Hilbert's tenth problem exhibits CI #280: Pull request #47 synchronize by roed-math
1m 59s roed-math:family/universal-diophantine
roed-math:family/universal-diophantine
1m 59s
Family: taxicab — Equal sums of two cubes CI #279: Pull request #45 synchronize by roed-math
3m 51s roed-math:family/taxicab
roed-math:family/taxicab
3m 51s
Family: sum-of-two-squares — Sum of two squares CI #278: Pull request #44 synchronize by roed-math
4m 55s roed-math:family/sum-of-two-squares
roed-math:family/sum-of-two-squares
4m 55s
Family: sum-of-three-squares — Sum of three squares CI #277: Pull request #43 synchronize by roed-math
3m 28s roed-math:family/sum-of-three-squares
roed-math:family/sum-of-three-squares
3m 28s
Family: sum-of-three-cubes — Sums of three cubes CI #276: Pull request #42 synchronize by roed-math
2m 35s roed-math:family/sum-of-three-cubes
roed-math:family/sum-of-three-cubes
2m 35s
Family: sum-of-four-squares — Sum of four squares (Lagrange) CI #275: Pull request #41 synchronize by roed-math
3m 39s roed-math:family/sum-of-four-squares
roed-math:family/sum-of-four-squares
3m 39s
Family: skolem — Zeros of linear recurrences (Skolem problem) CI #274: Pull request #40 synchronize by roed-math
4m 38s roed-math:family/skolem
roed-math:family/skolem
4m 38s
Family: simultaneous-pell — Simultaneous Pell equations CI #273: Pull request #39 synchronize by roed-math
4m 30s roed-math:family/simultaneous-pell
roed-math:family/simultaneous-pell
4m 30s
Family: s-unit — S-unit equation CI #272: Pull request #38 synchronize by roed-math
3m 37s roed-math:family/s-unit
roed-math:family/s-unit
3m 37s
Family: recurrence-powers — Perfect powers in recurrence sequences CI #271: Pull request #37 synchronize by roed-math
2m 0s roed-math:family/recurrence-powers
roed-math:family/recurrence-powers
2m 0s
Family: ramanujan-nagell — Generalized Ramanujan-Nagell equation CI #270: Pull request #36 synchronize by roed-math
4m 37s roed-math:family/ramanujan-nagell
roed-math:family/ramanujan-nagell
4m 37s
Family: pythagorean — Pythagorean triples CI #269: Pull request #35 synchronize by roed-math
3m 27s roed-math:family/pythagorean
roed-math:family/pythagorean
3m 27s
Family: prouhet-tarry-escott — Prouhet-Tarry-Escott problem CI #268: Pull request #34 synchronize by roed-math
3m 57s roed-math:family/prouhet-tarry-escott
roed-math:family/prouhet-tarry-escott
3m 57s
Family: plane-cubic — Plane cubic curve (ternary cubic) CI #267: Pull request #33 synchronize by roed-math
1m 41s roed-math:family/plane-cubic
roed-math:family/plane-cubic
1m 41s
Family: pillai — Pillai equation CI #266: Pull request #32 synchronize by roed-math
3m 41s roed-math:family/pillai
roed-math:family/pillai
3m 41s
Family: pell — Pell equation CI #265: Pull request #11 synchronize by roed-math
3m 49s roed-math:family/pell
roed-math:family/pell
3m 49s
Family: norm-form — Norm form equation CI #264: Pull request #31 synchronize by roed-math
4m 0s roed-math:family/norm-form
roed-math:family/norm-form
4m 0s
Family: nagell-ljunggren — Nagell-Ljunggren equation CI #263: Pull request #30 synchronize by roed-math
2m 9s roed-math:family/nagell-ljunggren
roed-math:family/nagell-ljunggren
2m 9s
Family: mordell — Mordell equation CI #262: Pull request #29 synchronize by roed-math
2m 35s roed-math:family/mordell
roed-math:family/mordell
2m 35s
Family: markov-hurwitz — Markov / Hurwitz equation CI #261: Pull request #28 synchronize by roed-math
2m 34s roed-math:family/markov-hurwitz
roed-math:family/markov-hurwitz
2m 34s
Family: linear-system — System of linear equations over ZZ CI #260: Pull request #27 synchronize by roed-math
1m 20s roed-math:family/linear-system
roed-math:family/linear-system
1m 20s
Family: lebesgue-nagell — Lebesgue-Nagell equation CI #259: Pull request #26 synchronize by roed-math
2m 36s roed-math:family/lebesgue-nagell
roed-math:family/lebesgue-nagell
2m 36s
Family: goormaghtigh — Goormaghtigh equation CI #258: Pull request #24 synchronize by roed-math
2m 50s roed-math:family/goormaghtigh
roed-math:family/goormaghtigh
2m 50s