Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthew England
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
Related publications
Regular Cylindrical Algebraic Decomposition
Journal of the London Mathematical Society
Mathematics
Equational Theories and Database Constraints
Set Constraints in Some Equational Theories
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Lambda Calculus With Algebraic Simplification for Reduction Parallelization by Equational Reasoning
Proceedings of the ACM on Programming Languages
Improving the Accuracy of the Manufacture of Cylindrical Gears
Improving the Stability of Algebraic Curves for Applications
IEEE Transactions on Image Processing
Computer Graphics
Computer-Aided Design
Software
Control and Optimization With Differential-Algebraic Constraints
Substrate Concentration Constraints on Microbial Decomposition
Soil Biology and Biochemistry
Soil Science
Microbiology
Algebraic Operations on PQ Trees and Modular Decomposition Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science