Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoard ...
137  Ergebnisse:
Personensuche X
?
1

A Formalization of Complete Discrete Valuation Rings and Lo..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
de Frutos-Fernández, María Inés ; Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo - p. 190-204 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A formal model of Coleman families and applications to Iwas..:

Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo ; Ochiai, Tadashi ; Ray, Jishnu
Annales mathématiques du Québec.  , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Formalization of Complete Discrete Valuation Rings and Lo..:

de Frutos-Fernández, María Inés ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998.  , 2024
Link: https://ujm.hal.science/..
 
?
4

Categorical Foundations of Formalized Condensed Mathematics:

Asgeirsson, Dagur ; Brasca, Riccardo ; Kuhn, Nikolas..
hal-04633614.  , 2024
Link: https://hal.science/hal-..
 
?
5

Categorical Foundations of Formalized Condensed Mathematics:

Asgeirsson, Dagur ; Brasca, Riccardo ; Kuhn, Nikolas..
hal-04633614.  , 2024
Link: https://hal.science/hal-..
 
?
6

Structure of fine Selmer groups in abelian p-adic Lie exten..:

Kundu, Debanjana ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo ; Ramdorai, Sujatha
https://scholarworks.utrgv.edu/mss_fac/491.  , 2024
Link: https://scholarworks.utr..
 
?
7

Structure of fine Selmer groups in abelian p-adic Lie exten..:

Kundu, Debanjana ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo ; Ramdorai, Sujatha
info:eu-repo/semantics/altIdentifier/arxiv/2304.10938.  , 2024
Link: https://cnrs.hal.science..
 
?
8

Introduction à la Science Ouverte:

Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604.  , 2024
Link: https://ujm.hal.science/..
 
?
9

A Formalization of Complete Discrete Valuation Rings and Lo..:

de Frutos-Fernández, María Inés ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998.  , 2024
Link: https://ujm.hal.science/..
 
?
10

A Formalization of Complete Discrete Valuation Rings and Lo..:

de Frutos-Fernández, María Inés ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998.  , 2024
Link: https://ujm.hal.science/..
 
?
11

Introduction à la Science Ouverte:

Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604.  , 2024
Link: https://ujm.hal.science/..
 
?
12

Structure of fine Selmer groups in abelian p-adic Lie exten..:

Kundu, Debanjana ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo ; Ramdorai, Sujatha
info:eu-repo/semantics/altIdentifier/arxiv/2304.10938.  , 2024
Link: https://cnrs.hal.science..
 
?
13

Categorical Foundations of Formalized Condensed Mathematics:

Asgeirsson, Dagur ; Brasca, Riccardo ; Kuhn, Nikolas..
hal-04633614.  , 2024
Link: https://hal.science/hal-..
 
?
14

A Formalization of Complete Discrete Valuation Rings and Lo..:

de Frutos-Fernández, María Inés ; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998.  , 2024
Link: https://ujm.hal.science/..
 
?
15

Introduction à la Science Ouverte:

Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604.  , 2024
Link: https://ujm.hal.science/..
 
1-15