Pages that link to "Item:Q1355986"
From MaRDI portal
The following pages link to Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993 (Q1355986):
Displaying 17 items.
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs (Q5041068) (← links)
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing (Q5063249) (← links)
- Thirty Years of Virtual Substitution (Q5120170) (← links)
- A repository for CAD examples (Q5176436) (← links)
- Feferman on Computability (Q5214780) (← links)
- Automatic Symmetrization and Energy Estimates Using Local Operators for Partial Differential Equations (Q5421513) (← links)
- A Computer Proof of Moll’s Log-Concavity Conjecture (Q5423939) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
- On types of isolated KKT points in polynomial optimization (Q6594973) (← links)
