Ivan Besevic
Je développe des travaux de recherche indépendante à l’intersection de la géométrie constructive, de l’analyse numérique et de la vérification formelle.
Le projet Pandrosion relie des constructions géométriques de racines à des méthodes d’itération et à des expériences numériques. Ce site rassemble les textes, les versions logicielles et les informations nécessaires pour comprendre la portée des résultats annoncés.
Une démarche explicite
Les articles distinguent les preuves écrites, les résultats vérifiés par Lean et les contrôles numériques. Les résultats de benchmark restent associés à leur protocole ; les hypothèses et les cas en échec font partie du bilan.
Profils et archives
- ORCID : 0009-0004-4124-1465
- Projet Pandrosion sur GitHub
- Prépublication de géométrie sur Zenodo
- Pandrosion 449 sur Zenodo
Assistance et responsabilité
Le manuscrit indique le recours à une assistance informatique et à l’IA pour des dérivations, le développement de preuves, des figures et la préparation du texte. L’auteur reste responsable des affirmations et de leur attribution.