Alena Gusakov

According to our database, Alena Gusakov authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Structuring Definitions in Mathematical Libraries.

Alena Gusakov, Peter Nelson, Stephen Watt

CoRR, September, 2025

Structuring Definitions in Mathematical Libraries.

Alena Gusakov, Peter Nelson, Stephen M. Watt

Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2025

2021

Formalizing Hall's Marriage Theorem in Lean.

Alena Gusakov, Bhavik Mehta, Kyle A. Miller

CoRR, 2021