MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.869
NA - Nord America 1.799
AS - Asia 476
AF - Africa 9
OC - Oceania 3
SA - Sud America 3
Totale 4.159
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.789
IT - Italia 490
PL - Polonia 483
RU - Federazione Russa 469
JP - Giappone 156
SE - Svezia 119
IE - Irlanda 113
SG - Singapore 100
HK - Hong Kong 73
CN - Cina 70
CH - Svizzera 49
DE - Germania 44
VN - Vietnam 31
FI - Finlandia 25
GB - Regno Unito 25
IN - India 20
TR - Turchia 17
FR - Francia 12
CA - Canada 10
AT - Austria 9
UA - Ucraina 9
NL - Olanda 6
ES - Italia 4
BE - Belgio 3
CI - Costa d'Avorio 3
DK - Danimarca 3
AU - Australia 2
CM - Camerun 2
CO - Colombia 2
CZ - Repubblica Ceca 2
GE - Georgia 2
JO - Giordania 2
MU - Mauritius 2
RO - Romania 2
SC - Seychelles 2
TJ - Tagikistan 2
UZ - Uzbekistan 2
BR - Brasile 1
BY - Bielorussia 1
EE - Estonia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
Totale 4.159
Salva come PNG Salva come JPEG
Città #
Santa Clara 540
Warsaw 482
Florence 175
Fairfield 143
Chandler 119
Dublin 111
Seattle 79
Singapore 76
Ashburn 72
Cambridge 67
Woodbridge 60
Houston 57
Hong Kong 43
Wilmington 43
Bern 41
Moscow 37
Princeton 34
Altamura 32
Lawrence 32
Ann Arbor 30
Dong Ket 29
Boston 25
Milan 21
Beijing 20
Mumbai 19
Boardman 18
Jacksonville 17
Kent 17
Fara 16
Izmir 16
Medford 15
Guangzhou 11
Rignano sull'Arno 11
Rome 11
San Diego 11
Dearborn 9
Siena 9
Vienna 9
Falls Church 8
Helsinki 8
Norwalk 8
Munich 6
Prato 6
Toronto 6
Castellina in Chianti 5
London 5
Redwood City 5
Bagno A Ripoli 4
Bari 4
Bonn 4
Casalmaggiore 4
Como 4
Padova 4
Pontassieve 4
Romola 4
West Jordan 4
Abidjan 3
Altopascio 3
Barberino di Mugello 3
Barcelona 3
Bristol 3
Catania 3
Città di Castello 3
Giovinazzo 3
Hillsboro 3
Korb 3
Los Angeles 3
Lyngby 3
Mantova 3
Naples 3
Palermo 3
Perugia 3
Redmond 3
Verona 3
Andover 2
Brooklyn 2
Brussels 2
Bucharest 2
Calatafimi 2
Casalecchio di Reno 2
Casalnuovo di Napoli 2
Castelfranco Di Sotto 2
Cinisello Balsamo 2
Frankfurt Am Main 2
Iowa City 2
Kilburn 2
Lappeenranta 2
Minneapolis 2
Montesilvano Marina 2
Nanjing 2
Pozzallo 2
Prague 2
Settimo Torinese 2
Shinanocho 2
Subbiano 2
Thiene 2
Toulouse 2
Triggiano 2
Turin 2
Venice 2
Totale 2.756
Salva come PNG Salva come JPEG
Nome #
Initial Semantics for Strengthened Signatures 248
Matematica, l'esplosione continua ... 243
Formalizing basic quaternionic analysis 190
A certified proof of the Cartan Fixed Point Theorems 173
High-level signatures and initial semantics 169
Modules over Monads and Linearity 168
A Formalization of Metric Spaces in HOL Light 162
Extension and tangential CRF conditions in quaternionic analysis 146
Bicategories in Univalent Foundations 141
Modular Specification of Monads Through Higher-Order Presentations 140
Modules over Monads and Initial Semantics 135
On the Quantum Cohomology of Some Fano Threefolds 133
Formalization of metric spaces in HOL Light 127
Reduction Monads and Their Signatures 111
Una introduzione visiva al Machine Learning e al Deep Learning 108
MP3(0,2d2) is singular 103
Nested Abstract Syntax in Coq 95
Formalization of Quaternionic Calculus in HOL Light 93
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 90
On the quantum cohomology of Fano bundles over projective spaces 88
Favorire la diffusione di WIMS in Italia 83
Minimal resolution of general stable rank-2 vector bundles on P^2 79
Some elementary remarks on lci algebraic cycles 78
A formal proof of modal completeness for provability logic 77
A formalisation of metric spaces in HOL Light 76
Higher-order theories 75
Modules over monads and typoids 74
Information technology implications for mathematics: a view from the French riviera 73
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 72
A symbolic approach to abstract algebra in HOL Light 71
Verifica automatica del ragionamento matematico 70
Universal Algebra in UniMath 66
Presentable signatures and initial semantics 65
Bicategories in univalent foundations 61
Private types in Higher Order Logic Programming 53
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 52
Universal Algebra in UniMath 51
Mechanising Godel-Lob Provability Logic in HOL Light 51
Blockchain, criptovalute e contratti intelligenti 47
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 46
The New IoT Driven World: Overview and Perspectives 45
Variable binding and substitution for (nameless) dummies 30
Variable binding and substitution for (nameless) dummies 28
Analysing Collective Adaptive Systems by Proving Theorems 16
Totale 4.302
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.100
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 11.100
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020395 0 0 0 0 65 54 55 78 51 36 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/20251.448 131 232 147 292 646 0 0 0 0 0 0 0
Totale 4.302