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
References in zbMATH (referenced in 95 articles )
Showing results 1 to 20 of 95.
Sorted by year (- Asaithambi, Asai: Solution of third grade thin film flow using algorithmic differentiation (2020)
- Bünger, Florian: A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (2020)
- Hall, Zach; Singla, Puneet: Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem (2020)
- Weisskopf, A.; Armellin, Roberto; Berz, M.: Bounded motion design in the Earth zonal problem using differential algebra based normal form methods (2020)
- Abeyratne, S.; Gee, A.; Erdelyi, B.: An adaptive fast multipole method in Cartesian basis, enabled by algorithmic differentiation (2019)
- Planche, Thomas; Jung, Paul M.: Symplectic and self-consistent algorithms for particle accelerator simulation (2019)
- Schaumburg, Herman D.; Al Marzouk, Afnan; Erdelyi, Bela: Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation (2019)
- Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T.: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (2019)
- Valetov, Eremey; Berz, Martin; Makino, Kyoko: Validation of transfer map calculation for electrostatic deflectors in the code \textitCOSYINFINITY (2019)
- Baydin, Atılım Güneş; Pearlmutter, Barak A.; Radul, Alexey Andreyevich; Siskind, Jeffrey Mark: Automatic differentiation in machine learning: a survey (2018)
- Bünger, Florian: Shrink wrapping for Taylor models revisited (2018)
- Charpentier, Isabelle; Gustedt, Jens: \textttArbogast: higher order automatic differentiation for special functions with Modular C (2018)
- 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)
- Marzouk, Afnan Al; Erdelyi, Bela: Collisional (N)-body numerical integrator with applications to charged particle dynamics (2018)
- Mullier, Olivier; Chapoutot, Alexandre; Alexandre dit Sandretto, Julien: Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation (2018)
- Pérez-Palau, Daniel; Gómez, Gerard; Masdemont, Josep J.: A new subdivision algorithm for the flow propagation using polynomial algebras (2018)
- Villegas Pico, Hugo Nestor; Aliprantis, Dionysios C.: Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (2018)
- Wittig, Alexander; Colombo, Camilla; Armellin, Roberto: Long-term density evolution through semi-analytical and differential algebra techniques (2017)
- Wu, Jinglai; Luo, Zhen; Li, Hao; Zhang, Nong: A new hybrid uncertainty optimization method for structures using orthogonal series expansion (2017)
- Armellin, Roberto; di Lizia, Pierluigi; Zanetti, Renato: Dealing with uncertainties in angles-only initial orbit determination (2016)