Login / Signup
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.
Nobuyuki Sakamoto
Kazuyuki Tanaka
Published in:
Arch. Math. Log. (2004)
Keyphrases
</>
computer vision
real world
higher order
data mining
database
databases
information retrieval
bayesian networks
real life
arithmetic operations
hessian matrix