Results 171 to 180 of about 40,102 (181)

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science, 2013
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai   +2 more
exaly  

Analytical solutions for the minimum weight design of trusses by cylindrical algebraic decomposition

, 2018
A. Charalampakis, I. Chatzigiannelis
semanticscholar   +1 more source

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition

Mathematics in Computer Science, 2011
Masaaki Kanno, Hirokazu Anai, Yokoyama Kazuhiro   +2 more
exaly  

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Mathematics in Computer Science, 2019
Matthew England, James H Davenport, Lawrence C Paulson   +2 more
exaly  

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane

SIAM Journal on Computing, 1984
Dennis S Arnon, George E Collins, Scott Mccallum   +2 more
exaly  

A geometric approach to cylindrical algebraic decomposition

Mathematics of Computation
Rizeng Chen
exaly  

Cylindrical algebraic decomposition

openaire   +1 more source

Towards computing non algebraic cylindrical decompositions

Proceedings of the 1991 international symposium on Symbolic and algebraic computation, 1991
openaire   +1 more source

Simplification of truth-invariant cylindrical algebraic decompositions

Proceedings of the 1998 international symposium on Symbolic and algebraic computation, 1998
openaire   +1 more source

Factorization in Cylindrical Algebraic Decomposition.

openaire   +1 more source