Ivan Besevic
I pursue independent research at the intersection of constructive geometry, numerical analysis and formal verification.
The Pandrosion project connects geometric root constructions with iterative methods and numerical experiments. This website brings together the papers, software releases and information needed to understand the scope of the reported results.
An explicit approach
The papers distinguish written proofs, results checked in Lean and numerical checks. Benchmark results remain tied to their protocols; assumptions and failed cases are part of the report.
Profiles and archives
- ORCID: 0009-0004-4124-1465
- Pandrosion project on GitHub
- Geometry preprint on Zenodo
- Pandrosion 449 on Zenodo
Assistance and responsibility
The manuscript discloses computational and AI assistance for derivations, proof development, figures and manuscript preparation. The author remains responsible for the claims and their attribution.