Jeremy R. JohnsonWerner KrandickKevin LynchDavid G. RichardsonAnatole D. RuslanovHigh-performance implementations of the Descartes method.154-1612006conf/issac/2006ISSAChttps://doi.org/10.1145/1145768.1145797db/conf/issac/issac2006.html#JohnsonKLRR06