Package group-1.9
Information
| versions | 1.9 |
| description | Parametric theory of groups |
| author | Joe Leslie-Hurd <joe@gilith.com> |
| license | MIT |
| installed | 05:01:32 on Wednesday 2 July 2014 |
For more details see the package document.
Includes
- group-thm-1.4 — Consequences of the group axioms and subtraction
- group-abelian-1.9 — Abelian groups
- group-def-1.10 — Definition of group subtraction
- group-mult-1.9 — Group scalar multiplication
- group-crypt-1.8 — Group cryptography
Mordor OpenTheory Repo, maintained by