The logic programming paradigm in numerical computation

MaRDI QIDQ4702571zbMATH OpenFDO

Authors M. H. van Emden

Publication date 21 February 2002

zbMATH Keywords

numerical computation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Interval computation as deduction in chip
• Analytic constraint solving and interval arithmetic
• scientific article; zbMATH DE number 1948394
• Computer Algebra in Scientific Computing

Cited in

(2)

• scientific article; zbMATH DE number 2080548 (Why is no real title available?)
• Interval computation as deduction in chip

This page was built for publication: The logic programming paradigm in numerical computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702571)