Sfoglia per Autore
Finite methods in mathematical practice.
2014-01-01 Schuster, Peter Michael; Crosilla, Laura
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE
2014-01-01 Bruni, Riccardo; Schuster, Peter Michael
Constructing Gröbner bases for Noetherian rings
2014-01-01 Perdry, Hervé; Schuster, Peter Michael
The Basic Zariski Topology
2015-01-01 Schuster, Peter Michael; Rinaldi, Davide; Sambin, Giovanni
Preface
2016-01-01 Coquand, Thierry; Maietti, Maria Emilia; Sambin, Giovanni; Schuster, Peter Michael
Lindenbaum’s Lemma via Open Induction
2016-01-01 Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter Michael
Concepts of Proof in Mathematics, Philosophy, and Computer Science
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Preface for the special issue of Proof, Structure, and Computation 2014
2016-01-01 Pattinson, Dirk; Schuster, Peter; Sokolova, Ana
A universal Krull–Lindenbaum theorem
2016-01-01 Rinaldi, Davide; Schuster, Peter Michael
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
2017-01-01 Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel
Preface
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur
Suzumura consistency, an alternative approach
2018-01-01 Schuster, Peter Michael; Wessel, Daniel
Eliminating disjunctions by disjunction elimination
2018-01-01 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
A General Extension Theorem for Directed-Complete Partial Orders
2018-01-01 Schuster, P; Wessel, D
Mathesis Universalis, Computability and Proof
2019-01-01 Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra
2019-01-01 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
Der Satz von Hahn-Banach per Disjunktionselimination
2019-01-01 Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel
Some forms of excluded middle for linear orders
2019-01-01 Schuster, Peter; Wessel, Daniel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Finite methods in mathematical practice. | 1-gen-2014 | Schuster, Peter Michael; Crosilla, Laura | |
| APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE | 1-gen-2014 | Bruni, Riccardo; Schuster, Peter Michael | |
| Constructing Gröbner bases for Noetherian rings | 1-gen-2014 | Perdry, Hervé; Schuster, Peter Michael | |
| The Basic Zariski Topology | 1-gen-2015 | Schuster, Peter Michael; Rinaldi, Davide; Sambin, Giovanni | |
| Preface | 1-gen-2016 | Coquand, Thierry; Maietti, Maria Emilia; Sambin, Giovanni; Schuster, Peter Michael | |
| Lindenbaum’s Lemma via Open Induction | 1-gen-2016 | Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter Michael | |
| Concepts of Proof in Mathematics, Philosophy, and Computer Science | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Preface for the special issue of Proof, Structure, and Computation 2014 | 1-gen-2016 | Pattinson, Dirk; Schuster, Peter; Sokolova, Ana | |
| A universal Krull–Lindenbaum theorem | 1-gen-2016 | Rinaldi, Davide; Schuster, Peter Michael | |
| ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION | 1-gen-2017 | Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel | |
| Preface | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur | |
| Suzumura consistency, an alternative approach | 1-gen-2018 | Schuster, Peter Michael; Wessel, Daniel | |
| Eliminating disjunctions by disjunction elimination | 1-gen-2018 | Rinaldi, Davide; Schuster, Peter; Wessel, Daniel | |
| Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
| A General Extension Theorem for Directed-Complete Partial Orders | 1-gen-2018 | Schuster, P; Wessel, D | |
| Mathesis Universalis, Computability and Proof | 1-gen-2019 | Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter | |
| An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra | 1-gen-2019 | Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus | |
| Der Satz von Hahn-Banach per Disjunktionselimination | 1-gen-2019 | Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel | |
| Some forms of excluded middle for linear orders | 1-gen-2019 | Schuster, Peter; Wessel, Daniel |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile