Sage Binder

According to our database, Sage Binder authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

2025

The Hidden Number Problem.

Sage Binder, Eric Ren, Katherine Kosaian

Arch. Formal Proofs, 2025

2024

Babai's Nearest Plane Algorithm.

Eric Ren, Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Pick's Theorem.

Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

Two Theorems on Hermitian Matrices.

Sage Binder, Zilin Jiang

Arch. Formal Proofs, 2024

Formalizing Pick's Theorem in Isabelle/HOL.

Sage Binder, Katherine Kosaian

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024