Vladmir Sicca

Vladmir Sicca

Mathematics ATER at Université Paris-Panthéon-Assas

Publications

Papers and Preprints

Aristotle: IMO-level Automated Theorem Proving

Published in ArXiv, 2025

Description of the software Aristotle.

Recommended citation: Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, & Lawrence Wu. (2025). Aristotle: IMO-level Automated Theorem Proving.
Download Paper

Newclid: A User-Friendly Replacement for AlphaGeometry

Published in ArXiv, 2024

Description of the first release of Newclid and review of the functioning of AlphaGeometry 1.

Recommended citation: Sicca, V., Xia, T., Fédérico, M., Gorinski, P.J., Frieder, S., & Jui, S. (2024). Newclid: A User-Friendly Replacement for AlphaGeometry. ArXiv, abs/2411.11938.
Download Paper

Euclid’s Digital Elements: Straightedge and Compass Softwares as Aid for Geometrical Design

Published in Proceedings of Bridges 2016, 2024

Description of the first release of Newclid and review of the functioning of AlphaGeometry 1.

Recommended citation: Sicca, V. (2016). Euclid’s Digital Elements: Straightedge and Compass Softwares as Aid for Geometrical Design. In E. Torrence, B. Torrence, C. Séquin, D. McKenna, K. Fenyvesi, & R. Sarhangi (Eds), Proceedings of Bridges 2016: Mathematics, Music, Art, Architecture, Education, Culture (pp. 659–662). Retrieved from http://archive.bridgesmathart.org/2016/bridges2016-659.html
Download Paper

A prescribed scalar and boundary mean curvature problem and the Yamabe classification on asymptotically Euclidean manifolds with inner boundary

Published in The Journal of Geometric Analysis, 2023

Proof of a well-posedness result for the prescriptions of scalar curvature in the interior and mean curvature on the boundary of an asymptotically Euclidean manifold with compact boundary.

Recommended citation: Sicca, V., Tsogtgerel, G. A Prescribed Scalar and Boundary Mean Curvature Problem and the Yamabe Classification on Asymptotically Euclidean Manifolds with Inner Boundary. J Geom Anal 33, 342 (2023). https://doi.org/10.1007/s12220-023-01346-2
Download Paper

Architecture and Teaching: Two Websites Meet

Published in Proceedings of the Bridges Aalto 2022, 2022

Description of two websites combined, one developed by me on geometry applications to Architecture and one on teaching material for Math instructors.

Recommended citation: Nietto, S., & Sicca, V. (2022). Architecture and Teaching: Two Websites Meet. In D. Reimann, D. Norton, & E. Torrence (Eds), Proceedings of Bridges 2022: Mathematics, Art, Music, Architecture, Culture (pp. 425–428). Retrieved from http://archive.bridgesmathart.org/2022/bridges2022-425.html.
Download Paper

An Architectural Game of Squares and Conic Sections

Published in Proceedings of Bridges 2021, 2021

In this paper we use the Five Points Theorem to study the possibilities of fitting a modular square grid inside a conic section.

Recommended citation: Sicca, V. (2021). An Architectural Game of Squares and Conic Sections. In D. Swart, F. Farris, & E. Torrence (Eds), Proceedings of Bridges 2021: Mathematics, Art, Music, Architecture, Culture (pp. 297–300). Retrieved from http://archive.bridgesmathart.org/2021/bridges2021-297.html
Download Paper

Non-Euclidean Ideal Spectrometry

Published in Brazilian Journal of Physics, 2016

Proposal of a conformal transformation that could be realisable in a spectrometer to control the path of the light rays.

Recommended citation: Sá Earp, H.N., Sicca, V. & Kyotoku, B.B.C. Non-Euclidean Ideal Spectrometry. Braz J Phys 46, 683–688 (2016). https://doi.org/10.1007/s13538-016-0452-1
Download Paper