Repository logo

Statistics for Working environment for automated deduction in geometry

Total visits

views
Working environment for automated deduction in geometry 29

Total visits per month

views
April 2025 2
May 2025 3
June 2025 3
July 2025 3
August 2025 0
September 2025 0
October 2025 0

File Visits

views
TD_NunoBaeta.pdf 53
FABUSS Training Module 6 PPT 2018.pdf 1

Top country views

views
Portugal 17
United States 4
Brazil 3
China 2
Angola 1
Germany 1
Mexico 1

Top city views

views
Lisbon 4
São José dos Campos 2
Aguascalientes 1
Porto 1