Cited By
View all- Li WPassmore GPaulson L(2019)Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOLJournal of Automated Reasoning10.1007/s10817-017-9424-662:1(69-91)Online publication date: 1-Jan-2019
- Bouzidi YLazard SPouget MRouillier F(2015)Separating linear forms and Rational Univariate Representations of bivariate systemsJournal of Symbolic Computation10.1016/j.jsc.2014.08.00968:P1(84-119)Online publication date: 1-May-2015
- Chen CMoreno Maza M(2014)Cylindrical Algebraic Decomposition in the RegularChains LibraryMathematical Software – ICMS 201410.1007/978-3-662-44199-2_65(425-433)Online publication date: 2014
- Show More Cited By