Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  16 results for ""Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo""

Your Filters

Collection : Universite Jean Monnet - Saint-Etienne Language : abkhazian Language : bokm�l, norwegian Language : english Language : french Language : hindi Language : kazakh Language : marshallese Language : swedish Language : tsonga Filter by : Author
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom

Record details

Read More Add to Saved list
×
Academic Journal

Structure of fine Selmer groups in abelian p-adic Lie extensions

Subjects: Elliptic Curve; Selmer group; Generalized Greenberg's Conjecture

  • Source: ISSN: 0030-6126 ; Osaka Journal of Mathematics ; https://cnrs.hal.science/hal-03769801 ; Osaka Journal of Mathematics, 2024, 61 (1.

Record details

Read More Add to Saved list
×
Academic Journal

Structure of fine Selmer groups in abelian p-adic Lie extensions

Subjects: Elliptic Curve; Selmer group; Generalized Greenberg's Conjecture

  • Source: ISSN: 0030-6126 ; Osaka Journal of Mathematics ; https://cnrs.hal.science/hal-03769801 ; Osaka Journal of Mathematics, 2024, 61 (1.

Record details

Read More Add to Saved list
×
Academic Journal

Residual supersingular Iwasawa theory and signed Iwasawa invariants

Subjects: [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

  • Source: ISSN: 0041-8994.

Record details

Read More Add to Saved list
×
Academic Journal

A formal model of Coleman families and applications to Iwasawa invariants

Subjects: fine Selmer group; Iwasawa invariants; Coleman family

  • Source: ISSN: 2195-4755.

Record details

Read More Add to Saved list
×
Academic Journal

Cohomology of normic systems and fake $Z_p$ extensions

Subjects: [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

  • Source: ISSN: 1076-9803 ; New York Journal of Mathematics ; https://hal.science/hal-04056144 ; New York Journal of Mathematics, 2023, 29, pp.1196-1272.

Record details

Read More Add to Saved list
×
Report

Cohomology of normic systems and fake Z_p extensions

Subjects: [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

  • Source: https://hal.science/hal-04056144 ; 2023.

Record details

Read More Add to Saved list
×
Academic Journal

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

  • Source: ISSN: 0168-7433.

Record details

Read More Add to Saved list
×

Introduction à la Science Ouverte

Subjects: [SHS.INFO]Humanities and Social Sciences/Library and information sciencesSaint-Étienne (Université Jean Monnet); France

  • Source: https://ujm.hal.science/ujm-04487604 ; Doctorat. Introduction à la Science Ouverte, Saint-Étienne (Université Jean Monnet), France. 2024 ; Introduction à la Science Ouverte.

Record details

Read More Add to Saved list
×
  • 1-10 of  16 results for ""Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo""