Repository logo

Statistics for Working environment for automated deduction in geometry

Total visits

views
Working environment for automated deduction in geometry 17

Total visits per month

views
January 2025 1
February 2025 0
March 2025 0
April 2025 2
May 2025 3
June 2025 3
July 2025 1

File Visits

views
TD_NunoBaeta.pdf 35
TD_NunoBaeta.pdf(legacy) 10
FABUSS Training Module 6 PPT 2018.pdf(legacy) 1

Top country views

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

Top city views

views
Lisbon 4
Aguascalientes 1
Porto 1