Results 1  10
of
816,668
Basic properties of rational numbers
 Journal of Formalized Mathematics
, 1990
"... Summary. A definition of rational numbers and some basic properties of them. Operations of addition, subtraction, multiplication are redefined for rational numbers. Functors numerator (num p) and denominator (den p) (p is rational) are defined and some properties of them are presented. Density of ra ..."
Abstract

Cited by 38 (1 self)
 Add to MetaCart
Summary. A definition of rational numbers and some basic properties of them. Operations of addition, subtraction, multiplication are redefined for rational numbers. Functors numerator (num p) and denominator (den p) (p is rational) are defined and some properties of them are presented. Density
Automatic Sets of Rational Numbers
, 2014
"... The notion of a kautomatic set of integers is wellstudied. We develop a new notion — the kautomatic set of rational numbers — and prove basic properties of these sets, including closure properties and decidability. 1 ..."
Abstract
 Add to MetaCart
The notion of a kautomatic set of integers is wellstudied. We develop a new notion — the kautomatic set of rational numbers — and prove basic properties of these sets, including closure properties and decidability. 1
Efficient Rational Number Reconstruction
 Journal of Symbolic Computation
, 1994
"... this paper we describe how a variant of the algorithm in Jebelean [6] can be so adapted. In Section 2 we review the problem of rational reconstruction and the solution proposed by Wang, while fixing some notation and terminology along the way. We also discuss certain errors that have appeared in the ..."
Abstract

Cited by 26 (0 self)
 Add to MetaCart
in the literature. Section 3 describes a multiprecision Euclidean algorithm for computing gcds that will be the basis of our algorithm. In Section 4 we discuss our algorithm and various details that are essential for an efficient implementation. 2 Reconstructing Rational Numbers
Approximating Rational Numbers by Fractions
"... Abstract. In this paper we show a polynomialtime algorithm to find the best rational approximation of a given rational number within a given interval. As a special case, we show how to find the best rational number that after evaluating and rounding exactly matches the input number. In both results ..."
Abstract
 Add to MetaCart
Abstract. In this paper we show a polynomialtime algorithm to find the best rational approximation of a given rational number within a given interval. As a special case, we show how to find the best rational number that after evaluating and rounding exactly matches the input number. In both
The Image of Rational Numbers in Students
"... Abstract: The concept of rational number is taught at all educational levels from primary school to the university. Nevertheless, results of an exam on rational numbers administered to an experimental group of high school and university students revealed that both have difficulty comprehending these ..."
Abstract
 Add to MetaCart
Abstract: The concept of rational number is taught at all educational levels from primary school to the university. Nevertheless, results of an exam on rational numbers administered to an experimental group of high school and university students revealed that both have difficulty comprehending
Categorification of the Nonegative Rational Numbers
"... Abstract. In this document we describe a categorification of the semiring of natural numbers. We then use this result to construct a categorification of the semiring of nonnegative rational numbers. Acknowledgements: The author would like to thank Alistair Savage for his assistance and support throu ..."
Abstract
 Add to MetaCart
Abstract. In this document we describe a categorification of the semiring of natural numbers. We then use this result to construct a categorification of the semiring of nonnegative rational numbers. Acknowledgements: The author would like to thank Alistair Savage for his assistance and support
The Rational Numbers as a . . .
"... We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total functions and 12 equations. A consequence of this specification is that 0 −1 = 0, an interesting equation consistent with the ring axioms and many properties of divisi ..."
Abstract
 Add to MetaCart
We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total functions and 12 equations. A consequence of this specification is that 0 −1 = 0, an interesting equation consistent with the ring axioms and many properties
Generation of Rational Numbers By . . .
, 1994
"... The problem whether sets of rational numbers of the form 0 ! m=p n1 1 : : : p nk k ! 1, where p 1 ; : : : ; p k are prime numbers, n i 0 for all i = 1; : : : ; k and k 2, are finitely generated by probabilistic contact ßnetworks is considered. In particular, concrete finite subsets generating ..."
Abstract
 Add to MetaCart
The problem whether sets of rational numbers of the form 0 ! m=p n1 1 : : : p nk k ! 1, where p 1 ; : : : ; p k are prime numbers, n i 0 for all i = 1; : : : ; k and k 2, are finitely generated by probabilistic contact ßnetworks is considered. In particular, concrete finite subsets
Results 1  10
of
816,668