CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.436
NA - Nord America 1.813
AS - Asia 1.639
SA - Sud America 290
AF - Africa 44
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.233
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.775
RU - Federazione Russa 1.122
SG - Singapore 788
CN - Cina 431
GB - Regno Unito 411
BR - Brasile 231
HK - Hong Kong 216
DE - Germania 172
FR - Francia 155
SE - Svezia 140
IT - Italia 129
IE - Irlanda 127
FI - Finlandia 73
VN - Vietnam 58
UA - Ucraina 29
KR - Corea 23
CA - Canada 20
AR - Argentina 19
JP - Giappone 18
TR - Turchia 16
BD - Bangladesh 15
PL - Polonia 15
IN - India 14
BE - Belgio 13
EC - Ecuador 12
MX - Messico 12
BG - Bulgaria 10
ID - Indonesia 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
IL - Israele 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
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.233
Salva come PNG Salva come JPEG
Città #
Moscow 363
Southend 363
Singapore 263
Hong Kong 216
Dallas 206
Ashburn 191
Woodbridge 146
Dublin 124
Ann Arbor 114
Chandler 108
Beijing 97
Houston 96
Jacksonville 93
Munich 70
The Dalles 61
Lawrence 51
Los Angeles 51
Princeton 51
Wilmington 34
Nanjing 29
Verona 28
Santa Clara 27
Redondo Beach 26
Seattle 24
New York 20
Columbus 19
Ho Chi Minh City 19
Shenyang 19
Helsinki 18
Buffalo 17
Jinan 17
Milan 17
Hanoi 15
São Paulo 15
Sindelfingen 14
Warsaw 14
Tianjin 13
Chicago 12
Brussels 11
Hebei 11
Tokyo 11
Council Bluffs 10
Nanchang 10
Nuremberg 10
Ankara 9
Belo Horizonte 9
Brasília 9
Changsha 9
London 9
Redmond 9
Toronto 9
Hangzhou 8
Lomé 8
Norwalk 8
Taizhou 8
Amsterdam 7
Brooklyn 7
Cotonou 7
Guangzhou 7
Orem 7
Rio de Janeiro 7
Turku 7
Washington 7
Atlanta 6
Chennai 6
Edinburgh 6
Guarulhos 6
Montreal 6
Poplar 6
Quito 6
Redwood City 6
San Jose 6
Stockholm 6
Tashkent 6
Zhengzhou 6
Baghdad 5
Boardman 5
Curitiba 5
Denver 5
Dhaka 5
Fairfield 5
Haikou 5
Jiaxing 5
Phoenix 5
San Francisco 5
Da Nang 4
Falkenstein 4
Manchester 4
Nairobi 4
Ningbo 4
Nürnberg 4
Porto Alegre 4
Salvador 4
Shanghai 4
Aix-en-Provence 3
Baku 3
Castelfranco Veneto 3
Clearwater 3
Contagem 3
Dakar 3
Totale 3.451
Salva come PNG Salva come JPEG
Nome #
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 188
A universal Krull–Lindenbaum theorem 184
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 172
Concepts of Proof in Mathematics, Philosophy, and Computer Science 155
Constructing Gröbner bases for Noetherian rings 154
Der Satz von Hahn-Banach per Disjunktionselimination 141
Eliminating disjunctions by disjunction elimination 140
`The shrinking principle and the axiom of choice' 136
`A direct proof of Wiener's theorem' 136
Suzumura consistency, an alternative approach 136
A General Extension Theorem for Directed-Complete Partial Orders 134
A predicative completion of a uniform space 132
A generalised cut characterisation of the fullness axiom in CZF 127
Are There Enough Injective Sets? 127
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 125
`Induction in algebra: a first case study' 125
A General Constructive Form of Higman’s Lemma 121
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 120
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 117
Lindenbaum’s Lemma via Open Induction 113
Logic, Construction, Computation 113
A General Glivenko–Gödel Theorem for Nuclei 113
Dynamic evaluation of integrity and the computational content of Krull's lemma 113
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 111
The Basic Zariski Topology 109
The Computational Significance of Hausdorff’s Maximal Chain Principle 108
Modal logic for induction 105
Some forms of excluded middle for linear orders 102
Resolving finite indeterminacy 102
Minima and best approximations in constructive analysis 97
The Kripke schema in metric topology 94
Induction in Algebra: a First Case Study 94
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 92
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 91
The Jacobson Radical of a Propositional Theory 90
Maximal Ideals in Countable Rings, Constructively 89
Noetherian orders 89
Preface 86
Preface 84
The Gröbner ring conjecture in one variable 83
A universal algorithm for Krull's theorem 83
The Jacobson radical for an inconsistency predicate 82
Syntax for Semantics: Krull’s Maximal Ideal Theorem 82
CONSERVATION AS TRANSLATION 81
Unique paths as formal points 81
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 81
Preface 80
Finite methods in mathematical practice. 79
An iterative constructive Hilbert basis theorem 77
On the contrapositive of countable choice 77
Uniqueness, continuity, and existence of implicit functions in constructive analysis 77
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 77
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 67
On Scott’s semantics for many-valued logic 64
Preface for the special issue of Proof, Structure, and Computation 2014 57
Preface 55
Radical theory of Scott-open filters 55
Mathematics for Computation (M4C) 50
Finitely generated Banach algebras and local Nullstellensätze 43
The Jacobson radical for an inconsistency predicate 40
Well quasi-orders, better quasi-orders, and monomial ideals 19
null 9
Totale 6.376
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.740
article - articoli 13.567
book - libri 0
conference - conferenze 4.148
curatela - curatele 2.522
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.503
Totale 45.480
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.283 241 165 247 600 906 124 0 0 0 0 0 0
Totale 6.376