The CAD Conundrum: Lex-Least vs Order

Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran. The CAD Conundrum: Lex-Least vs Order. In 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. pages 32-35, IEEE, 2020. [doi]

Abstract

Abstract is missing.