Cosy

COSY is a system for the use of various advanced concepts of modern scientific computing. COSY currently has more than 2000 registered users and has been extensively cross-checked and verified. The COSY system consists of the following parts.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 88 articles )

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

1 2 3 4 5 next

  1. Asaithambi, Asai: Solution of third grade thin film flow using algorithmic differentiation (2020)
  2. Bünger, Florian: A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (2020)
  3. Schaumburg, Herman D.; Al Marzouk, Afnan; Erdelyi, Bela: Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation (2019)
  4. Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T.: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (2019)
  5. Baydin, Atılım Güneş; Pearlmutter, Barak A.; Radul, Alexey Andreyevich; Siskind, Jeffrey Mark: Automatic differentiation in machine learning: a survey (2018)
  6. Bünger, Florian: Shrink wrapping for Taylor models revisited (2018)
  7. Charpentier, Isabelle; Gustedt, Jens: \textttArbogast: higher order automatic differentiation for special functions with modular C (2018)
  8. 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)
  9. Marzouk, Afnan Al; Erdelyi, Bela: Collisional (N)-body numerical integrator with applications to charged particle dynamics (2018)
  10. Mullier, Olivier; Chapoutot, Alexandre; Alexandre dit Sandretto, Julien: Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation (2018)
  11. Villegas Pico, Hugo Nestor; Aliprantis, Dionysios C.: Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (2018)
  12. Wu, Jinglai; Luo, Zhen; Li, Hao; Zhang, Nong: A new hybrid uncertainty optimization method for structures using orthogonal series expansion (2017)
  13. Armellin, Roberto; di Lizia, Pierluigi; Zanetti, Renato: Dealing with uncertainties in angles-only initial orbit determination (2016)
  14. Charpentier, Isabelle; Lampoh, Komlanvi: Sensitivity computations in higher order continuation methods (2016)
  15. Giordano, Paolo; Wu, Enxin: Calculus in the ring of Fermat reals. I: Integral calculus (2016)
  16. 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)
  17. 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)
  18. Liu, Zhuang-Zhuang; Wang, Tian-Shu; Li, Jun-Feng: Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (2016)
  19. Miyaji, Tomoyuki; Pilarczyk, Paweł; Gameiro, Marcio; Kokubu, Hiroshi; Mischaikow, Konstantin: A study of rigorous ODE integrators for multi-scale set-oriented computations (2016)
  20. Pérez-Galván, Carlos; Bogle, I. David L.: Dynamic global optimization methods for determining guaranteed solutions in chemical engineering (2016)

1 2 3 4 5 next