Diophantine Equations and the DPRM Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher. Diophantine Equations and the DPRM Theorem. Archive of Formal Proofs, 2022, 2022. [doi]

This author has not been identified. Look up 'Jonas Bayer' in GoogleThis author has not been identified. Look up 'Marco David' in GoogleThis author has not been identified. Look up 'Benedikt Stock' in GoogleThis author has not been identified. Look up 'Abhik Pal' in GoogleThis author has not been identified. Look up 'Yuri V. Matiyasevich' in GoogleThis author has not been identified. Look up 'Dierk Schleicher' in Google

runs on WebDSL