Find link

language:

Find link is a tool written by Edward Betts.

searching for Cylindrical algebraic decomposition 5 found (26 total)

alternate case: cylindrical algebraic decomposition

6-cube (604 words) [view diff] exact match in snippet view article find links to article

Hyper-Chaotic System". "An improved projection operation for cylindrical algebraic decomposition of three-dimensional space - ScienceDirect". Coxeter, Regular

James Renegar (1,079 words) [view diff] case mismatch in snippet view article find links to article

Decision Problem for the Reals". Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. pp. 220–241

Fourier–Motzkin elimination (2,361 words) [view diff] exact match in snippet view article find links to article

be proved using FM elimination. Real closed field – the cylindrical algebraic decomposition algorithm performs quantifier elimination over polynomial

Time complexity (5,004 words) [view diff] exact match in snippet view article find links to article

(1975). "Quantifier elimination for real closed fields by cylindrical algebraic decomposition". In Brakhage, H. (ed.). Automata Theory and Formal Languages:

Market equilibrium computation (4,073 words) [view diff] case mismatch in snippet view article find links to article

by a Family of Polynomials". Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. Vienna: Springer: