DeepAI AI Chat
Log In Sign Up

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

01/28/2017
by   Jia Xu, et al.
casit.ac.cn
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

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...
05/02/2021

A structured proof of the Kolmogorov superposition theorem

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

The Epsilon Calculus with Equality and Herbrand Complexity

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

Hilbert's Tenth Problem in Coq

We formalise the undecidability of solvability of Diophantine equations,...
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...
10/25/2021

A Constructive Proof of the Glivenko-Cantelli Theorem

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