Tjarda Boekholt

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Formal Verification

Numerical Algorithms

Top Venues

Commun. Nonlinear Sci. Numer. Simul.

Publications

Philip G. Breen, Christopher N. Foley, Tjarda Boekholt, Simon Portegies Zwart
Newton vs the machine: solving the chaotic three-body problem using deep neural networks. CoRR (2019)
Simon Portegies Zwart, Tjarda Boekholt
Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence. Commun. Nonlinear Sci. Numer. Simul. 61 (2018)
Simon Portegies Zwart, Tjarda Boekholt
Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence. CoRR (2018)
Simon Portegies Zwart, Tjarda Boekholt
On the minimal accuracy required for simulating self-gravitating systems by means of direct N-body methods. CoRR (2014)