CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Tomasz Kapela, Marian Mrożek, Daniel Wilczak, Piotr Zgliczyński
Topics & Concepts
ToolboxDynamical systems theoryOdeMathematical proofComputer scienceInterface (matter)Numerical analysisDynamical system (definition)Calculus (dental)Applied mathematicsTheoretical computer scienceMathematicsProgramming languageMathematical analysisPhysicsGeometryParallel computingBubbleMedicineDentistryMaximum bubble pressure methodQuantum mechanicsQuantum chaos and dynamical systemsNumerical methods for differential equationsModel Reduction and Neural Networks