Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

Publication Activity (10 Years)

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

Top Topics

Linearly Ordered

Computer Vision

Top Venues

Publications

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)