Modulus is superseeded by Sigil. While not yet up to feature parity, Sigil is based around a much stronger theoretical core, Homotopy Type Theory. Modulus is intended to bring together the development ...

Abstract: The problem of approximating the complex-valued function modulus using a minimax criterion is of interest in many technical applications, such as standard process controlling systems with ...