SourceForge.net Logo
project summary

 

Fundamental Properties of Valuation Theory and Hensel's Lemma

 

Title: Fundamental Properties of Valuation Theory and Hensel's Lemma
Author: Hidetsune Kobayashi
Submission date: 2007-07-21
Abstract: Convergence with respect to a valuation is discussed as convergence of a Cauchy sequence. Cauchy sequences of polynomials are defined. They are used to formalize Hensel's lemma.

 

$Date: 2009-04-29 14:31:29 $, $Revision: 1.1 $