Login / Signup

Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition.

Hidenao IwaneAkifumi KiraHirokazu Anai
Published in: CASC (2011)
Keyphrases
  • dynamic programming
  • databases
  • optimal design
  • data sets
  • bayesian networks
  • objective function
  • data structure
  • higher order
  • construction process
  • decomposition algorithm
  • symbolic data
  • computer algebra