Users following BaCa2-project
Tomasz Kapela
tomasz-kapela
I am resercher and teacher at Jagiellonian University. I develop algorithms and C++ software that perform computer assisted proofs in dynamical systems.
Jagiellonian University Kraków
Krzysztof Kalita
k-kalita
Software Engineer @ Qualtrics | BSc Computer Science from UJ
Cracow, Poland
Bartosz Deptuła
ZyndramZM
Embedded C++ Developer @ Spyrosoft and CS teacher @ SLO 99 in Warsaw.
Jagiellonian University Cracow