computer-assisted-mathematics

Here are 4 public repositories matching this topic...

Anonymous unrefereed methods preprint on irreducible pushforwards and constrained quartic transitions; Furter's R(3) remains open.

Unrefereed candidate on sharp partial identification of diversification histories, with executable replay and scoped assurance

Unrefereed candidate on fixed-seed cyclicity loci for polynomial exponential periods, with exact replay and an odd-quintic certificate

Unrefereed candidate: exact Smith invariants and affine determinant lines for binary-form factorisation maps.

Add a description, image, and links to the computer-assisted-mathematics topic page so that developers can more easily learn about it.

To associate your repository with the computer-assisted-mathematics topic, visit your repo's landing page and select "manage topics."