References in zbMATH (referenced in 95 articles )

Showing results 21 to 40 of 95.
Sorted by year (citations)
  1. Charpentier, Isabelle; Lampoh, Komlanvi: Sensitivity computations in higher order continuation methods (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. Pérez-Galván, Carlos; Bogle, I. David L.: Dynamic global optimization methods for determining guaranteed solutions in chemical engineering (2016)
  8. Sluşanschi, Emil I.; Dumitrel, Vlad: ADiJaC -- automatic differentiation of Java classfiles (2016)
  9. Walawska, Irmina; Wilczak, Daniel: An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (2016)
  10. Wang, Zhe; Tian, Qiang; Hu, Haiyan: Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (2016)
  11. Charpentier, Isabelle; Dal Cappello, Claude: Higher-order automatic differentiation of mathematical functions (2015)
  12. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  13. Gonzalez, Sanja Živanović; Collins, Pieter: Computing reachable sets of differential inclusions (2015)
  14. Kolberg, Mariana; Bohlender, Gerd; Fernandes, Luiz Gustavo: An efficient approach to solve very large dense linear systems with verified computing on clusters. (2015)
  15. 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)
  16. Pérez-Palau, Daniel; Masdemont, Josep J.; Gómez, Gerard: Tools to detect structures in dynamical systems using jet transport (2015)
  17. Re, B.; Armellin, R.; Nannan, N. R.; Guardone, A.: Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra (2015)
  18. Shamseddine, Khodr: Analysis on the Levi-Civita field and computational applications (2015)
  19. Wittig, Alexander; Armellin, Roberto: High order transfer maps for perturbed Keplerian motion (2015)
  20. Wittig, Alexander; Di Lizia, Pierluigi; Armellin, Roberto; Makino, Kyoko; Bernelli-Zazzera, Franco; Berz, Martin: Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting (2015)