Revision as of 20:48, 4 May 2024 edit 2601:447:cd80:e200:20fc:faa7:51b9:fd64 (talk) No edit summary ← Previous edit		Revision as of 20:49, 4 May 2024 edit undo 2601:447:cd80:e200:20fc:faa7:51b9:fd64 (talk) →Example of numerical application - calculating high accuracy {{pi}} Next edit →
Line 91: A different class of generalizations arise from suitable generalizations of the notion of [[metric space]], e.g. by weakening the defining axioms for the notion of metric.<ref>{{cite book \|first1=Pascal \|last1=Hitzler \| author-link1=Pascal Hitzler\|first2=Anthony \|last2=Seda \|title=Mathematical Aspects of Logic Programming Semantics \|publisher=Chapman and Hall/CRC \|year=2010 \|isbn=978-1-4398-2961-5 }}</ref> Some of these have applications, e.g., in the theory of programming semantics in theoretical computer science.<ref>{{cite journal \|first1=Anthony K. \|last1=Seda \|first2=Pascal \|last2=Hitzler \| author-link2=Pascal Hitzler\|title=Generalized Distance Functions in the Theory of Computation \|journal=The Computer Journal \|volume=53 \|issue=4 \|pages=443–464 \|year=2010 \|doi=10.1093/comjnl/bxm108 }}</ref> ==Example of numerical application -– calculating high accuracy [[Pi\|{{pi}}]]== Banach theorem allows for example fast and accurate calculation of the {{pi}} number using the trigonometric

Banach fixed-point theorem: Difference between revisions