Mechanising the theory of intervals using OBJ3

DOI10.1007/BF02425910zbMath0855.65048OpenAlexW374151798MaRDI QIDQ1916976

Alexandre H. F. Brainer, Augusto Sampaio, Marcilia A. Campos

Publication date: 16 February 1997

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02425910

zbMATH Keywords

theorem provinginterval arithmeticOBJ3collection of modulestheory of intervals

Mathematics Subject Classification ID

Theory of programming languages (68N15) Interval and finite arithmetic (65G30)

Uses Software

• ML
• OBJ3

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanising the theory of intervals using OBJ3