References in zbMATH (referenced in 95 articles )

Showing results 41 to 60 of 95.
Sorted by year (citations)
  1. Di Lizia, Pierluigi; Armellin, Roberto; Topputo, Francesco; Bernelli-Zazzera, Franco; Berz, Martin: Global optimization of interplanetary transfers with deep space maneuvers using differential algebra (2013)
  2. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  3. Giordano, Paolo; Kunzinger, Michael: Topological and algebraic structures on the ring of Fermat reals (2013)
  4. Mireles James, J. D.: Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (2013)
  5. Wu, Jinglai; Luo, Zhen; Zhang, Yunqing; Zhang, Nong; Chen, Liping: Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (2013)
  6. Bervillier, C.: Status of the differential transformation method (2012)
  7. Charpentier, I.: On higher-order differentiation in nonlinear mechanics (2012)
  8. Dyllong, Eva; Kiel, Stefan: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (2012)
  9. Figueras, Jordi-Lluís; Haro, Àlex: Reliable computation of robust response tori on the verge of breakdown (2012)
  10. Gay, David M.: Using expression graphs in optimization algorithms (2012)
  11. Jaulin, Luc: Solving set-valued constraint satisfaction problems (2012)
  12. Asaithambi, Asai: Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation (2011)
  13. Barrio, R.; Rodríguez, M.; Abad, A.; Blesa, F.: Breaking the limits: The Taylor series method (2011)
  14. Barrio, R.; Rodríguez, M.; Abad, A.; Serrano, S.: Uncertainty propagation or box propagation (2011)
  15. Chevillard, S.; Harrison, J.; Joldeş, M.; Lauter, Ch.: Efficient and accurate computation of upper bounds of approximation errors (2011)
  16. Collins, Pieter; Niqui, Milad; Revol, Nathalie: A validated real function calculus (2011)
  17. Eggers, Andreas; Ramdani, Nacim; Nedialkov, Nedialko; Fränzle, Martin: Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods (2011)
  18. Erdelyi, B.: Symmetries and their applications in beam physics (2011)
  19. Kearfott, Ralph Baker: Interval computations, rigour and non-rigour in deterministic continuous global optimization (2011)
  20. Armellin, R.; Di Lizia, P.; Bernelli-Zazzera, F.; Berz, M.: Asteroid close encounters characterization using differential algebra: the case of apophis (2010)