Search results for: R. Baker
Lecture Notes in Computer Science > Numerical Software with Result Verification > Software Systems and Tools > 36-63
Journal of Global Optimization > 2005 > 33 > 4 > 617-624
Lecture Notes in Computer Science > Numerical Software with Result Verification > Software Systems and Tools > 36-63
Journal of Global Optimization > 2005 > 33 > 4 > 617-624