paper

Integer formula encoding SageTeX package

arXiv:1407.0039

Abstract

The paper describes a SageTeX implementation of an integer encoding procedures.

References in corpus (1)