Login / Signup

Practical use of polynomials over the reals in proofs of termination.

Salvador Lucas
Published in: PPDP (2007)
Keyphrases
  • real world
  • data sets
  • real time
  • expert systems
  • theorem proving
  • case study
  • multiscale
  • decision procedures