Next:
Proof of lemma 2
Up:
Order of Magnitude Comparisons
Previous:
Acknowledgements
Appendix A. Proofs
In this appendix, we give the proofs of the various results asserted in the body of the paper.
Proof of lemma 2
Proof of Theorem 1
Proof of Theorem 2
Proof of algorithm for non-strict comparisons
Validation of algorithm solve_constraints2
Proof of Theorem 3
Proof of theorem 4
