Constructive Proofs of some Positivstellensätze for Compact Semialgebraic Subsets of ℝ d.

Gennadiy Averkov

Published in: J. Optim. Theory Appl. (2013)

Keyphrases

theorem proving
theorem prover
real time
formal proofs
database
image processing
association rules
artificial neural networks
control system
natural deduction