References in zbMATH (referenced in 95 articles )

Showing results 61 to 80 of 95.
Sorted by year (citations)
  1. Armellin, R.; Di Lizia, P.; Berz, M.; Makino, K.: Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (2010)
  2. Armellin, R.; Di Lizia, P.; Topputo, F.; Lavagna, M.; Bernelli-Zazzera, F.: Gravity assist space pruning based on differential algebra (2010)
  3. Aschemann, H.; Minisini, J.; Rauh, A.: Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (2010)
  4. Aschemann, H.; Minisini, J.; Rauh, A.: Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II (2010)
  5. Shamseddine, Khodr; Berz, Martin: Analysis on the Levi-Civita field, a brief overview (2010)
  6. Wittig, A.; Berz, M.; Grote, J.; Makino, K.; Newhouse, S.: Rigorous and accurate enclosure of invariant manifolds on surfaces (2010)
  7. Auer, Ekaterina; Luther, Wolfram: Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems (2009)
  8. Jansson, Christian: On verified numerical computations in convex programming (2009)
  9. Yamamoto, Nobito; Komori, Takashi: An application of Taylor models to the Nakao method on ODEs (2009)
  10. Auer, Ekaterina; Rauh, Andreas; Hofer, Eberhard P.; Luther, Wolfram: Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP (2008)
  11. Charpentier, Isabelle; dal Cappello, Claude; Utke, Jean: Efficient higher-order derivatives of the hypergeometric function (2008)
  12. Charpentier, Isabelle; Lejeune, Arnaud; Potier-Ferry, Michel: The Diamant approach for an efficient automatic differentiation of the asymptotic numerical method (2008)
  13. Di Lizia, P.; Armellin, R.; Lavagna, M.: Application of high order expansions of two-point boundary value problems to astrodynamics (2008)
  14. Newhouse, S.; Berz, M.; Makino, K.; Grote, J.: On the estimation of topological entropy on surfaces (2008)
  15. Lin, Youdong; Stadtherr, Mark A.: Validated solutions of initial value problems for parametric ODEs (2007)
  16. Long, Christopher E.; Polisetty, Pradeep K.; Gatzke, Edward P.: Deterministic global optimization for nonlinear model predictive control of hybrid dynamic systems (2007)
  17. Neher, M.; Jackson, K. R.; Nedialkov, N. S.: On Taylor model based integration of ODEs (2007)
  18. Granvilliers, Laurent; Benhamou, Frédéric: Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques. (2006)
  19. Snopok, Pavel; Johnstone, Carol; Berz, Martin: Simulation and optimization of the Tevatron accelerator (2006)
  20. von Hippel, G. M.: TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95 (2006)