Return to Article Details A method for specifying functions defined in terms of the Q3 - representation of real numbers and invariants in their representation. Download Download PDF