RICCIOTTI, WILMER
 Distribuzione geografica
Continente #
NA - Nord America 817
EU - Europa 636
AS - Asia 311
AF - Africa 17
SA - Sud America 4
OC - Oceania 3
Totale 1.788
Nazione #
US - Stati Uniti d'America 798
GB - Regno Unito 208
VN - Vietnam 151
IT - Italia 101
CN - Cina 89
DE - Germania 70
SE - Svezia 70
UA - Ucraina 56
IN - India 33
CH - Svizzera 29
IE - Irlanda 26
RU - Federazione Russa 26
FR - Francia 24
CA - Canada 19
TR - Turchia 15
ZA - Sudafrica 12
EE - Estonia 10
BE - Belgio 8
JO - Giordania 7
SC - Seychelles 4
AU - Australia 3
GE - Georgia 3
MY - Malesia 3
AR - Argentina 2
FI - Finlandia 2
JP - Giappone 2
BD - Bangladesh 1
BR - Brasile 1
CL - Cile 1
DK - Danimarca 1
HK - Hong Kong 1
HR - Croazia 1
IL - Israele 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
NL - Olanda 1
NO - Norvegia 1
PK - Pakistan 1
RO - Romania 1
SA - Arabia Saudita 1
SI - Slovenia 1
TG - Togo 1
Totale 1.788
Città #
Southend 194
Fairfield 97
Chandler 90
Dong Ket 58
Ashburn 46
Wilmington 46
Woodbridge 43
Cambridge 40
Princeton 40
Seattle 37
Houston 35
Ann Arbor 34
Jacksonville 32
Bern 29
Bologna 29
Dublin 26
Istanbul 15
Nanjing 15
Padova 15
Turin 15
Westminster 15
Montreal 13
New York 12
Saint Petersburg 12
Jinan 11
Berlin 10
Changsha 10
Medford 10
Mülheim 10
Shenyang 10
Beijing 9
San Diego 9
Brussels 8
Amman 7
Pune 7
Tianjin 6
Jiaxing 5
Nanchang 5
Pittsburgh 5
San Venanzo 5
Hangzhou 4
Mahé 4
Milan 4
Norwalk 4
San Francisco 4
Taiyuan 4
Benevento 3
Dearborn 3
Des Moines 3
Hebei 3
Mordano 3
Olalla 3
Salsomaggiore Terme 3
Boardman 2
Brooklyn 2
Córdoba 2
Florence 2
Hanoi 2
Helsinki 2
Kuala Lumpur 2
Phoenix 2
Redwood City 2
Sannicandro Di Bari 2
Tokyo 2
Almaty 1
Bannia 1
Bremen 1
Canberra 1
Cervia 1
Colombo 1
Conselice 1
Copenhagen 1
Delhi 1
Falls Church 1
Genoa 1
Groningen 1
Haifa 1
Haikou 1
Islamabad 1
Kilburn 1
Kunming 1
Lanzhou 1
Levallois-perret 1
Lomé 1
London 1
Los Angeles 1
Mantova 1
Melbourne 1
Molinella 1
Napoli 1
Ningbo 1
Old Bridge 1
Oslo 1
Quzhou 1
Rezzato 1
Riyadh 1
Rome 1
Saint Louis 1
San Jose 1
Seversk 1
Totale 1.218
Nome #
A compact kernel for the calculus of inductive constructions 185
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 182
About the Formalization of some Results by Chebyshev in Number Theory 157
A new type for tactics 137
The Matita Interactive Theorem Prover 130
A Web Interface for Matita 128
A Canonical Locally Named Representation of Binding 118
A proof of Bertrand's postulate 114
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 112
Rating Disambiguation Errors 106
Formalizing Turing Machines 106
Hints in Unification 102
Matita 0.5.7 96
A Web Interface for the Matita Proof Assistant 91
Matita 0.99.1 65
Totale 1.829
Categoria #
all - tutte 3.944
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 3.944


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201939 0 0 0 0 0 0 0 0 0 14 2 23
2019/2020431 63 12 8 34 35 40 43 54 58 29 25 30
2020/2021293 51 8 7 20 3 15 9 19 49 21 11 80
2021/2022467 110 11 20 29 32 16 9 17 8 14 120 81
2022/2023409 46 40 24 47 17 53 9 19 70 5 42 37
2023/202476 9 20 4 8 3 24 3 4 1 0 0 0
Totale 1.829