María Inés de Frutos-Fernández
- Computing rational points on rank 0 genus 3 hyperelliptic curves
2019/09/11 by María Inés de Frutos-Fernández, de Frutos-Fernández, María Inés, Sachi Hashimoto +1 · 1 citation
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Cryptography and Residue Arithmetic #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation
- Formalizing Norm Extensions and Applications to Number Theory
2023/06/29 by María Inés de Frutos-Fernández, de Frutos-Fernández, María Inés · 2 citations
Mathematics · #12J25 #26E30 #68V15 #68V20 #Algebraic Geometry and Number Theory #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT)