Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Baanen, Anne; Dahmen, Sander R.; Narayanan, Ashvni; Nuccio Mortarino Majno di Capriglio, Filippo A. E.

A formalization of Dedekind domains and class groups of global fields. (English) Zbl 1524.68428

J. Autom. Reasoning 66, No. 4, 611-637 (2022).

MSC: 68V20 11R29 13C20 13F05

Cite Review PDF

Full Text: DOI arXiv

OA License

Baanen, Anne; Dahmen, Sander R.; Narayanan, Ashvni; Nuccio Mortarino Majno di Capriglio, Filippo A. E.

A formalization of Dedekind domains and class groups of global fields. (English) Zbl 1523.68167

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 5, 19 p. (2021).

MSC: 68V20 11R29 13C20 13F05

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (1)
Collection Articles (1)

Author

Baanen, Anne (2)
Dahmen, Sander R. (2)
Narayanan, Ashvni (2)
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo (2)

Year of Publication

2022 (1)
2021 (1)

Main Field

11-XX (2)
13-XX (2)
68-XX (2)

all top 3