Statistik för Formalisering av algoritmer och matematiska bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect
Totalt antal besök
| views | |
|---|---|
| Formalisering av algoritmer och matematiska bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect | 39 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 203645.pdf | 12 |
Visningar per land (topp)
| views | |
|---|---|
| United States | 15 |
| Sweden | 12 |
| Germany | 5 |
| China | 4 |
| Singapore | 2 |
| France | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Ashburn | 9 |
| Gothenburg | 4 |
| Mountain View | 3 |
| Bandhagen | 2 |
| Beijing | 2 |
| Singapore | 2 |
| Des Moines | 1 |
| Huntsville | 1 |
| Kungälv | 1 |
| Myggenaes | 1 |
| Västervik | 1 |
| Örebro | 1 |