Login / Signup

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.

Matthew EnglandDavid J. WilsonRussell J. BradfordJames H. Davenport
Published in: ICMS (2014)
Keyphrases
  • wavelet transform
  • singular value decomposition
  • real time
  • linear algebra
  • hidden markov models
  • higher order
  • data sets
  • neural network
  • database systems
  • lower dimensional