Paper Info
Title
Characteristic Properties of Majorant-Computability over the Reals
Abstract
. Characteristic properties of majorant-computable real-valuedfunctions are studied. A formal theory of computability over the realswhich satisfies the requirements of numerical analysis used in ComputerScience is constructed on the base of the definition of majorant-computabilityproposed in [13]. A model-theoretical characterization of majorantcomputabilityreal-valued functions and their domains is investigated.A theorem which connects the graph of a majorant-computable functionwith...
Year
DOI
Venue
1998
10.1007/10703163_14
CSL
Keywords
Field
DocType
characteristic properties,value function,numerical analysis,satisfiability
Discrete mathematics,Graph,Combinatorics,Hereditarily finite set,Theory,Computability,Recursive functions,Numerical analysis,Mathematics,Computational complexity theory
Conference
ISBN
Citations 
PageRank 
3-540-65922-6
12
0.90
References 
Authors
2
2
Name
Order
Citations
PageRank
Margarita V. Korovina18415.61
Oleg V. Kudinov210515.85