Gustavo Infanti

According to our database, Gustavo Infanti authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean.

Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025