María Inés de Frutos-Fernández

Available identifiers

zbMath Open de-frutos-fernandez.maria-inesMaRDI QIDQ2086411

List of research outcomes

Publication	Date of Publication	Type
A Formalization of Complete Discrete Valuation Rings and Local Fields	2023-10-03	Paper
The refined class number formula for Drinfeld modules	2023-09-29	Paper
Formalizing Norm Extensions and Applications to Number Theory	2023-06-29	Paper
Moduli spaces of shtukas over the projective line	2022-10-25	Paper
Formalizing the Ring of Ad\`eles of a Global Field	2022-03-06	Paper
Rational linear subspaces of hypersurfaces over finite fields	2021-11-21	Paper
Computing rational points on rank 0 genus 3 hyperelliptic curves	2019-09-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: María Inés de Frutos-Fernández