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

MaRDI QIDQ2086411zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Carleson Operators on Doubling Metric Measure Spaces (available as arXiv preprint)	N/A	Paper
A formalization of divided powers in lean	2026-09-01	Paper
The refined class number formula for Drinfeld modules Compositio Mathematica	2026-07-30	Paper
Formalizing Carleson's Theorem in Lean (available as arXiv preprint)	2026-01-01	Paper
The refined class number formula for Drinfeld modules (available as arXiv preprint)	2025-01-01	Paper
A Formalization of Divided Powers in Lean (available as arXiv preprint)	2025-01-01	Paper
Formalizing Polynomial Laws and the Universal Divided Power Algebra (available as arXiv preprint)	2025-01-01	Paper
Formalizing norm extensions and applications to number theory	2024-11-26	Paper
Computing rational points on rank 0 genus 3 hyperelliptic curves	2024-09-12	Paper
Formalizing the ring of adèles of a global field	2024-07-15	Paper
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
A Formalization of Complete Discrete Valuation Rings and Local Fields (available as arXiv preprint)	2023-01-01	Paper
Moduli spaces of shtukas over the projective line Journal de Théorie des Nombres de Bordeaux	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
Rational linear subspaces of hypersurfaces over finite fields (available as arXiv preprint)	2021-01-01	Paper
Computing rational points on rank 0 genus 3 hyperelliptic curves	2019-09-10	Paper

Research outcomes over time

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