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

01/28/2017
by   Jia Xu, et al.
0

This paper proposes a totally constructive approach for the proof of Hilbert's theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbert's theorem is proved vividly.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/18/2021

A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem

A direct proof of the Steiner-Lehmus theorem has eluded geometers for ov...
research
05/02/2021

A structured proof of the Kolmogorov superposition theorem

We present a well-structured detailed exposition of a well-known proof o...
research
04/25/2019

The Epsilon Calculus with Equality and Herbrand Complexity

Hilbert's epsilon calculus is an extension of elementary or predicate ca...
research
03/10/2020

Hilbert's Tenth Problem in Coq

We formalise the undecidability of solvability of Diophantine equations,...
research
06/23/2021

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle

How difficult are interactive theorem provers to use? We respond by revi...
research
10/25/2021

A Constructive Proof of the Glivenko-Cantelli Theorem

The Glivenko-Cantelli theorem states that the empirical distribution fun...

Please sign up or login with your details

Forgot password? Click here to reset