Computations
A computation that anybody can run again, with its output and its certificate.
- Concepts 1158
- Definitions 1032
- Statements 1079
- Conjectures 2
- Problems 7
- Examples 91
- Counterexamples 25
- Objects 38
- Proofs 0
- Computations 1
- Topics 0
| Name | Tag | Kind | Level | MSC |
|---|---|---|---|---|
| The subgroups of the symmetric group S4 | AAYEQE | computation | W0 |