Diophantine equations in fragments of arithmetic.

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

Keyphrases

mathematical model
arithmetic operations
differential equations
numerical solution
linear equations
special case
floating point
hamilton jacobi
databases
decision making
linear systems
horizontal fragmentation
wave equation