TASSI, ENRICO
 Distribuzione geografica
Continente #
NA - Nord America 853
EU - Europa 672
AS - Asia 341
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 1
Totale 1.905
Nazione #
US - Stati Uniti d'America 837
GB - Regno Unito 214
CN - Cina 117
IT - Italia 106
SG - Singapore 89
DE - Germania 83
VN - Vietnam 79
SE - Svezia 74
UA - Ucraina 73
IN - India 31
CH - Svizzera 28
IE - Irlanda 28
FR - Francia 23
RU - Federazione Russa 20
CA - Canada 16
TR - Turchia 16
EU - Europa 15
ZA - Sudafrica 12
EE - Estonia 9
BE - Belgio 6
SC - Seychelles 6
FI - Finlandia 4
JO - Giordania 4
TG - Togo 3
CI - Costa d'Avorio 2
AR - Argentina 1
GE - Georgia 1
GR - Grecia 1
HK - Hong Kong 1
HR - Croazia 1
HU - Ungheria 1
JP - Giappone 1
MY - Malesia 1
NL - Olanda 1
SA - Arabia Saudita 1
Totale 1.905
Città #
Southend 199
Chandler 94
Santa Clara 75
Fairfield 69
Singapore 65
Ashburn 53
Jacksonville 51
Cambridge 41
Wilmington 37
Princeton 36
Woodbridge 34
Seattle 29
Dublin 28
Bern 27
Ann Arbor 26
Bologna 23
Dong Ket 23
Nanjing 19
Boardman 17
Houston 17
Padova 17
Istanbul 16
Turin 16
Westminster 16
New York 12
Jinan 11
Medford 11
Berlin 10
Montreal 9
Beijing 8
Changsha 8
Mülheim 8
Nanchang 7
Brussels 6
Mahé 6
Norwalk 6
San Diego 6
Tianjin 6
Dearborn 5
Haikou 5
Hebei 5
Ningbo 5
Pittsburgh 5
Shenyang 5
Amman 4
Falls Church 4
Guangzhou 4
Helsinki 4
Jiaxing 4
Reggio Nell'emilia 4
Benevento 3
Bremen 3
Fuzhou 3
Hangzhou 3
Lomé 3
Milan 3
Saint Petersburg 3
Salsomaggiore Terme 3
San Venanzo 3
Abidjan 2
Buffalo 2
Castello Molina di Fiemme 2
Chengdu 2
Des Moines 2
Molinella 2
Muizenberg 2
Redwood City 2
San Mauro Pascoli 2
Taizhou 2
Toronto 2
Atlanta 1
Battaglia Terme 1
Cassino 1
Castel Maggiore 1
Cesena 1
Conselice 1
Costa Mesa 1
Córdoba 1
Decimomannu 1
Faenza 1
Groningen 1
Hanover 1
Karlsruhe 1
Kunming 1
Lanzhou 1
Levallois-perret 1
Los Angeles 1
Montréal 1
Mountain View 1
Napoli 1
Nuremberg 1
Olalla 1
Parma 1
Plauen 1
Pune 1
Quzhou 1
Rezzato 1
Riyadh 1
Rome 1
San Francisco 1
Totale 1.275
Nome #
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 193
Crafting a Proof Assistant 153
A new type for tactics 153
User Interaction with the Matita Proof Assistant 133
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 132
A content based mathematical search engine: Whelp 132
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 119
Matita 115
Matita 0.5.7 114
Formalising Overlap Algebras in Matita 111
Natural Deduction Environment for Matita 110
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 109
Working with Mathematical Structures in Type Theory 99
Tinycals: Step by Step Tacticals 95
User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems 91
Matita 0.99.1 84
Totale 1.943
Categoria #
all - tutte 4.808
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 4.808


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020252 0 0 0 0 0 42 40 54 40 32 9 35
2020/2021247 48 16 5 12 1 9 11 23 50 13 15 44
2021/2022395 73 11 21 35 28 17 5 20 12 5 106 62
2022/2023410 44 51 30 37 24 55 5 23 49 9 47 36
2023/202481 5 19 4 11 8 20 2 4 1 6 0 1
2024/2025227 6 57 38 17 109 0 0 0 0 0 0 0
Totale 1.943