Research interests

Computer Assisted Proofs, Numerical Methods

Dynamical Systems, N-BODY problem, Control Theory, Hamiltonian Systems

CAPD Library GitHub

Upcomming events

Summer Workshop on Interval Methods - SWIM 2026
22-24 June 2026, Kraków, Poland

Workshop Validated numerics for computer-assisted proofs
06 Jul 2026 - 10 Jul 2026, ICMS, Bayes Centre, Edinburgh

Quick links

Matematyka Komputerowa dla I LO klasa 1, klasa 4

Propozycje tematów prac magisterskich

Dynamics, Topology and Computations conferences

Matematyka Komputerowa | facebook

Division of Computational Mathematics | Katedra Matematyki Obliczeniowej