Home Advanced Search

Advanced Search - Page 1

Rigorous global search: continuous problems
  • DJVU
  • English
  • Year: 1996
  • Author: R. Baker Kearfott
Applications of Interval Computations
  • PDF
  • English
  • Year: 1996
  • Author: R. Baker Kearfott, Vladik Kreinovich (auth.), R. Baker Kearfott, Vladik Kreinovich (eds.)
Introduction To Interval Analysis
  • PDF
  • English
  • Year: 2009
  • Author: Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud
Introduction to interval analysis
  • PDF
  • English
  • Year: 2009
  • Author: Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud
Developments in Reliable Computing
  • PDF
  • English
  • Year: 1999
  • Author: George F. Corliss, R. Baker Kearfott (auth.), Tibor Csendes (eds.)
Classical and Modern Numerical Analysis: Theory, Methods and Practice
  • PDF
  • Year: 2009
  • Author: Azmy S. Ackleh (Author); Edward James Allen (Author); R. Baker Kearfott (Author); Padmanabhan Seshaiyer (Author)
Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Jürgen Wolff von Gudenberg (auth.), René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (eds.)