Login / Signup

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.

César A. MuñozAnthony J. NarkawiczAaron Dutle
Published in: J. Formaliz. Reason. (2018)
Keyphrases
  • computer systems
  • building blocks
  • computer vision
  • decision making
  • website
  • case study
  • search algorithm
  • decision rules
  • data sets
  • web services
  • artificial neural networks
  • distributed systems
  • learning systems