A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations.

Yuri V. Matiyasevich

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

Keyphrases

recursive functions
inductive inference
polynomial equations
neural network
differential equations
linear systems
numerical solution
nonlinear equations
feature selection
multiscale
prior knowledge
domain knowledge