Diophantine Equations over \mathbb Z: Universal Bounds and Parallel Formalization

From MaRDI portal

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

Jump to:navigation, search

MaRDI QIDQ7182556arXivFDO

Authors Jonas Bayer, Marco David, Malte S. Haßler, Yu. Matiyasevich, Dierk Schleicher

Publication date 2025

Published in arXiv

arXiv classification

This page was built for publication: Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Diophantine_Equations_over_$%5Cmathbb_Z$:_Universal_Bounds_and_Parallel_Formalization&oldid=107394575"