Diophantine Equations and the DPRM Theorem.

Jonas Bayer Marco David Benedikt Stock Abhik Pal Yuri V. Matiyasevich Dierk Schleicher

Published in: Arch. Formal Proofs (2022)

Keyphrases

numerical solution
von neumann
mathematical model
information systems
learning environment
video sequences
relational databases
differential equations
linear equations
nonlinear equations
numerical integration
digital topology