Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition.

Adam W. Strzebonski

Published in: CoRR (2014)

Keyphrases

space reduction
artificial intelligence
efficient computation
linear algebra
neural network
case study
algebraic structure
database
databases
information systems
image segmentation
parallel computation