A Linear-algebraic Proof of Hilbert's Ternary Quartic Theorem.

Anatolii Grinshpan Hugo J. Woerdeman

Published in: Am. Math. Mon. (2019)

Keyphrases

interactive theorem proving
case study
theorem proving
neural network
information retrieval
higher order
theorem prover
piecewise linear
quadratic programming
simple linear
linear logic
mathematical proofs