Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

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

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

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

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

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

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

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

talks

teaching

Maths 1 (TD) - Paris-Assas - 2025/2

Undergraduate course, Université Paris-Panthéon-Assas, 2025

Objectifs : Analyse, Fonctions numériques d’une variable réelle. Continuité, dérivation, optimisation, intégration.

Maths 4 (TD) - Paris-Assas - 2026/1

Undergraduate course, Université Paris-Panthéon-Assas, 2026

Objectifs : Ce cours prolonge le cours Mathématiques 3 du premier semestre. Il traite de valeurs propres et vecteurs propres d’une matrice, de diagonalisation d’une matrice, de formes quadratiques. En un deuxième temps les séries numériques puis les équations de récurrence linéaires et les équations différentielles linéaires sont étudiées.