Login / Signup
A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs.
W. F. Clocksin
Published in:
J. Log. Program. (1988)
Keyphrases
</>
numerical methods
differential equations
partial differential equations
pairwise
linear algebra