Paul Schwahn

According to our database, Paul Schwahn 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

CoRR, May, 2025