Continuity of Barycentric Coordinates in Euclidean Topological Spaces
From MaRDI portal
Publication:2865743
DOI10.2478/v10037-011-0022-5zbMath1276.57020OpenAlexW2018186931MaRDI QIDQ2865743
Publication date: 3 December 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-011-0022-5
Related Items (3)
The formalization of decision-free Petri net ⋮ Weak Completeness Theorem for Propositional Linear Time Temporal Logic ⋮ Brouwer Fixed Point Theorem for Simplexes
Cites Work
This page was built for publication: Continuity of Barycentric Coordinates in Euclidean Topological Spaces
