CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.554
NA - Nord America 2.225
AS - Asia 1.928
SA - Sud America 329
AF - Africa 63
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.110
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.177
RU - Federazione Russa 1.123
SG - Singapore 904
CN - Cina 451
GB - Regno Unito 415
BR - Brasile 249
HK - Hong Kong 223
IT - Italia 213
DE - Germania 181
FR - Francia 160
SE - Svezia 140
IE - Irlanda 127
VN - Vietnam 101
FI - Finlandia 74
KR - Corea 55
UA - Ucraina 30
IN - India 28
AR - Argentina 27
CA - Canada 24
BD - Bangladesh 23
JP - Giappone 22
TR - Turchia 22
PK - Pakistan 18
MX - Messico 17
PL - Polonia 16
EC - Ecuador 15
NL - Olanda 14
BE - Belgio 13
IQ - Iraq 13
ZA - Sudafrica 12
BG - Bulgaria 11
ID - Indonesia 11
VE - Venezuela 11
CO - Colombia 10
ES - Italia 9
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
ET - Etiopia 2
EU - Europa 2
JO - Giordania 2
LV - Lettonia 2
MY - Malesia 2
PT - Portogallo 2
RO - Romania 2
TW - Taiwan 2
AD - Andorra 1
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
JM - Giamaica 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
QA - Qatar 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.110
Salva come PNG Salva come JPEG
Città #
Singapore 364
Moscow 363
Southend 363
Ashburn 328
Hong Kong 222
Dallas 208
San Jose 190
Woodbridge 146
Dublin 125
Ann Arbor 114
Chandler 108
Beijing 101
The Dalles 98
Houston 97
Verona 96
Jacksonville 94
Munich 70
Lawrence 51
Los Angeles 51
Princeton 51
Wilmington 34
Santa Clara 31
Hanoi 30
Nanjing 29
Ho Chi Minh City 26
Redondo Beach 26
Seattle 26
New York 23
Columbus 19
Helsinki 19
Shenyang 19
Buffalo 17
Jinan 17
Milan 17
São Paulo 15
Tokyo 15
Sindelfingen 14
Warsaw 14
Tianjin 13
Chicago 12
Brussels 11
Hebei 11
Amsterdam 10
Belo Horizonte 10
Council Bluffs 10
London 10
Nanchang 10
Nuremberg 10
Orem 10
Ankara 9
Brasília 9
Changsha 9
Redmond 9
Toronto 9
Abuja 8
Baghdad 8
Guangzhou 8
Haiphong 8
Hangzhou 8
Lomé 8
Norwalk 8
Quito 8
Rio de Janeiro 8
Taizhou 8
Brooklyn 7
Chennai 7
Cotonou 7
Da Nang 7
Montreal 7
Tashkent 7
Turku 7
Washington 7
Atlanta 6
Boardman 6
Caracas 6
Dhaka 6
Edinburgh 6
Frankfurt am Main 6
Guarulhos 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
Falkenstein 4
Hải Dương 4
Mexico City 4
Multan 4
Nairobi 4
Ningbo 4
Nürnberg 4
Totale 4.074
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 201
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 201
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 193
Constructing Gröbner bases for Noetherian rings 177
Concepts of Proof in Mathematics, Philosophy, and Computer Science 169
A General Extension Theorem for Directed-Complete Partial Orders 159
Eliminating disjunctions by disjunction elimination 158
Der Satz von Hahn-Banach per Disjunktionselimination 157
`A direct proof of Wiener's theorem' 155
Suzumura consistency, an alternative approach 151
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 150
A predicative completion of a uniform space 149
`The shrinking principle and the axiom of choice' 145
Are There Enough Injective Sets? 143
A generalised cut characterisation of the fullness axiom in CZF 141
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 136
A General Constructive Form of Higman’s Lemma 134
A General Glivenko–Gödel Theorem for Nuclei 134
`Induction in algebra: a first case study' 133
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 132
The Computational Significance of Hausdorff’s Maximal Chain Principle 126
Lindenbaum’s Lemma via Open Induction 125
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 122
Logic, Construction, Computation 122
Modal logic for induction 122
Dynamic evaluation of integrity and the computational content of Krull's lemma 120
The Basic Zariski Topology 119
Some forms of excluded middle for linear orders 115
Resolving finite indeterminacy 115
Preface 109
Minima and best approximations in constructive analysis 108
Maximal Ideals in Countable Rings, Constructively 105
Induction in Algebra: a First Case Study 105
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 105
The Jacobson Radical of a Propositional Theory 105
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 104
Noetherian orders 103
The Kripke schema in metric topology 103
An iterative constructive Hilbert basis theorem 99
The Jacobson radical for an inconsistency predicate 98
CONSERVATION AS TRANSLATION 97
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 94
A universal algorithm for Krull's theorem 94
Syntax for Semantics: Krull’s Maximal Ideal Theorem 93
Preface 93
The Gröbner ring conjecture in one variable 92
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 92
Unique paths as formal points 91
On the contrapositive of countable choice 85
Finite methods in mathematical practice. 85
Uniqueness, continuity, and existence of implicit functions in constructive analysis 85
Preface 85
Mathesis Universalis, Computability and Proof 84
On Scott’s semantics for many-valued logic 83
Reifying dynamical algebra: Maximal ideals in countable rings, constructively 79
Radical theory of Scott-open filters 78
Preface 76
Uniqueness, continuity and the existence of implicit functions in constructive analysis 74
Preface 65
Mathematics for Computation (M4C) 64
Preface for the special issue of Proof, Structure, and Computation 2014 64
The Jacobson radical for an inconsistency predicate 56
Finitely generated Banach algebras and local Nullstellensätze 49
Well quasi-orders, better quasi-orders, and monomial ideals 38
null 9
Totale 7.253
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.314
article - articoli 14.553
book - libri 0
conference - conferenze 4.404
curatela - curatele 2.696
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.661
Totale 48.628
Salva come PNG Salva come JPEG


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