MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.609
EU - Europa 2.098
AS - Asia 615
SA - Sud America 54
OC - Oceania 28
AF - Africa 10
Totale 5.414
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.596
IT - Italia 623
PL - Polonia 488
RU - Federazione Russa 472
JP - Giappone 156
HK - Hong Kong 135
SG - Singapore 131
SE - Svezia 119
IE - Irlanda 113
CN - Cina 73
FI - Finlandia 63
DE - Germania 58
BR - Brasile 49
CH - Svizzera 49
VN - Vietnam 31
ID - Indonesia 28
IN - India 27
AU - Australia 26
GB - Regno Unito 26
NL - Olanda 26
TR - Turchia 20
FR - Francia 16
CA - Canada 13
AT - Austria 12
UA - Ucraina 11
ES - Italia 5
BE - Belgio 3
CI - Costa d'Avorio 3
DK - Danimarca 3
EE - Estonia 3
RO - Romania 3
UZ - Uzbekistan 3
AR - Argentina 2
CM - Camerun 2
CO - Colombia 2
CZ - Repubblica Ceca 2
GE - Georgia 2
JO - Giordania 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
SC - Seychelles 2
TJ - Tagikistan 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
BY - Bielorussia 1
EC - Ecuador 1
IQ - Iraq 1
LB - Libano 1
LT - Lituania 1
NO - Norvegia 1
PK - Pakistan 1
TN - Tunisia 1
Totale 5.414
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.297
Warsaw 487
Florence 210
Fairfield 143
Chandler 119
Dublin 111
Hong Kong 105
Ashburn 85
Singapore 84
Seattle 79
Cambridge 67
Woodbridge 60
Houston 57
Helsinki 44
Wilmington 43
Bern 41
Moscow 37
Milan 34
Princeton 34
Altamura 32
Lawrence 32
Ann Arbor 30
Dong Ket 29
Jakarta 27
Boston 25
Melbourne 23
Rome 23
Beijing 20
Mumbai 19
Boardman 18
Jacksonville 17
Kent 17
Fara 16
Izmir 16
Medford 15
Guangzhou 11
Rignano sull'Arno 11
San Diego 11
Falkenstein 10
Dearborn 9
Los Angeles 9
Siena 9
Vienna 9
Falls Church 8
Norwalk 8
Toronto 7
Bengaluru 6
Munich 6
Prato 6
Castellina in Chianti 5
London 5
Naples 5
Redwood City 5
San Miniato Basso 5
Turin 5
Verona 5
Amsterdam 4
Bagno A Ripoli 4
Bari 4
Bonn 4
Campi Bisenzio 4
Casalmaggiore 4
Catania 4
Como 4
Lappeenranta 4
Padova 4
Pontassieve 4
Romola 4
São Paulo 4
West Jordan 4
Abidjan 3
Altopascio 3
Barberino di Mugello 3
Barcelona 3
Bristol 3
Brooklyn 3
Cagliari 3
Capannori 3
Città di Castello 3
Giovinazzo 3
Hillsboro 3
Korb 3
Lyngby 3
Mantova 3
Montreal 3
Palermo 3
Perugia 3
Redmond 3
Reggio Emilia 3
San Francisco 3
San Giovanni in Persiceto 3
São Carlos 3
Ailano 2
Andover 2
Brussels 2
Bucharest 2
Calatafimi 2
Casalecchio di Reno 2
Casalnuovo di Napoli 2
Castelfranco Di Sotto 2
Totale 3.789
Salva come PNG Salva come JPEG
Nome #
Initial Semantics for Strengthened Signatures 270
Matematica, l'esplosione continua ... 268
Una introduzione visiva al Machine Learning e al Deep Learning 226
Formalizing basic quaternionic analysis 212
High-level signatures and initial semantics 204
A certified proof of the Cartan Fixed Point Theorems 201
A Formalization of Metric Spaces in HOL Light 191
Modules over Monads and Linearity 190
Extension and tangential CRF conditions in quaternionic analysis 180
Bicategories in Univalent Foundations 164
Modular Specification of Monads Through Higher-Order Presentations 161
Modules over Monads and Initial Semantics 158
On the Quantum Cohomology of Some Fano Threefolds 155
Formalization of metric spaces in HOL Light 148
Reduction Monads and Their Signatures 143
MP3(0,2d2) is singular 127
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 120
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 119
Nested Abstract Syntax in Coq 118
Formalization of Quaternionic Calculus in HOL Light 117
On the quantum cohomology of Fano bundles over projective spaces 114
A formal proof of modal completeness for provability logic 106
Higher-order theories 105
Favorire la diffusione di WIMS in Italia 102
Some elementary remarks on lci algebraic cycles 101
Minimal resolution of general stable rank-2 vector bundles on P^2 100
Information technology implications for mathematics: a view from the French riviera 98
Universal Algebra in UniMath 97
Modules over monads and typoids 97
A formalisation of metric spaces in HOL Light 97
Universal Algebra in UniMath 95
Verifica automatica del ragionamento matematico 94
A symbolic approach to abstract algebra in HOL Light 93
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 92
Presentable signatures and initial semantics 92
Bicategories in univalent foundations 90
Mechanising Godel-Lob Provability Logic in HOL Light 80
Private types in Higher Order Logic Programming 78
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 74
The New IoT Driven World: Overview and Perspectives 71
Blockchain, criptovalute e contratti intelligenti 70
Variable binding and substitution for (nameless) dummies 56
Variable binding and substitution for (nameless) dummies 53
Analysing Collective Adaptive Systems by Proving Theorems 43
Totale 5.570
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.852
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.852
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202056 0 0 0 0 0 0 0 0 0 0 39 17
2020/2021532 47 40 7 38 23 40 24 40 152 63 9 49
2021/2022225 4 23 32 9 7 3 10 9 18 11 22 77
2022/2023574 57 126 34 35 25 105 58 21 41 5 20 47
2023/2024257 11 27 40 18 16 4 9 61 8 20 28 15
2024/20252.716 131 232 147 292 837 696 93 97 85 58 48 0
Totale 5.570