Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Riemann-Stieltjes Integral., , and . Formalized Mathematics, 24 (3): 199-204 (2016)The Basic Existence Theorem of Riemann-Stieltjes Integral., , and . Formalized Mathematics, 24 (4): 253-259 (2016)The Differentiable Functions from R into Rn., , and . Formalized Mathematics, 20 (1): 65-71 (2012)Differential Equations on Functions from R into Real Banach Space., , and . Formaliz. Math., 21 (4): 261-272 (2013)Fatou's Lemma and the Lebesgue's Convergence Theorem., , and . Formaliz. Math., 16 (1-4): 305-309 (2008)F. Riesz Theorem., , and . Formalized Mathematics, 25 (3): 179-184 (2017)Integral of Complex-Valued Measurable Function., , and . Formaliz. Math., 16 (1-4): 319-324 (2008)The Orthogonal Projection and the Riesz Representation Theorem., , and . Formaliz. Math., 23 (3): 243-252 (2015)The Measurability of Complex-Valued Functional Sequences., , and . Formaliz. Math., 17 (1-4): 89-97 (2009)Weak Convergence and Weak Convergence., , and . Formaliz. Math., 23 (3): 231-241 (2015)