David P. Sanders

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 4

Top Topics

Relevant Variables

Top Venues

ARCH@CPSIoTWeek

J. Open Source Softw.

Publications

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Luis Benet, David P. Sanders
TaylorSeries.jl: Taylor expansions in one and several variables in Julia. J. Open Source Softw. 4 (36) (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
David P. Sanders, Luis Benet
Validated numerics with Python: the ValidiPy package. SciPy (2014)
Thomas Gilbert, David P. Sanders
Chaos in Cylindrical Stadium Billiards via a Generic nonlinear Mechanism. Int. J. Bifurc. Chaos 22 (9) (2012)