Publications

2025

  1. ACM
    Certifying Rings of Integers in Number Fields
    Anne Baanen, Alain Chavarri Villarello, and Sander R. Dahmen
    In Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Denver, CO, USA, 2025
    Distinguished Paper Award DOI

2021

  1. LNAI
    Representing Partition Lattices Through FCA
    Mike Behrisch, Alain Chavarri Villarello, and Edith Vargas-García
    In Formal Concept Analysis, 2021
    DOI

Preprints

2026

  1. arXiv
    Formally Certifying Number Field Invariants
    Alain Chavarri Villarello and Sander R. Dahmen
    arXiv, Jul 2026
    arXiv

Other Writing

2019

  1. Elemental, mi querido Erdős
    Alain Chavarri Villarello
    El Supuesto, Apr 2019
    Column: Laberintos Infinitos.
    HTML