2 citations · 3 across the 3 of their papers we have counts for
3 papers
math.HO2026★ 2 cited
Leiden Declaration on Artificial Intelligence and Mathematics
Jarod Alper, Michael Barany, Alain Chavarri Villarello +13
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly tran…
cs.LO2026
Formally certifying number field invariants
Alain Chavarri Villarello, Sander R. Dahmen
Number fields, which generalize the rational numbers, are fundamental objects in number theory. Many of their key arithmetic properties are captured by invariants whose computation…
math.CO2020★ 1 cited
Representing partition lattices through FCA
Mike Behrisch, Alain Chavarri Villarello, Edith Vargas-García
We investigate the standard context, denoted by , of the lattice of partitions of a positive integer under the dominan…