2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
A Formalization of Complete Discrete Valuation Rings and Local Fields
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We…
math.NT2019
Computing rational points on rank 0 genus 3 hyperelliptic curves
María Inés de Frutos-Fernández, Sachi Hashimoto
We compute rational points on genus odd degree hyperelliptic curves over that have Jacobians of Mordell-Weil rank . The computation applies the Chabauty-Col…