PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Nedialkov, Nedialko S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interval Subroutine Library Mission.

, , , , und . Reliable Implementation of Real Number Algorithms, Volume 06021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

S. Toro

 

Weitere Publikationen von Autoren mit dem selben Namen

Algorithm 948: DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Software., , und . ACM Trans. Math. Softw., 41 (2): 12:1-12:14 (2015)Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation., , , , und . CCA, Seite 1640-1645. IEEE, (2012)An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE., , und . Reliab. Comput., 7 (6): 449-465 (2001)Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques., und . ADHS, Volume 42 von IFAC Proceedings Volumes, Seite 156-161. Elsevier, (2009)Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?, , und . Numerical Algorithms, 37 (1-4): 325-336 (2004)How AD can help solve differential-algebraic equations., , , und . Optimization Methods and Software, 33 (4-6): 729-749 (2018)Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems., , und . CoRR, (2015)An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation., und . Reliab. Comput., 5 (3): 289-310 (1999)Validated solutions of initial value problems for ordinary differential equations., , und . Applied Mathematics and Computation, 105 (1): 21-68 (1999)Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods., , , und . Software and Systems Modeling, 14 (1): 121-148 (2015)