A generalized interval package and its use for semantic checking

DOI10.1145/2701.2702zbMath0548.65039OpenAlexW2013219284WikidataQ111900347 ScholiaQ111900347MaRDI QIDQ3340043

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

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

Related Items (3)

Solving symbolic equations with PRESS ⋮ A general method for calculating functions of fuzzy numbers ⋮ INT

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