constants

Automatic numbering of constants.

Version:
Copyright:
License:
Packaged on:
04/02/2008 15:57:12
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.