Efficient interval linear equality solving in constraint logic programming

DOI10.1023/A:1014754106275zbMath1003.65024MaRDI QIDQ1597646

Chong-Kan Chiu, Jimmy Ho-man Lee

Publication date: 30 May 2002

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

zbMATH Keywords

preconditioninginterval Gauss-Seidel methodlogic programming languageinterval constrained arithmetic languagelinear interval constraint solver

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Numerical computation of matrix norms, conditioning, scaling (65F35) Logic programming (68N17) Direct numerical methods for linear systems and matrix inversion (65F05)

Related Items (2)

On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP ⋮ Solving interval constraints by linearization in computer-aided design

Uses Software

• INTOPT_90

This page was built for publication: Efficient interval linear equality solving in constraint logic programming