Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
On regular and singular interval systems
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Efficient interval partitioning-Local search collaboration for constraint satisfaction
Computers and Operations Research
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Journal of Computational and Applied Mathematics
Hi-index | 0.00 |