CATALOGO DEI PRODOTTI DELLA RICERCA

SCHUSTER, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.530
EU - Europa 1.422
AS - Asia 1.310
SA - Sud America 211
AF - Africa 25
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.507
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.507
SG - Singapore 644
GB - Regno Unito 388
CN - Cina 336
HK - Hong Kong 213
BR - Brasile 185
RU - Federazione Russa 171
DE - Germania 167
FR - Francia 154
SE - Svezia 135
IE - Irlanda 127
IT - Italia 120
FI - Finlandia 73
UA - Ucraina 27
KR - Corea 23
VN - Vietnam 15
CA - Canada 13
TR - Turchia 13
BE - Belgio 12
BG - Bulgaria 10
AR - Argentina 9
BD - Bangladesh 9
JP - Giappone 9
TG - Togo 8
PK - Pakistan 7
PL - Polonia 7
IN - India 6
UZ - Uzbekistan 6
AU - Australia 5
CH - Svizzera 5
EC - Ecuador 5
ES - Italia 5
IQ - Iraq 5
MX - Messico 5
NL - Olanda 5
CL - Cile 4
ID - Indonesia 4
KE - Kenya 4
MA - Marocco 4
ZA - Sudafrica 4
AE - Emirati Arabi Uniti 3
BA - Bosnia-Erzegovina 3
IR - Iran 3
TN - Tunisia 3
VE - Venezuela 3
AZ - Azerbaigian 2
EU - Europa 2
LT - Lituania 2
LV - Lettonia 2
NP - Nepal 2
PH - Filippine 2
PY - Paraguay 2
RO - Romania 2
SN - Senegal 2
TW - Taiwan 2
AD - Andorra 1
AM - Armenia 1
AT - Austria 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GF - Guiana Francese 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
LB - Libano 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PG - Papua Nuova Guinea 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
RS - Serbia 1
Totale 4.507
Salva come PNG Salva come JPEG
Città #
Southend 363
Singapore 219
Hong Kong 213
Dallas 188
Woodbridge 146
Dublin 124
Ashburn 120
Ann Arbor 114
Chandler 108
Houston 94
Jacksonville 93
Munich 70
Beijing 68
Lawrence 51
Princeton 51
The Dalles 42
Wilmington 34
Nanjing 29
Verona 27
Santa Clara 26
Seattle 24
Columbus 19
Shenyang 19
Helsinki 18
Jinan 17
Los Angeles 17
Milan 16
Sindelfingen 14
New York 12
Brussels 11
Hebei 11
Council Bluffs 10
Nanchang 10
Chicago 9
Nuremberg 9
Redmond 9
São Paulo 9
Tianjin 9
Belo Horizonte 8
Lomé 8
Norwalk 8
Taizhou 8
Toronto 8
Brasília 7
Changsha 7
Hangzhou 7
Ho Chi Minh City 7
Turku 7
Washington 7
Ankara 6
Brooklyn 6
Edinburgh 6
Guangzhou 6
Guarulhos 6
Redwood City 6
Rio de Janeiro 6
Tashkent 6
Warsaw 6
Atlanta 5
Boardman 5
Curitiba 5
Fairfield 5
Haikou 5
Jiaxing 5
Zhengzhou 5
Amsterdam 4
Dhaka 4
Hanoi 4
Moscow 4
Nairobi 4
Ningbo 4
Nürnberg 4
Aix-en-Provence 3
Baghdad 3
Castelfranco Veneto 3
Clearwater 3
Denver 3
Dongguan 3
Lanzhou 3
Marseille 3
Melbourne 3
Multan 3
Porto Alegre 3
Quanzhou 3
Quito 3
Quận Một 3
Salvador 3
San Francisco 3
Secaucus 3
Shirako 3
Taiyuan 3
Baku 2
Barueri 2
Belford Roxo 2
Belém 2
Boston 2
Brugherio 2
Cambridge 2
Canberra 2
Casarza Ligure 2
Totale 2.697
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 142
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 138
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 134
Concepts of Proof in Mathematics, Philosophy, and Computer Science 124
Eliminating disjunctions by disjunction elimination 112
Der Satz von Hahn-Banach per Disjunktionselimination 111
Suzumura consistency, an alternative approach 109
`The shrinking principle and the axiom of choice' 106
Constructing Gröbner bases for Noetherian rings 105
`A direct proof of Wiener's theorem' 102
Lindenbaum’s Lemma via Open Induction 100
The Basic Zariski Topology 98
Are There Enough Injective Sets? 96
`Induction in algebra: a first case study' 92
A generalised cut characterisation of the fullness axiom in CZF 92
Logic, Construction, Computation 90
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 89
A General Extension Theorem for Directed-Complete Partial Orders 88
A predicative completion of a uniform space 87
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 85
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 83
Induction in Algebra: a First Case Study 80
Dynamic evaluation of integrity and the computational content of Krull's lemma 79
A General Constructive Form of Higman’s Lemma 76
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 75
Some forms of excluded middle for linear orders 75
The Computational Significance of Hausdorff’s Maximal Chain Principle 74
A General Glivenko–Gödel Theorem for Nuclei 74
Minima and best approximations in constructive analysis 73
The Kripke schema in metric topology 73
Resolving finite indeterminacy 73
The Gröbner ring conjecture in one variable 71
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 70
Unique paths as formal points 69
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 69
Uniqueness, continuity, and existence of implicit functions in constructive analysis 69
On the contrapositive of countable choice 68
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 66
Finite methods in mathematical practice. 64
Preface 63
Noetherian orders 62
Preface 62
The Jacobson Radical of a Propositional Theory 62
Preface 61
Mathesis Universalis, Computability and Proof 60
Maximal Ideals in Countable Rings, Constructively 59
Modal logic for induction 58
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 57
Preface 56
Syntax for Semantics: Krull’s Maximal Ideal Theorem 54
The Jacobson radical for an inconsistency predicate 51
Uniqueness, continuity and the existence of implicit functions in constructive analysis 51
A universal algorithm for Krull's theorem 51
On Scott’s semantics for many-valued logic 48
Preface for the special issue of Proof, Structure, and Computation 2014 45
Radical theory of Scott-open filters 42
Reifying dynamical algebra: Maximal ideals in countable rings, constructively 42
Preface 37
Mathematics for Computation (M4C) 31
CONSERVATION AS TRANSLATION 29
An iterative constructive Hilbert basis theorem 28
Finitely generated Banach algebras and local Nullstellensätze 26
The Jacobson radical for an inconsistency predicate 24
null 9
Totale 4.649
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.178
article - articoli 11.396
book - libri 0
conference - conferenze 3.458
curatela - curatele 2.180
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.144
Totale 38.356
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021199 0 0 11 46 24 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/2026556 241 165 150 0 0 0 0 0 0 0 0 0
Totale 4.649