Anne Baanen

Orcid: 0000-0001-8497-3683

According to our database1, Anne Baanen authored at least 6 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022
A Formalization of Dedekind Domains and Class Groups of Global Fields.
J. Autom. Reason., 2022

Use and Abuse of Instance Parameters in the Lean Mathematical Library.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021
A formalization of Dedekind domains and class groups of global fields.
CoRR, 2021

2020
Combining predicate transformer semantics for effects: a case study in parsing regular languages.
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020


  Loading...