Matroid Valuation on Independent Sets

Recently Dress and Wenzel introduced the concept of a valuated matroid in terms of a quantitative extension of the basis exchange axiom for matroids. This paper gives two sets of cryptomorphically equivalent axioms of valuated matroids in terms of a function defined on the family of the independent sets of the underlying matroid.