Project Statistics: Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics
Geo Map
Region
#
AS - Asia, other
852
NA - North America
423
SA - South America
264
EU - Europe
133
AF - Africa
38
OC - Oceania
1
Unknown Continent - Not applicable
1
Unknown
99
Total
1811
Country
#
SG - Singapore
437
US - United States of America
392
BR - Brazil
225
CN - China
142
IN - India
48
VN - Vietnam
48
JP - Japan
35
BE - Belgium
27
BD - Bangladesh
22
TR - Turkey
20
other - Other Country
415
Total
1811
City
#
Singapore
437
Boardman
197
San Mateo
47
São Paulo
12
Ho Chi Minh City
11
Dhaka
10
Beijing
8
Pomerene
7
Belo Horizonte
6
Hanoi
6
other
693
Total
1434
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2024
0 0
0 0 0 0
0 3 26 25
212 6
272
2025
9 0
0 0 145 1055
73 78 69 45
65 0
1539
Ever
1811
Geo Map
| Region | # |
|---|---|
| AS - Asia, other | 852 |
| NA - North America | 423 |
| SA - South America | 264 |
| EU - Europe | 133 |
| AF - Africa | 38 |
| OC - Oceania | 1 |
| Unknown Continent - Not applicable | 1 |
| Unknown | 99 |
| Total | 1811 |
| Country | # |
|---|---|
| SG - Singapore | 437 |
| US - United States of America | 392 |
| BR - Brazil | 225 |
| CN - China | 142 |
| IN - India | 48 |
| VN - Vietnam | 48 |
| JP - Japan | 35 |
| BE - Belgium | 27 |
| BD - Bangladesh | 22 |
| TR - Turkey | 20 |
| other - Other Country | 415 |
| Total | 1811 |
| City | # |
|---|---|
| Singapore | 437 |
| Boardman | 197 |
| San Mateo | 47 |
| São Paulo | 12 |
| Ho Chi Minh City | 11 |
| Dhaka | 10 |
| Beijing | 8 |
| Pomerene | 7 |
| Belo Horizonte | 6 |
| Hanoi | 6 |
| other | 693 |
| Total | 1434 |
| Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2024 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 26 | 25 | 212 | 6 | 272 |
| 2025 | 9 | 0 | 0 | 0 | 145 | 1055 | 73 | 78 | 69 | 45 | 65 | 0 | 1539 |
| Ever | 1811 | ||||||||||||