Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebr. Meth. Program., 119:100633, 2021. [doi]

This author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'James H. Davenport' in GoogleThis author has not been identified. Look up 'Matthew England' in GoogleThis author has not been identified. Look up 'Gereon Kremer' in Google

runs on WebDSL