Publication | Closed Access
Cylindrical Algebraic Decomposition using validated numerics
126
Citations
16
References
2006
Year
Numerical AnalysisNumerical ComputationEngineeringValidated NumericsNumerical SimulationAlgebraic MethodComputer-aided DesignCylindrical Algebraic Decomposition
| Year | Citations | |
|---|---|---|
Page 1
Page 1