algebraic extensions algebraic proof systems algorithms autocorrelation automatic proof checking autonomous driving boolean polynomials CoCoA and MathSAT computer algebra constraint solving constraint systems cylindrical algebraic decomposition factorization
economic reasoning equational constraints Hadamard matrices incremental interval arithmetics interval propagation knot theory linear clauses logic Maple multiplier veri cation natural-style proofs non-linear arithmetic non-linear real arithmetic polynomial calculus 61, 88 quanti er elimination real algebraic geometry real roots SAT solving satis ability checking satis ability modulo theories SATsolvers SMT SMT solving SMTLIB symbolic computation tra c scenarios 48, 110 77 88 33 122 48
1 3, 110, 118 19, 77
118 77, 122