CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.592
NA - Nord America 2.393
AS - Asia 1.993
SA - Sud America 335
Continente sconosciuto - Info sul continente non disponibili 146
AF - Africa 63
OC - Oceania 8
Totale 7.530
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.338
RU - Federazione Russa 1.123
SG - Singapore 915
CN - Cina 453
GB - Regno Unito 415
BR - Brasile 251
IT - Italia 244
HK - Hong Kong 225
DE - Germania 182
FR - Francia 163
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.387
Salva come PNG Salva come JPEG
Città #
Singapore 367
Moscow 363
Southend 363
Ashburn 344
Hong Kong 224
San Jose 215
Dallas 210
Woodbridge 146
Dublin 126
Ann Arbor 114
Chandler 108
Beijing 102
The Dalles 99
Houston 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 24
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
Phoenix 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
Shanghai 5
Bari 4
Falkenstein 4
Guayaquil 4
Hải Dương 4
Multan 4
Nairobi 4
Totale 4.213
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 205
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 204
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 197
Constructing Gröbner bases for Noetherian rings 179
Concepts of Proof in Mathematics, Philosophy, and Computer Science 175
Are There Enough Injective Sets? 167
A General Extension Theorem for Directed-Complete Partial Orders 162
Eliminating disjunctions by disjunction elimination 160
Der Satz von Hahn-Banach per Disjunktionselimination 160
`A direct proof of Wiener's theorem' 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 151
`The shrinking principle and the axiom of choice' 148
Preface 147
A General Glivenko–Gödel Theorem for Nuclei 146
A generalised cut characterisation of the fullness axiom in CZF 144
The Basic Zariski Topology 144
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 141
`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
Logic, Construction, Computation 129
The Computational Significance of Hausdorff’s Maximal Chain Principle 129
Lindenbaum’s Lemma via Open Induction 128
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 112
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 108
Noetherian orders 107
The Jacobson Radical of a Propositional Theory 106
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 106
CONSERVATION AS TRANSLATION 104
The Kripke schema in metric topology 104
An iterative constructive Hilbert basis theorem 102
The Jacobson radical for an inconsistency predicate 99
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
Unique paths as formal points 93
Preface 93
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
Radical theory of Scott-open filters 83
Preface 81
Uniqueness, continuity and the existence of implicit functions in constructive analysis 76
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 58
Finitely generated Banach algebras and local Nullstellensätze 50
Well quasi-orders, better quasi-orders, and monomial ideals 41
null 9
Totale 7.530
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.669
article - articoli 15.996
book - libri 0
conference - conferenze 4.810
curatela - curatele 2.946
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.917
Totale 53.338
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022227 0 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
2026/202733 23 10 0 0 0 0 0 0 0 0 0 0
Totale 7.530