References in zbMATH (referenced in 61 articles )

Showing results 1 to 20 of 61.
Sorted by year (citations)

1 2 3 4 next

  1. Armellin, Roberto; di Lizia, Pierluigi; Zanetti, Renato: Dealing with uncertainties in angles-only initial orbit determination (2016)
  2. Giordano, Paolo; Wu, Enxin: Calculus in the ring of Fermat reals. I: Integral calculus (2016)
  3. Haro, Àlex; Canadell, Marta; Figueras, Jordi-Lluís; Luque, Alejandro; Mondelo, Josep-Maria: The parameterization method for invariant manifolds. From rigorous results to effective computations (2016)
  4. Konečný, Michal; Taha, Walid; Bartha, Ferenc A.; Duracz, Jan; Duracz, Adam; Ames, Aaron D.: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (2016)
  5. Liu, Zhuang-Zhuang; Wang, Tian-Shu; Li, Jun-Feng: Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (2016)
  6. Miyaji, Tomoyuki; Pilarczyk, Paweł; Gameiro, Marcio; Kokubu, Hiroshi; Mischaikow, Konstantin: A study of rigorous ODE integrators for multi-scale set-oriented computations (2016)
  7. Wang, Zhe; Tian, Qiang; Hu, Haiyan: Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (2016)
  8. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  9. Mireles James, J.D.: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (2015)
  10. Re, B.; Armellin, R.; Nannan, N.R.; Guardone, A.: Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra (2015)
  11. Shamseddine, Khodr: Analysis on the Levi-Civita field and computational applications (2015)
  12. Wittig, Alexander; Armellin, Roberto: High order transfer maps for perturbed Keplerian motion (2015)
  13. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  14. Giordano, Paolo; Kunzinger, Michael: Topological and algebraic structures on the ring of Fermat reals (2013)
  15. Mireles James, J.D.: Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (2013)
  16. Bervillier, C.: Status of the differential transformation method (2012)
  17. Charpentier, I.: On higher-order differentiation in nonlinear mechanics (2012)
  18. Dyllong, Eva; Kiel, Stefan: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (2012)
  19. Figueras, Jordi-Lluís; Haro, Àlex: Reliable computation of robust response tori on the verge of breakdown (2012)
  20. Gay, David M.: Using expression graphs in optimization algorithms (2012)

1 2 3 4 next