CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.692
EU - Europa 2.575
AS - Asia 1.972
SA - Sud America 340
Continente sconosciuto - Info sul continente non disponibili 145
AF - Africa 63
OC - Oceania 8
Totale 7.795
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.626
RU - Federazione Russa 1.106
SG - Singapore 899
CN - Cina 439
GB - Regno Unito 412
BR - Brasile 255
IT - Italia 254
HK - Hong Kong 220
DE - Germania 183
FR - Francia 162
SE - Svezia 138
IE - Irlanda 127
VN - Vietnam 102
BD - Bangladesh 75
FI - Finlandia 72
KR - Corea 55
CA - Canada 31
IN - India 29
AR - Argentina 28
UA - Ucraina 28
JP - Giappone 25
TR - Turchia 21
EC - Ecuador 19
MX - Messico 19
PK - Pakistan 19
PL - Polonia 15
IQ - Iraq 14
NL - Olanda 14
BE - Belgio 13
ZA - Sudafrica 12
BG - Bulgaria 11
ID - Indonesia 11
VE - Venezuela 11
ES - Italia 10
CO - Colombia 9
NG - Nigeria 8
PH - Filippine 8
TG - Togo 8
BJ - Benin 7
CL - Cile 7
TN - Tunisia 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
AU - Australia 6
KE - Kenya 6
SA - Arabia Saudita 6
IL - Israele 5
LT - Lituania 5
MA - Marocco 5
PY - Paraguay 5
CH - Svizzera 4
HN - Honduras 4
OM - Oman 4
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
IR - Iran 3
NP - Nepal 3
PE - Perù 3
PS - Palestinian Territory 3
RS - Serbia 3
SN - Senegal 3
AD - Andorra 2
BB - Barbados 2
BS - Bahamas 2
CG - Congo 2
DK - Danimarca 2
DZ - Algeria 2
ET - Etiopia 2
EU - Europa 2
JM - Giamaica 2
JO - Giordania 2
LV - Lettonia 2
MY - Malesia 2
NI - Nicaragua 2
PT - Portogallo 2
QA - Qatar 2
RO - Romania 2
TW - Taiwan 2
AM - Armenia 1
AT - Austria 1
BO - Bolivia 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GE - Georgia 1
GF - Guiana Francese 1
HU - Ungheria 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
LY - Libia 1
MM - Myanmar 1
MT - Malta 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PG - Papua Nuova Guinea 1
PR - Porto Rico 1
UY - Uruguay 1
Totale 7.652
Salva come PNG Salva come JPEG
Città #
Ashburn 420
Singapore 358
Moscow 356
Southend 355
San Jose 251
Dallas 235
Hong Kong 220
Woodbridge 146
Dublin 125
Ann Arbor 114
Council Bluffs 109
Chandler 107
Beijing 100
The Dalles 98
Verona 93
Jacksonville 91
Houston 89
Munich 68
Los Angeles 51
Lawrence 50
Princeton 50
Santa Clara 43
New York 36
Wilmington 33
Hanoi 31
Nanjing 29
Ho Chi Minh City 27
Redondo Beach 26
Seattle 26
Milan 24
Buffalo 19
Chicago 19
Columbus 19
Helsinki 19
Tokyo 18
Jinan 17
Shenyang 17
São Paulo 16
Sindelfingen 14
Warsaw 14
Toronto 13
Brussels 11
Hebei 11
Tianjin 11
Amsterdam 10
Belo Horizonte 10
Brooklyn 10
London 10
Nanchang 10
Nuremberg 10
Orem 10
Quito 10
Ankara 9
Brasília 9
Redmond 9
Rio de Janeiro 9
Abuja 8
Baghdad 8
Changsha 8
Guangzhou 8
Haiphong 8
Hangzhou 8
Lomé 8
Norwalk 8
Taizhou 8
Washington 8
Atlanta 7
Cotonou 7
Denver 7
Montreal 7
Phoenix 7
Tashkent 7
Turku 7
Boardman 6
Caracas 6
Chennai 6
Curitiba 6
Da Nang 6
Dhaka 6
Edinburgh 6
Fairfield 6
Frankfurt am Main 6
Guarulhos 6
Mexico City 6
Poplar 6
Redwood City 6
Zhengzhou 6
Guayaquil 5
Haikou 5
Jiaxing 5
Johannesburg 5
Manchester 5
McKinney 5
Rome 5
San Francisco 5
Shanghai 5
Stockholm 5
Bari 4
Bologna 4
Charenton-le-Pont 4
Totale 4.370
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 216
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 215
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 205
Are There Enough Injective Sets? 192
Constructing Gröbner bases for Noetherian rings 190
Concepts of Proof in Mathematics, Philosophy, and Computer Science 179
`A direct proof of Wiener's theorem' 170
A General Extension Theorem for Directed-Complete Partial Orders 169
Eliminating disjunctions by disjunction elimination 167
Der Satz von Hahn-Banach per Disjunktionselimination 167
`The shrinking principle and the axiom of choice' 163
Suzumura consistency, an alternative approach 158
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 156
A predicative completion of a uniform space 156
A General Glivenko–Gödel Theorem for Nuclei 154
Preface 152
A generalised cut characterisation of the fullness axiom in CZF 151
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 150
The Basic Zariski Topology 148
A General Constructive Form of Higman’s Lemma 143
`Induction in algebra: a first case study' 143
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 138
The Computational Significance of Hausdorff’s Maximal Chain Principle 138
Lindenbaum’s Lemma via Open Induction 134
Logic, Construction, Computation 134
Modal logic for induction 134
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 132
Dynamic evaluation of integrity and the computational content of Krull's lemma 126
Maximal Ideals in Countable Rings, Constructively 123
Some forms of excluded middle for linear orders 122
Resolving finite indeterminacy 120
Induction in Algebra: a First Case Study 118
The Jacobson Radical of a Propositional Theory 116
Minima and best approximations in constructive analysis 114
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 113
An iterative constructive Hilbert basis theorem 109
Noetherian orders 109
The Kripke schema in metric topology 109
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 109
The Jacobson radical for an inconsistency predicate 108
CONSERVATION AS TRANSLATION 108
The Gröbner ring conjecture in one variable 105
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 104
Syntax for Semantics: Krull’s Maximal Ideal Theorem 101
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 100
A universal algorithm for Krull's theorem 98
Radical theory of Scott-open filters 96
Unique paths as formal points 96
Preface 96
Mathesis Universalis, Computability and Proof 95
Reifying dynamical algebra: Maximal ideals in countable rings, constructively 95
On the contrapositive of countable choice 90
On Scott’s semantics for many-valued logic 90
Preface 89
Finite methods in mathematical practice. 88
Uniqueness, continuity and the existence of implicit functions in constructive analysis 87
Preface 83
Preface for the special issue of Proof, Structure, and Computation 2014 75
Preface 74
Mathematics for Computation (M4C) 69
Finitely generated Banach algebras and local Nullstellensätze 55
Well quasi-orders, better quasi-orders, and monomial ideals 51
Totale 7.795
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.627
article - articoli 16.316
book - libri 0
conference - conferenze 5.110
curatela - curatele 3.115
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.086
Totale 55.254
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022182 0 0 0 3 11 2 18 34 11 10 20 73
2022/2023662 57 45 70 110 58 179 5 39 71 3 15 10
2023/2024428 17 20 28 38 47 39 28 73 16 33 59 30
2024/20251.401 65 107 23 203 33 30 88 92 160 171 180 249
2025/20263.339 235 162 243 590 896 128 307 191 221 147 80 139
2026/2027453 23 99 95 236 0 0 0 0 0 0 0 0
Totale 7.795