A proof of Hilbert's theorem on ternary quartic forms with the ladder technique.

Jia Xu Yong Yao

Published in: CoRR (2017)

Keyphrases

interactive theorem proving
theorem proving
computer vision
image sequences
theorem prover
linear logic
information systems
image segmentation
evolutionary algorithm
steady state
natural deduction
digital topology
intuitionistic logic