Login / Signup
Robert Szczelina
ORCID
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 2
Top Topics
Theorem Prover
Intraoperative
Search Space
Computer Assisted
Top Venues
CoRR
SIAM J. Appl. Dyn. Syst.
Found. Comput. Math.
J. Chem. Inf. Model.
</>
Publications
</>
Robert Szczelina
,
Piotr Zgliczynski
High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays.
CoRR
(2022)
Robert Szczelina
,
Piotr Zgliczynski
Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey-Glass Equation.
Found. Comput. Math.
18 (6) (2018)
Robert Szczelina
,
Krzysztof Murzyn
DMG-α - A Computational Geometry Library for Multimolecular Systems.
J. Chem. Inf. Model.
54 (11) (2014)
Robert Szczelina
,
Piotr Zgliczynski
A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof.
SIAM J. Appl. Dyn. Syst.
12 (3) (2013)