Valuation Theory. Part I
Grzegorz Bancerek, Hidetsune Kobayashi, Artur Korniłowicz (2012)
Formalized Mathematics
Similarity:
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.