validated numerics Latest Research Papers

A functional analytic approach to validated numerics for eigenvalues of delay equations

Journal of Computational Dynamics ◽

10.3934/jcd.2020005 ◽

2020 ◽

Vol 7 (1) ◽

pp. 123-158 ◽

Cited By ~ 1

Author(s):

J. P. Lessard ◽

◽

J. D. Mireles James ◽

Keyword(s):

Delay Equations ◽

Analytic Approach ◽

Validated Numerics

Download Full-text

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

Communications in Nonlinear Science and Numerical Simulation ◽

10.1016/j.cnsns.2019.03.005 ◽

2019 ◽

Vol 74 ◽

pp. 30-54 ◽

Cited By ~ 4

Author(s):

Irmina Walawska ◽

Daniel Wilczak

Keyword(s):

Periodic Orbits ◽

Reversible Systems ◽

Symmetric Periodic Orbits ◽

Validated Numerics

Download Full-text

Validated numerics for equilibria of analytic vector fields; Invariant manifolds and connecting orbits

Rigorous Numerics in Dynamics - Proceedings of Symposia in Applied Mathematics ◽

10.1090/psapm/074/02 ◽

2018 ◽

pp. 27-80 ◽

Cited By ~ 1

Author(s):

J. Mireles James

Keyword(s):

Vector Fields ◽

Invariant Manifolds ◽

Analytic Vector ◽

Connecting Orbits ◽

Validated Numerics

Download Full-text

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

Rigorous Numerics in Dynamics - Proceedings of Symposia in Applied Mathematics ◽

10.1090/psapm/074/00642 ◽

2018 ◽

pp. 27-80 ◽

Cited By ~ 1

Author(s):

J. Mireles James

Keyword(s):

Vector Fields ◽

Invariant Manifolds ◽

Analytic Vector ◽

Connecting Orbits ◽

Validated Numerics

Download Full-text

Validated Numerics for Continuation and Bifurcation of Connecting Orbits of Maps

Qualitative Theory of Dynamical Systems ◽

10.1007/s12346-018-0279-y ◽

2018 ◽

Vol 18 (1) ◽

pp. 107-137

Author(s):

Ronald Adams ◽

J. D. Mireles James

Keyword(s):

Connecting Orbits ◽

Validated Numerics

Download Full-text

CAD Adjacency Computation Using Validated Numerics

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17 ◽

10.1145/3087604.3087641 ◽

2017 ◽

Cited By ~ 2

Author(s):

Adam Strzeboński

Keyword(s):

Validated Numerics

Download Full-text

Scientific Computing, Computer Arithmetic, and Validated Numerics

10.1007/978-3-319-31769-4 ◽

2016 ◽

Keyword(s):

Scientific Computing ◽

Computer Arithmetic ◽

Validated Numerics

Download Full-text

The Parameterization Method for Quasi-Periodic Systems: From Rigorous Results to Validated Numerics

Applied Mathematical Sciences - The Parameterization Method for Invariant Manifolds ◽

10.1007/978-3-319-29662-3_3 ◽

2016 ◽

pp. 75-117

Author(s):

Jordi-Lluís Figueras ◽

Àlex Haro

Keyword(s):

Periodic Systems ◽

Rigorous Results ◽

Parameterization Method ◽

Validated Numerics

Download Full-text

Validated numerics with Python: the ValidiPy package

10.25080/majora-14bd3278-00b ◽

2014 ◽

Author(s):

David Sanders ◽

Luis Benet

Keyword(s):

Validated Numerics

Download Full-text

Validated numerics: a short introduction to rigorous computations

Choice Reviews Online ◽

10.5860/choice.49-1519 ◽

2011 ◽

Vol 49 (03) ◽

pp. 49-1519-49-1519

Keyword(s):

Short Introduction ◽

Validated Numerics

Download Full-text

validated numerics
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

A functional analytic approach to validated numerics for eigenvalues of delay equations

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

Validated numerics for equilibria of analytic vector fields; Invariant manifolds and connecting orbits

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

Validated Numerics for Continuation and Bifurcation of Connecting Orbits of Maps

CAD Adjacency Computation Using Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics

The Parameterization Method for Quasi-Periodic Systems: From Rigorous Results to Validated Numerics

Validated numerics with Python: the ValidiPy package

Validated numerics: a short introduction to rigorous computations

Export Citation Format

validated numericsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A functional analytic approach to validated numerics for eigenvalues of delay equations

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

Validated numerics for equilibria of analytic vector fields; Invariant manifolds and connecting orbits

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

Validated Numerics for Continuation and Bifurcation of Connecting Orbits of Maps

CAD Adjacency Computation Using Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics

The Parameterization Method for Quasi-Periodic Systems: From Rigorous Results to Validated Numerics

Validated numerics with Python: the ValidiPy package

Validated numerics: a short introduction to rigorous computations

validated numerics
Recently Published Documents