RICCIOTTI, WILMER
 Distribuzione geografica
Continente #
NA - Nord America 942
EU - Europa 668
AS - Asia 430
AF - Africa 17
SA - Sud America 4
OC - Oceania 3
Totale 2.064
Nazione #
US - Stati Uniti d'America 923
GB - Regno Unito 208
VN - Vietnam 151
CN - Cina 118
IT - Italia 109
SG - Singapore 90
DE - Germania 74
SE - Svezia 70
UA - Ucraina 56
RU - Federazione Russa 40
IN - India 33
CH - Svizzera 29
IE - Irlanda 26
FR - Francia 24
CA - Canada 19
TR - Turchia 15
ZA - Sudafrica 12
EE - Estonia 10
BE - Belgio 8
JO - Giordania 7
FI - Finlandia 4
SC - Seychelles 4
AU - Australia 3
GE - Georgia 3
MY - Malesia 3
SM - San Marino 3
AR - Argentina 2
JP - Giappone 2
NL - Olanda 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
NO - Norvegia 1
PK - Pakistan 1
RO - Romania 1
SA - Arabia Saudita 1
SI - Slovenia 1
TG - Togo 1
Totale 2.064
Città #
Southend 194
Fairfield 97
Chandler 90
Santa Clara 78
Singapore 64
Dong Ket 58
Ashburn 49
Wilmington 46
Woodbridge 43
Cambridge 40
Princeton 40
Seattle 37
Bologna 35
Houston 35
Ann Arbor 34
Jacksonville 32
Bern 29
Dublin 26
Boardman 17
Nanjing 16
Istanbul 15
Padova 15
Turin 15
Westminster 15
Montreal 13
Jinan 12
New York 12
Saint Petersburg 12
Beijing 10
Berlin 10
Changsha 10
Medford 10
Mülheim 10
Shenyang 10
San Diego 9
Brussels 8
Amman 7
Pune 7
Tianjin 6
Jiaxing 5
Nanchang 5
Pittsburgh 5
San Venanzo 5
Taiyuan 5
Hangzhou 4
Helsinki 4
Mahé 4
Milan 4
Norwalk 4
San Francisco 4
Benevento 3
Dearborn 3
Des Moines 3
Hebei 3
Mordano 3
Olalla 3
Phoenix 3
Salsomaggiore Terme 3
San Marino 3
Shanghai 3
Yubileyny 3
Brooklyn 2
Chengdu 2
Córdoba 2
Falkenstein 2
Florence 2
Hanoi 2
Kuala Lumpur 2
Los Angeles 2
Perugia 2
Redwood City 2
Sannicandro Di Bari 2
Tokyo 2
Almaty 1
Bannia 1
Benxi 1
Bremen 1
Canberra 1
Cervia 1
Colombo 1
Conselice 1
Copenhagen 1
Delhi 1
Falls Church 1
Frankfurt am Main 1
Fuzhou 1
Genoa 1
Groningen 1
Guangzhou 1
Haifa 1
Haikou 1
Islamabad 1
Kilburn 1
Kunming 1
Lanzhou 1
Levallois-perret 1
Lomé 1
London 1
Mantova 1
Melbourne 1
Totale 1.399
Nome #
A compact kernel for the calculus of inductive constructions 206
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 198
About the Formalization of some Results by Chebyshev in Number Theory 175
A new type for tactics 155
The Matita Interactive Theorem Prover 151
A Web Interface for Matita 145
A Canonical Locally Named Representation of Binding 136
Rating Disambiguation Errors 132
A proof of Bertrand's postulate 130
Formalizing Turing Machines 122
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 121
Matita 0.5.7 118
Hints in Unification 115
A Web Interface for the Matita Proof Assistant 114
Matita 0.99.1 87
Totale 2.105
Categoria #
all - tutte 5.167
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 5.167


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020196 0 0 0 0 0 0 0 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/202480 9 20 4 8 3 24 3 4 1 3 0 1
2024/2025272 6 70 35 13 100 16 30 2 0 0 0 0
Totale 2.105