Results 1  10
of
46,509
Basic Properties of Real Numbers
 Journal of Formalized Mathematics
, 1989
"... this paper. A real number is an element of R ..."
Theorem Proving with the Real Numbers
, 1996
"... This thesis discusses the use of the real numbers in theorem proving. Typically, theorem provers only support a few `discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification ..."
Abstract

Cited by 119 (13 self)
 Add to MetaCart
This thesis discusses the use of the real numbers in theorem proving. Typically, theorem provers only support a few `discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification
PCF extended with real numbers
, 1996
"... We extend the programming language PCF with a type for (total and partial) real numbers. By a partial real number we mean an element of a cpo of intervals, whose subspace of maximal elements (singlepoint intervals) is homeomorphic to the Euclidean real line. We show that partial real numbers can be ..."
Abstract

Cited by 55 (15 self)
 Add to MetaCart
We extend the programming language PCF with a type for (total and partial) real numbers. By a partial real number we mean an element of a cpo of intervals, whose subspace of maximal elements (singlepoint intervals) is homeomorphic to the Euclidean real line. We show that partial real numbers can
Symbolic Model Checking for Realtime Systems
 INFORMATION AND COMPUTATION
, 1992
"... We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given in an ..."
Abstract

Cited by 578 (50 self)
 Add to MetaCart
We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given
Real numbers and other completions
, 2007
"... A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete
On statistically convergent sequences of real numbers
 Math. Slovaca
"... The notion of the statistical convergence of sequences of real numbers was introduced in papers [1] and [5]. In the present paper we shall show that the set of all bounded statistically convergent sequences of real numbers is a nowhere dense subset of the linear normed space m (with the supnorm) of ..."
Abstract

Cited by 75 (1 self)
 Add to MetaCart
The notion of the statistical convergence of sequences of real numbers was introduced in papers [1] and [5]. In the present paper we shall show that the set of all bounded statistically convergent sequences of real numbers is a nowhere dense subset of the linear normed space m (with the sup
Topological Properties of Subsets in Real Numbers
 JOURNAL OF FORMALIZED MATHEMATICS
, 2002
"... ..."
The fundamental properties of natural numbers
 Journal of Formalized Mathematics
, 1989
"... Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1.h ..."
Abstract

Cited by 688 (73 self)
 Add to MetaCart
.html The articles [4], [6], [1], [2], [5], and [3] provide the notation and terminology for this paper. A natural number is an element of N. For simplicity, we use the following convention: x is a real number, k, l, m, n are natural numbers, h, i, j are natural numbers, and X is a subset of R
BASES FOR INTERVALS OF REAL NUMBERS
"... In this paper we discuss the problem of representing uniquely each real number in the interval (0, c] , where c is any positive real number, as an infinite series of terms selected from a sequence (b) of real numbers. choose an integer k ^ 1 and require that any two terms of (b) whose suffices ..."
Abstract
 Add to MetaCart
In this paper we discuss the problem of representing uniquely each real number in the interval (0, c] , where c is any positive real number, as an infinite series of terms selected from a sequence (b) of real numbers. choose an integer k ^ 1 and require that any two terms of (b) whose suffices
Formal and real authority in organizations
 The Journal of Political Economy
, 1997
"... This paper develops a theory of the allocation of formal authority (the right to decide) and real authority (the effective control over decisions) within organizations, and it illustrates how a formally integrated structure can accommodate various degrees of "real" integration. Real author ..."
Abstract

Cited by 856 (24 self)
 Add to MetaCart
of formal authority within organizations, the paper examines a number of factors that increase the subordinates ' real authority in a formally integrated structure: overload, lenient rules, urgency of decision, reputation, performance measurement, and multiplicity of superiors. Finally, the amount
Results 1  10
of
46,509