Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Linearly Ordered

Computer Vision

Top Venues

Publications

Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz
Categorical Foundations of Formalized Condensed Mathematics. CoRR (2024)
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
A Formalization of Complete Discrete Valuation Rings and Local Fields. CPP (2024)
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
A Formalization of Complete Discrete Valuation Rings and Local Fields. CoRR (2023)