Existential arithmetization of Diophantine equations.

Yuri V. Matiyasevich

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

mathematical model
differential equations
numerical solution
linear equations
data sets
social networks
nonlinear equations
polynomial equations
databases
user interface
evolutionary algorithm
incomplete information
ontology based data access