• Published

  Non-linear Global Optimization using Interval Arithmetic and Constraint Propagation

  Publication: Research - peer-review › Book chapter – Annual report year: 2006

• Published

  Automatic validation of numerical solutions

  Publication: Research › Ph.d. thesis – Annual report year: 1997

• Published

  Tadiff, a flexible C++ package for automatic differentiation

  Publication: Research - peer-review › Report – Annual report year: 1997

View all »

• International Journal of Reliable Computing

  Local database

  Journal

• Reliable Computing

  ISSNs: 1385-3139

  Local database

  Journal

• Completed

  Selv-validerende computerbaserede beregningsmetoder for funktionalanalysen (med særlig henblik på anvndelsesmulighederne)

  Project: PhD

• Completed

  Global optimization

  Project

• Error Bounds for Differential Equations

  Project