Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$

DOI10.2168/LMCS-10(3:13)2014zbMath1337.03067arXiv1407.3679OpenAlexW2003539498MaRDI QIDQ2878761

Tahereh Jafarikhah, Weihrauch, Klaus

Publication date: 5 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.3679

zbMATH Keywords

functions of bounded variationcomputable analysisfinite signed measurescomputable Jordan decomposition

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items (1)

Abstract State Machines with Exact Real Arithmetic

This page was built for publication: Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$