CATALOGO DEI PRODOTTI DELLA RICERCA

Schuster, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.280
NA - Nord America 1.151
AS - Asia 505
AF - Africa 12
OC - Oceania 6
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.961
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.142
GB - Regno Unito 379
CN - Cina 297
SG - Singapore 169
RU - Federazione Russa 168
FR - Francia 142
SE - Svezia 134
IE - Irlanda 126
DE - Germania 113
IT - Italia 97
FI - Finlandia 63
UA - Ucraina 22
BE - Belgio 12
BG - Bulgaria 9
CA - Canada 9
HK - Hong Kong 9
TG - Togo 8
JP - Giappone 6
TR - Turchia 6
AU - Australia 5
CH - Svizzera 4
PK - Pakistan 4
AR - Argentina 3
BA - Bosnia-Erzegovina 3
IR - Iran 3
ZA - Sudafrica 3
BR - Brasile 2
EU - Europa 2
ID - Indonesia 2
IN - India 2
LT - Lituania 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
DK - Danimarca 1
HU - Ungheria 1
IQ - Iraq 1
LV - Lettonia 1
MA - Marocco 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PL - Polonia 1
RO - Romania 1
UZ - Uzbekistan 1
Totale 2.961
Salva come PNG Salva come JPEG
Città #
Southend 363
Woodbridge 146
Singapore 127
Dublin 123
Ann Arbor 114
Chandler 108
Ashburn 103
Houston 94
Jacksonville 93
Beijing 60
Lawrence 51
Princeton 51
Wilmington 34
Nanjing 29
Santa Clara 24
Verona 24
Munich 23
Seattle 23
Shenyang 18
Jinan 17
Helsinki 16
Sindelfingen 14
Brussels 11
Hebei 11
Milan 11
New York 11
Nanchang 10
Hong Kong 9
Redmond 9
Lomé 8
Los Angeles 8
Norwalk 8
Taizhou 8
Tianjin 8
Hangzhou 7
Toronto 7
Changsha 6
Redwood City 6
Washington 6
Ankara 5
Boardman 5
Fairfield 5
Guangzhou 5
Haikou 5
Zhengzhou 5
Chicago 4
Jiaxing 4
Moscow 4
Ningbo 4
Nuremberg 4
Nürnberg 4
Aix-en-Provence 3
Castelfranco Veneto 3
Clearwater 3
Dallas 3
Dongguan 3
Edinburgh 3
Lanzhou 3
Marseille 3
Melbourne 3
Multan 3
Shirako 3
Taiyuan 3
Brugherio 2
Cambridge 2
Canberra 2
Florence 2
Jakarta 2
Lazise 2
Leawood 2
Nantes 2
New Taipei 2
Noordwyk 2
North Bergen 2
Novokuznetsk 2
San Francisco 2
Thiene 2
West Jordan 2
Wuhan 2
Zurich 2
Acton 1
Ashford 1
Atlanta 1
Auckland 1
Augsburg 1
Baku 1
Beauharnois 1
Bergamo 1
Boulogne-Billancourt 1
Boydton 1
Bucharest 1
Castiglione Olona 1
Chaoyang 1
Columbus 1
Crotone 1
Dalian 1
Delhi 1
Derazhnya 1
Düsseldorf 1
Ghent 1
Totale 1.943
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 110
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 107
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 98
Concepts of Proof in Mathematics, Philosophy, and Computer Science 93
Suzumura consistency, an alternative approach 85
Der Satz von Hahn-Banach per Disjunktionselimination 75
`A direct proof of Wiener's theorem' 74
Logic, Construction, Computation 74
Are There Enough Injective Sets? 73
Constructing Gröbner bases for Noetherian rings 72
`Induction in algebra: a first case study' 72
`The shrinking principle and the axiom of choice' 67
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 67
Lindenbaum’s Lemma via Open Induction 66
Induction in Algebra: a First Case Study 66
The Basic Zariski Topology 66
Eliminating disjunctions by disjunction elimination 65
A predicative completion of a uniform space 64
A generalised cut characterisation of the fullness axiom in CZF 64
Unique paths as formal points 59
A General Extension Theorem for Directed-Complete Partial Orders 57
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 56
The Gröbner ring conjecture in one variable 55
Uniqueness, continuity, and existence of implicit functions in constructive analysis 55
Minima and best approximations in constructive analysis 54
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 54
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 53
The Kripke schema in metric topology 52
Finite methods in mathematical practice. 50
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 50
The Computational Significance of Hausdorff’s Maximal Chain Principle 50
Some forms of excluded middle for linear orders 48
Preface 47
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 47
On the contrapositive of countable choice 45
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 45
Noetherian orders 44
Preface 44
Dynamic evaluation of integrity and the computational content of Krull's lemma 44
Preface 44
Preface 43
Mathesis Universalis, Computability and Proof 41
Syntax for Semantics: Krull’s Maximal Ideal Theorem 41
Resolving finite indeterminacy 38
Modal logic for induction 37
A General Glivenko–Gödel Theorem for Nuclei 34
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 32
Uniqueness, continuity and the existence of implicit functions in constructive analysis 32
The Jacobson Radical of a Propositional Theory 32
Preface for the special issue of Proof, Structure, and Computation 2014 31
A General Constructive Form of Higman’s Lemma 28
The Jacobson radical for an inconsistency predicate 28
A universal algorithm for Krull's theorem 27
Maximal Ideals in Countable Rings, Constructively 26
On Scott’s semantics for many-valued logic 26
Preface 24
Radical theory of Scott-open filters 16
Mathematics for Computation (M4C) 14
Finitely generated Banach algebras and local Nullstellensätze 9
null 9
The Jacobson radical for an inconsistency predicate 8
Totale 3.087
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.322
article - articoli 7.819
book - libri 0
conference - conferenze 2.356
curatela - curatele 1.602
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.545
Totale 26.644
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020191 0 0 0 0 33 42 30 17 13 10 14 32
2020/2021251 14 38 11 46 24 39 11 10 16 11 29 2
2021/2022250 23 39 4 3 11 2 18 35 11 10 20 74
2022/2023672 58 45 72 111 58 181 5 39 73 3 17 10
2023/2024443 19 20 29 40 50 41 28 74 16 34 62 30
2024/2025426 68 108 24 210 16 0 0 0 0 0 0 0
Totale 3.087