Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.

Himanshu Jain Edmund M. Clarke Orna Grumberg

Published in: CAV (2008)

Keyphrases

linear systems
closed form
numerical solution
angular velocity
computationally expensive
differential equations
linear equations
square root
databases
data mining
information systems
website
sufficient conditions
numerical integration