Anne Baanen

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Mathematical Expressions

Top Venues

Publications

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CPP (2023)
Anne Baanen
Use and abuse of instance parameters in the Lean mathematical library. CoRR (2022)
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CoRR (2022)
Anne Baanen
Use and Abuse of Instance Parameters in the Lean Mathematical Library. ITP (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. J. Autom. Reason. 66 (4) (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
A formalization of Dedekind domains and class groups of global fields. CoRR (2021)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. ITP (2021)
Anne Baanen
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper). IJCAR (2) (2020)
Anne Baanen, Wouter Swierstra
Combining predicate transformer semantics for effects: a case study in parsing regular languages. MSFP@ETAPS (2020)