Pavel Kropitz

According to our database, Pavel Kropitz authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Determination of the Fifth Busy Beaver Value.

Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev (Skelet), Matthew L. House, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

2025

Determination of the fifth Busy Beaver value.

The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev, Matthew L. House, Rachel Hunter, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, savask, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann

CoRR, September, 2025

Turing machines deciders, part I.

The bbchallenge Collaboration, Justin Blanchard, Konrad Deka, Nathan Fenner, Tony Guilfoyle, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, Pascal Michel, Mateusz Nasciszewski, Tristan Stérin

CoRR, April, 2025