A generalized interval package and its use for semantic checking

DOI10.1145/2701.2702MaRDI QIDQ3340043zbMATH OpenOpenAlexWikidataFDO

Authors Alan Bundy

Publication date 1984

Published in ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1842/4547

zbMATH Keywords

algebraic manipulation packageinterval arithmetic package

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to field theory (12-04) Interval and finite arithmetic (65G30) Numerical computation of solutions to systems of equations (65H10)

Recommendations

• scientific article; zbMATH DE number 804607
• scientific article; zbMATH DE number 2145152
• Interval arithmetic in Maple with intpakx
• scientific article; zbMATH DE number 802434
• scientific article; zbMATH DE number 3854310

Cited in

(5)

• Solving symbolic equations with PRESS
• A general method for calculating functions of fuzzy numbers
• scientific article; zbMATH DE number 3866491 (Why is no real title available?)
• INT
• scientific article; zbMATH DE number 804607 (Why is no real title available?)

This page was built for publication: A generalized interval package and its use for semantic checking

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