CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.588
NA - Nord America 2.374
AS - Asia 1.984
SA - Sud America 334
AF - Africa 63
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.354
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.319
RU - Federazione Russa 1.123
SG - Singapore 909
CN - Cina 451
GB - Regno Unito 415
BR - Brasile 250
IT - Italia 241
HK - Hong Kong 224
DE - Germania 182
FR - Francia 162
SE - Svezia 140
IE - Irlanda 128
VN - Vietnam 101
FI - Finlandia 74
BD - Bangladesh 72
KR - Corea 55
UA - Ucraina 30
AR - Argentina 29
IN - India 28
CA - Canada 27
JP - Giappone 22
TR - Turchia 22
MX - Messico 19
PK - Pakistan 18
EC - Ecuador 17
PL - Polonia 16
IQ - Iraq 14
NL - Olanda 14
BE - Belgio 13
ZA - Sudafrica 12
BG - Bulgaria 11
ID - Indonesia 11
VE - Venezuela 11
CO - Colombia 10
ES - Italia 10
NG - Nigeria 8
TG - Togo 8
BJ - Benin 7
PH - Filippine 7
TN - Tunisia 7
UZ - Uzbekistan 7
AU - Australia 6
CL - Cile 6
KE - Kenya 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
LT - Lituania 5
MA - Marocco 5
PY - Paraguay 5
OM - Oman 4
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
DZ - Algeria 3
IL - Israele 3
IR - Iran 3
NP - Nepal 3
PE - Perù 3
PS - Palestinian Territory 3
RS - Serbia 3
SN - Senegal 3
AD - Andorra 2
ET - Etiopia 2
EU - Europa 2
JM - Giamaica 2
JO - Giordania 2
LV - Lettonia 2
MY - Malesia 2
PT - Portogallo 2
RO - Romania 2
TW - Taiwan 2
AM - Armenia 1
AT - Austria 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
CG - Congo 1
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GF - Guiana Francese 1
HN - Honduras 1
HU - Ungheria 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
QA - Qatar 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.354
Salva come PNG Salva come JPEG
Città #
Singapore 365
Moscow 363
Southend 363
Ashburn 339
Hong Kong 223
San Jose 215
Dallas 209
Woodbridge 146
Dublin 126
Ann Arbor 114
Chandler 108
Beijing 101
Houston 98
The Dalles 98
Verona 96
Jacksonville 95
Munich 70
Council Bluffs 58
Los Angeles 54
Lawrence 51
Princeton 51
New York 35
Santa Clara 35
Wilmington 34
Hanoi 30
Nanjing 29
Ho Chi Minh City 26
Redondo Beach 26
Seattle 26
Milan 23
Buffalo 20
Columbus 19
Helsinki 19
Shenyang 19
Jinan 17
São Paulo 15
Tokyo 15
Chicago 14
Sindelfingen 14
Warsaw 14
Tianjin 13
Brussels 11
Hebei 11
Amsterdam 10
Belo Horizonte 10
London 10
Nanchang 10
Nuremberg 10
Orem 10
Toronto 10
Ankara 9
Brasília 9
Changsha 9
Quito 9
Redmond 9
Abuja 8
Baghdad 8
Brooklyn 8
Guangzhou 8
Haiphong 8
Hangzhou 8
Lomé 8
Norwalk 8
Rio de Janeiro 8
Taizhou 8
Boardman 7
Chennai 7
Cotonou 7
Da Nang 7
Montreal 7
Tashkent 7
Turku 7
Washington 7
Atlanta 6
Caracas 6
Dhaka 6
Edinburgh 6
Frankfurt am Main 6
Guarulhos 6
Mexico City 6
Poplar 6
Redwood City 6
San Francisco 6
Stockholm 6
Zhengzhou 6
Curitiba 5
Denver 5
Fairfield 5
Haikou 5
Jiaxing 5
Johannesburg 5
Manchester 5
Phoenix 5
Shanghai 5
Bari 4
Falkenstein 4
Guayaquil 4
Hải Dương 4
Multan 4
Nairobi 4
Totale 4.200
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 204
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 203
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 197
Constructing Gröbner bases for Noetherian rings 178
Concepts of Proof in Mathematics, Philosophy, and Computer Science 175
Are There Enough Injective Sets? 166
A General Extension Theorem for Directed-Complete Partial Orders 162
Eliminating disjunctions by disjunction elimination 160
`A direct proof of Wiener's theorem' 159
Der Satz von Hahn-Banach per Disjunktionselimination 159
Suzumura consistency, an alternative approach 154
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 152
A predicative completion of a uniform space 150
`The shrinking principle and the axiom of choice' 148
Preface 146
A General Glivenko–Gödel Theorem for Nuclei 145
A generalised cut characterisation of the fullness axiom in CZF 144
The Basic Zariski Topology 142
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 140
`Induction in algebra: a first case study' 138
A General Constructive Form of Higman’s Lemma 136
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 132
Modal logic for induction 130
Lindenbaum’s Lemma via Open Induction 128
Logic, Construction, Computation 128
The Computational Significance of Hausdorff’s Maximal Chain Principle 127
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 124
Dynamic evaluation of integrity and the computational content of Krull's lemma 120
Some forms of excluded middle for linear orders 117
Resolving finite indeterminacy 116
Maximal Ideals in Countable Rings, Constructively 112
Induction in Algebra: a First Case Study 111
Minima and best approximations in constructive analysis 109
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 107
Noetherian orders 106
The Jacobson Radical of a Propositional Theory 106
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 106
The Kripke schema in metric topology 104
CONSERVATION AS TRANSLATION 101
An iterative constructive Hilbert basis theorem 101
The Jacobson radical for an inconsistency predicate 98
The Gröbner ring conjecture in one variable 96
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 96
Syntax for Semantics: Krull’s Maximal Ideal Theorem 96
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 95
A universal algorithm for Krull's theorem 94
Preface 93
Unique paths as formal points 92
Uniqueness, continuity, and existence of implicit functions in constructive analysis 89
Reifying dynamical algebra: Maximal ideals in countable rings, constructively 89
Preface 87
Finite methods in mathematical practice. 86
On the contrapositive of countable choice 85
On Scott’s semantics for many-valued logic 85
Mathesis Universalis, Computability and Proof 84
Preface 81
Radical theory of Scott-open filters 78
Uniqueness, continuity and the existence of implicit functions in constructive analysis 74
Preface for the special issue of Proof, Structure, and Computation 2014 69
Preface 67
Mathematics for Computation (M4C) 65
The Jacobson radical for an inconsistency predicate 57
Finitely generated Banach algebras and local Nullstellensätze 49
Well quasi-orders, better quasi-orders, and monomial ideals 40
null 9
Totale 7.497
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.757
article - articoli 15.423
book - libri 0
conference - conferenze 4.645
curatela - curatele 2.860
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.829
Totale 51.514
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20251.432 68 108 24 210 35 31 91 94 164 173 181 253
2025/20263.404 241 165 247 600 906 131 316 194 229 151 81 143
Totale 7.497