Kyle A. Miller

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Digital Topology

Top Venues

J. Comput. Appl. Math.

Publications

Jichul Kim, Byungjoon Lee, Michael R. Zanetti, Kyle A. Miller, Seongjai Kim
Iterative Update Sample Consensus (IUSAC): A repeatable algorithm for optimal consensus set. J. Comput. Appl. Math. 436 (2024)
Alena Gusakov, Bhavik Mehta, Kyle A. Miller
Formalizing Hall's Marriage Theorem in Lean. CoRR (2021)