%0 Journal Article
%T Valuation Theory. Part I
%A Grzegorz Bancerek
%A Hidetsune Kobayashi
%A Artur Korni owicz
%J Formalized Mathematics
%@ 1898-9934
%D 2012
%I 
%R 10.2478/v10037-012-0002-4
%X In the article we introduce a valuation function over a field [1]. Ring of non negative elements and its ideal of positive elements have been also defined.
%U http://versita.metapress.com/content/j581371j87884484/?p=430716bb19384440aaea6ce45ed7408d&pi=1