Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition

doi 10.1145/2755996.2756678
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Regular Cylindrical Algebraic Decomposition

Journal of the London Mathematical Society
Mathematics
2019English

Equational Theories and Database Constraints

1985English

Set Constraints in Some Equational Theories

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Lambda Calculus With Algebraic Simplification for Reduction Parallelization by Equational Reasoning

Proceedings of the ACM on Programming Languages
2019English

Improving the Accuracy of the Manufacture of Cylindrical Gears

2019English

Improving the Stability of Algebraic Curves for Applications

IEEE Transactions on Image Processing
Computer GraphicsComputer-Aided DesignSoftware
2000English

Control and Optimization With Differential-Algebraic Constraints

2012English

Substrate Concentration Constraints on Microbial Decomposition

Soil Biology and Biochemistry
Soil ScienceMicrobiology
2014English

Algebraic Operations on PQ Trees and Modular Decomposition Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy