CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.431
NA - Nord America 1.779
AS - Asia 1.579
SA - Sud America 286
AF - Africa 44
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.130
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.745
RU - Federazione Russa 1.122
SG - Singapore 748
CN - Cina 417
GB - Regno Unito 409
BR - Brasile 227
HK - Hong Kong 214
DE - Germania 171
FR - Francia 155
SE - Svezia 140
IT - Italia 129
IE - Irlanda 127
FI - Finlandia 73
VN - Vietnam 58
UA - Ucraina 29
KR - Corea 23
AR - Argentina 19
CA - Canada 19
JP - Giappone 18
BD - Bangladesh 15
TR - Turchia 14
BE - Belgio 13
IN - India 13
PL - Polonia 13
EC - Ecuador 12
BG - Bulgaria 10
ID - Indonesia 9
MX - Messico 9
ZA - Sudafrica 9
CO - Colombia 8
NL - Olanda 8
PK - Pakistan 8
TG - Togo 8
BJ - Benin 7
ES - Italia 7
IQ - Iraq 7
AU - Australia 6
UZ - Uzbekistan 6
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
CL - Cile 5
KE - Kenya 5
LT - Lituania 5
MA - Marocco 5
PY - Paraguay 5
TN - Tunisia 5
VE - Venezuela 5
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
IR - Iran 3
NP - Nepal 3
SA - Arabia Saudita 3
SN - Senegal 3
EU - Europa 2
LV - Lettonia 2
PE - Perù 2
PH - Filippine 2
RO - Romania 2
RS - Serbia 2
TW - Taiwan 2
AD - Andorra 1
AM - Armenia 1
AT - Austria 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GF - Guiana Francese 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
LB - Libano 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
PG - Papua Nuova Guinea 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.130
Salva come PNG Salva come JPEG
Città #
Moscow 363
Southend 363
Singapore 225
Hong Kong 214
Dallas 205
Ashburn 181
Woodbridge 146
Dublin 124
Ann Arbor 114
Chandler 108
Beijing 97
Houston 96
Jacksonville 93
Munich 70
The Dalles 53
Lawrence 51
Princeton 51
Los Angeles 49
Wilmington 34
Nanjing 29
Verona 28
Santa Clara 27
Redondo Beach 26
Seattle 24
Columbus 19
Ho Chi Minh City 19
New York 19
Shenyang 19
Helsinki 18
Buffalo 17
Jinan 17
Milan 17
Hanoi 15
Sindelfingen 14
São Paulo 13
Chicago 12
Tianjin 12
Warsaw 12
Brussels 11
Hebei 11
Tokyo 11
Council Bluffs 10
Nanchang 10
Belo Horizonte 9
Brasília 9
Changsha 9
London 9
Nuremberg 9
Redmond 9
Toronto 9
Hangzhou 8
Lomé 8
Norwalk 8
Taizhou 8
Amsterdam 7
Ankara 7
Brooklyn 7
Cotonou 7
Guangzhou 7
Rio de Janeiro 7
Turku 7
Washington 7
Atlanta 6
Edinburgh 6
Guarulhos 6
Quito 6
Redwood City 6
Stockholm 6
Tashkent 6
Zhengzhou 6
Baghdad 5
Boardman 5
Chennai 5
Curitiba 5
Denver 5
Dhaka 5
Fairfield 5
Haikou 5
Jiaxing 5
Montreal 5
Orem 5
Phoenix 5
Poplar 5
San Francisco 5
Da Nang 4
Falkenstein 4
Manchester 4
Nairobi 4
Ningbo 4
Nürnberg 4
Salvador 4
Aix-en-Provence 3
Baku 3
Castelfranco Veneto 3
Clearwater 3
Contagem 3
Dakar 3
Dongguan 3
Guayaquil 3
Haiphong 3
Totale 3.371
Salva come PNG Salva come JPEG
Nome #
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 184
A universal Krull–Lindenbaum theorem 183
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 169
Concepts of Proof in Mathematics, Philosophy, and Computer Science 155
Constructing Gröbner bases for Noetherian rings 152
Eliminating disjunctions by disjunction elimination 139
Der Satz von Hahn-Banach per Disjunktionselimination 139
`A direct proof of Wiener's theorem' 135
Suzumura consistency, an alternative approach 134
`The shrinking principle and the axiom of choice' 133
A General Extension Theorem for Directed-Complete Partial Orders 131
A predicative completion of a uniform space 128
A generalised cut characterisation of the fullness axiom in CZF 126
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 125
`Induction in algebra: a first case study' 125
Are There Enough Injective Sets? 123
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 117
A General Constructive Form of Higman’s Lemma 116
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 116
Logic, Construction, Computation 112
Lindenbaum’s Lemma via Open Induction 111
Dynamic evaluation of integrity and the computational content of Krull's lemma 111
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 110
A General Glivenko–Gödel Theorem for Nuclei 109
The Basic Zariski Topology 108
The Computational Significance of Hausdorff’s Maximal Chain Principle 104
Modal logic for induction 104
Resolving finite indeterminacy 100
Some forms of excluded middle for linear orders 99
Minima and best approximations in constructive analysis 96
The Kripke schema in metric topology 94
Induction in Algebra: a First Case Study 92
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 91
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 91
Noetherian orders 89
The Jacobson Radical of a Propositional Theory 88
Preface 86
Maximal Ideals in Countable Rings, Constructively 85
Preface 83
A universal algorithm for Krull's theorem 82
The Gröbner ring conjecture in one variable 81
The Jacobson radical for an inconsistency predicate 80
Unique paths as formal points 80
Preface 80
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 79
Finite methods in mathematical practice. 79
CONSERVATION AS TRANSLATION 78
An iterative constructive Hilbert basis theorem 77
On the contrapositive of countable choice 77
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 77
Syntax for Semantics: Krull’s Maximal Ideal Theorem 77
Uniqueness, continuity, and existence of implicit functions in constructive analysis 76
Mathesis Universalis, Computability and Proof 73
Preface 70
Reifying dynamical algebra: Maximal ideals in countable rings, constructively 69
Uniqueness, continuity and the existence of implicit functions in constructive analysis 65
On Scott’s semantics for many-valued logic 61
Preface for the special issue of Proof, Structure, and Computation 2014 57
Radical theory of Scott-open filters 54
Preface 53
Mathematics for Computation (M4C) 49
Finitely generated Banach algebras and local Nullstellensätze 42
The Jacobson radical for an inconsistency predicate 38
Well quasi-orders, better quasi-orders, and monomial ideals 17
null 9
Totale 6.273
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.426
article - articoli 13.390
book - libri 0
conference - conferenze 4.090
curatela - curatele 2.487
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.459
Totale 44.852
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021118 0 0 0 0 0 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/20251.432 68 108 24 210 35 31 91 94 164 173 181 253
2025/20262.180 241 165 247 600 906 21 0 0 0 0 0 0
Totale 6.273