vix.ing · top · new · best · stats · spec

Alain Chavarri Villarello

  1. Formally certifying number field invariants
    2026/07/28 by Alain Chavarri Villarello, Sander R. Dahmen
    Computer Science · Mathematics · #acm:11R27 #acm:11R29 #acm:11Y40 #acm:12D10 #acm:68V20 #cs.LO #math.NT #msc:11R27 #msc:11R29 #msc:11Y40 #msc:12D10 #msc:68V20