Symmetrical piecewise linear functions composed by absolute value function
From MaRDI portal
Publication:6557126
DOI10.2478/forma-2023-0024zbMath1540.68289MaRDI QIDQ6557126
Publication date: 18 June 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Theory of fuzzy sets, etc. (03E72) Formalization of mathematics in connection with theorem provers (68V20)
This page was built for publication: Symmetrical piecewise linear functions composed by absolute value function