Concurrent cooperating solvers over reals
From MaRDI portal
Publication:1371176
DOI10.1023/A:1009939327927zbMath0888.65066OpenAlexW2137180761MaRDI QIDQ1371176
Michel Rueher, Christine Solnon
Publication date: 13 May 1998
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1009939327927
Numerical mathematical programming methods (65K05) Linear programming (90C05) Interval and finite arithmetic (65G30)
Related Items