constants
Automatic numbering of constants.
- Version:
- Copyright:
- License:
- Packaged on:
- 4/2/2008 3:57:12 PM
- Number of files:
- 5
- Size on disk:
- 56.62 kB
The package provides a way to number constants in a mathematical proof automatically, with a system for labelling/referencing. In addition, several families of constants (with different symbols) may be defined.