References in zbMATH (referenced in 81 articles )

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

1 2 3 4 5 next

  1. Schaumburg, Herman D.; Al Marzouk, Afnan; Erdelyi, Bela: Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation (2019)
  2. Baydin, Atılım Güneş; Pearlmutter, Barak A.; Radul, Alexey Andreyevich; Siskind, Jeffrey Mark: Automatic differentiation in machine learning: a survey (2018)
  3. Bünger, Florian: Shrink wrapping for Taylor models revisited (2018)
  4. Charpentier, Isabelle; Gustedt, Jens: \textttArbogast: higher order automatic differentiation for special functions with modular C (2018)
  5. Evstigneev, N. M.; Ryabkov, O. I.: Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (2018)
  6. Marzouk, Afnan Al; Erdelyi, Bela: Collisional (N)-body numerical integrator with applications to charged particle dynamics (2018)
  7. Mullier, Olivier; Chapoutot, Alexandre; Alexandre dit Sandretto, Julien: Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation (2018)
  8. Villegas Pico, Hugo Nestor; Aliprantis, Dionysios C.: Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (2018)
  9. Armellin, Roberto; di Lizia, Pierluigi; Zanetti, Renato: Dealing with uncertainties in angles-only initial orbit determination (2016)
  10. Giordano, Paolo; Wu, Enxin: Calculus in the ring of Fermat reals. I: Integral calculus (2016)
  11. 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)
  12. 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)
  13. Liu, Zhuang-Zhuang; Wang, Tian-Shu; Li, Jun-Feng: Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (2016)
  14. Miyaji, Tomoyuki; Pilarczyk, Paweł; Gameiro, Marcio; Kokubu, Hiroshi; Mischaikow, Konstantin: A study of rigorous ODE integrators for multi-scale set-oriented computations (2016)
  15. Pérez-Galván, Carlos; Bogle, I. David L.: Dynamic global optimization methods for determining guaranteed solutions in chemical engineering (2016)
  16. Sluşanschi, Emil I.; Dumitrel, Vlad: ADiJaC -- automatic differentiation of Java classfiles (2016)
  17. Walawska, Irmina; Wilczak, Daniel: An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (2016)
  18. Wang, Zhe; Tian, Qiang; Hu, Haiyan: Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (2016)
  19. Charpentier, Isabelle; Dal Cappello, Claude: Higher-order automatic differentiation of mathematical functions (2015)
  20. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)

1 2 3 4 5 next