The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Russell J. Bradford, James H. Davenport, Matthew England 0001, AmirHosein Sadeghimanesh, Ali Kemal Uncu. The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Comm. Computer Algebra, 55(3):107-111, 2021. [doi]

This author has not been identified. Look up 'Russell J. Bradford' in GoogleThis author has not been identified. Look up 'James H. Davenport' in GoogleThis author has not been identified. Look up 'Matthew England 0001' in GoogleThis author has not been identified. Look up 'AmirHosein Sadeghimanesh' in GoogleThis author has not been identified. Look up 'Ali Kemal Uncu' in Google

runs on WebDSL