Computations
A computation that anybody can run again, with its output and its certificate.
- Concepts 5206
- Definitions 5027
- Statements 3081
- Conjectures 75
- Problems 147
- Examples 431
- Counterexamples 71
- Objects 132
- Proofs 11
- Computations 1
- Topics 1
Ideas 1–1 of 1.
| Name | Kind | Subject |
|---|---|---|
| The subgroups of the symmetric group S4 | Computation |