CATALOGO DEI PRODOTTI DELLA RICERCA

Schuster, Peter Michael
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.210
NA - Nord America 1.115
AS - Asia 355
OC - Oceania 6
AF - Africa 4
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.695
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.112
GB - Regno Unito 378
CN - Cina 254
FR - Francia 141
SE - Svezia 134
IE - Irlanda 126
DE - Germania 113
RU - Federazione Russa 112
IT - Italia 91
SG - Singapore 65
FI - Finlandia 63
UA - Ucraina 21
BE - Belgio 11
BG - Bulgaria 9
HK - Hong Kong 9
TR - Turchia 6
AU - Australia 5
PK - Pakistan 4
AR - Argentina 3
CA - Canada 3
CH - Svizzera 3
IR - Iran 3
JP - Giappone 3
ZA - Sudafrica 3
BA - Bosnia-Erzegovina 2
EU - Europa 2
ID - Indonesia 2
IN - India 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
DK - Danimarca 1
HU - Ungheria 1
IQ - Iraq 1
LV - Lettonia 1
MA - Marocco 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PL - Polonia 1
RO - Romania 1
UZ - Uzbekistan 1
Totale 2.695
Salva come PNG Salva come JPEG
Città #
Southend 363
Woodbridge 146
Dublin 123
Ann Arbor 114
Chandler 108
Ashburn 102
Houston 94
Jacksonville 93
Beijing 60
Lawrence 51
Princeton 51
Singapore 42
Wilmington 34
Nanjing 29
Verona 24
Munich 23
Seattle 23
Shenyang 18
Jinan 17
Helsinki 16
Sindelfingen 14
Santa Clara 13
Hebei 11
Milan 11
New York 11
Brussels 10
Nanchang 10
Hong Kong 9
Redmond 9
Los Angeles 8
Norwalk 8
Taizhou 8
Hangzhou 7
Tianjin 7
Changsha 6
Redwood City 6
Washington 6
Ankara 5
Boardman 5
Fairfield 5
Guangzhou 5
Haikou 5
Zhengzhou 5
Chicago 4
Jiaxing 4
Ningbo 4
Nuremberg 4
Nürnberg 4
Aix-en-Provence 3
Castelfranco Veneto 3
Clearwater 3
Dallas 3
Dongguan 3
Edinburgh 3
Lanzhou 3
Marseille 3
Melbourne 3
Moscow 3
Multan 3
Taiyuan 3
Brugherio 2
Cambridge 2
Canberra 2
Florence 2
Jakarta 2
Lazise 2
Leawood 2
Nantes 2
New Taipei 2
Noordwyk 2
Novokuznetsk 2
San Francisco 2
Thiene 2
Toronto 2
West Jordan 2
Wuhan 2
Acton 1
Ashford 1
Atlanta 1
Auckland 1
Augsburg 1
Baku 1
Beauharnois 1
Bergamo 1
Boulogne-Billancourt 1
Boydton 1
Bucharest 1
Castiglione Olona 1
Chaoyang 1
Columbus 1
Crotone 1
Dalian 1
Delhi 1
Düsseldorf 1
Ghent 1
Hudson 1
Islamabad 1
Kemerovo 1
Krakow 1
Lappeenranta 1
Totale 1.827
Salva come PNG Salva come JPEG
Nome #
A universal Krull–Lindenbaum theorem 105
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 103
Concepts of Proof in Mathematics, Philosophy, and Computer Science 87
Suzumura consistency, an alternative approach 80
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 79
Logic, Construction, Computation 71
`Induction in algebra: a first case study' 69
Der Satz von Hahn-Banach per Disjunktionselimination 69
Constructing Gröbner bases for Noetherian rings 68
Are There Enough Injective Sets? 68
`A direct proof of Wiener's theorem' 67
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 63
Induction in Algebra: a First Case Study 63
Lindenbaum’s Lemma via Open Induction 62
`The shrinking principle and the axiom of choice' 61
A generalised cut characterisation of the fullness axiom in CZF 60
The Basic Zariski Topology 60
Eliminating disjunctions by disjunction elimination 60
A predicative completion of a uniform space 58
Unique paths as formal points 55
A General Extension Theorem for Directed-Complete Partial Orders 53
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 51
The Gröbner ring conjecture in one variable 51
Uniqueness, continuity, and existence of implicit functions in constructive analysis 51
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice 50
Minima and best approximations in constructive analysis 50
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 49
Finite methods in mathematical practice. 47
The Kripke schema in metric topology 46
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 46
On the contrapositive of countable choice 44
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy 44
Preface 44
Some forms of excluded middle for linear orders 44
The Computational Significance of Hausdorff’s Maximal Chain Principle 44
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 44
Preface 43
Noetherian orders 42
Preface 42
Preface 41
Mathesis Universalis, Computability and Proof 40
Dynamic evaluation of integrity and the computational content of Krull's lemma 39
Syntax for Semantics: Krull’s Maximal Ideal Theorem 37
Resolving finite indeterminacy 34
Modal logic for induction 33
A General Glivenko–Gödel Theorem for Nuclei 30
Uniqueness, continuity and the existence of implicit functions in constructive analysis 29
Preface for the special issue of Proof, Structure, and Computation 2014 28
The Jacobson Radical of a Propositional Theory 27
On Scott’s semantics for many-valued logic 24
A universal algorithm for Krull's theorem 24
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 23
A General Constructive Form of Higman’s Lemma 22
The Jacobson radical for an inconsistency predicate 21
Maximal Ideals in Countable Rings, Constructively 21
Preface 18
Radical theory of Scott-open filters 10
null 9
Mathematics for Computation (M4C) 9
Finitely generated Banach algebras and local Nullstellensätze 6
The Jacobson radical for an inconsistency predicate 3
Totale 2.821
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.804
article - articoli 6.987
book - libri 0
conference - conferenze 2.028
curatela - curatele 1.429
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.360
Totale 23.608
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020215 0 2 8 14 33 42 30 17 13 10 14 32
2020/2021251 14 38 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/2025160 68 92 0 0 0 0 0 0 0 0 0 0
Totale 2.821