Formalization of the Equivalence among Completeness Theorems of Real Number in Coq by Yaoshun Fu, Wensheng Yu

Subjects: “…real number theory…”
Get full text

On the Heron's method for approximating the cubic root of a real number by Dan Luca, Ion Păvăloiu

Get full text

Decision problems for linear recurrences involving arbitrary real numbers by Eike Neumann

“…We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. …”
Get full text

On certain Banach spaces of difference sequences of fuzzy real numbers by Hemen Dutta

Subjects: “…fuzzy real numbers…”
Get full text

Lattices from totally real number fields with large regulator by Ong, Soon Sheng, Oggier, Frédérique

“…We look for examples of totally real number fields with large regulator and inert small primes inside some families of cyclotomic fields. …”
Get full text
Get full text
Get full text

A Note on the Reality of Incomputable Real Numbers and Its Systemic Significance by Gianfranco Minati

“…In this regard, we focus on Incomputable (lacking an algorithm that computes in finite time) Real Numbers (IRNs). We consider how, for measurements, the usual approach to dealing with IRNs is to approximate to avoid the need for more detailed, unrealistic surveys. …”
Get full text

Physical Computing: Unifying Real Number Computation to Enable Energy Efficient Computing by Jennifer Hasler, Eric Black

Get full text

Real number approximation by a rational number in the approximating k-ary algorithm by R.R. Enikeev

Get full text

On Some Properties Of 0-Expansions Of Real Numbers Related To Regular Continued Fraction Expansion by Muhammad, Khairun Nisak

“…This introductory chapter discusses background study of continued fraction expansions of real numbers which highlights the development of various types of continued fraction expansions. …”
Get full text

Exploring Hardware Fault Impacts on Different Real Number Representations of the Structural Resilience of TCUs in GPUs by Robert Limas Sierra, Juan-David Guerrero-Balaguera, Josie E. Rodriguez Condia, Matteo Sonza Reorda

Subjects: Get full text

Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers by José Grimm

Subjects: Get full text

Multi-objective steel plate cutting optimization problem based on real number coding genetic algorithm by Jianqiao Xu, Wenguo Yang

Get full text

Detecting and Recovering Integer Data Manipulated by Multiplication With a Nonintegral Real Number and a Rounding Operation by Taejung Park, Hyunjoo Song, Sang June Lee

“…From our mathematical analysis of the manipulation process, we can prove that the nonintegral real number (<inline-formula> <tex-math notation="LaTeX">$\alpha $ </tex-math></inline-formula>) used in the multiplication exists not as a single real number but as an interval containing infinitely many real numbers, any of which could have been used to produce the same manipulation result. …”
Get full text

Generalized difference strongly summable sequence spaces of fuzzy real numbers defined by ideal convergence and Orlicz function by Kilicman, Adem, Borgohain, Stuti

“…We study some new generalized difference strongly summable sequence spaces of fuzzy real numbers using ideal convergence and an Orlicz function in connection with de la Vallèe Poussin mean. …”
Get full text

APPLICATIONS OF THE FRACTIONAL DIFFERENCE OPERATOR FOR STUDYING EULER STATISTICAL CONVERGENCE OF SEQUENCES OF FUZZY REAL NUMBERS AND ASSOCIATED KOROVKIN-TYPE THEOREMS by Kuldip Raj, Kavita Saini, M. Mursaleen

Subjects: “…sequences of fuzzy real numbers…”
Get full text

Applications of <i>q</i>-Real Numbers to Triple <i>q</i>-Hypergeometric Functions and <i>q</i>-Horn Functions by Thomas Ernst

“…The purpose of this article is to study how <i>q</i>-real numbers can be used for computations of convergence regions, <i>q</i>-integral representations of certain multiple triple <i>q</i>-Lauricella functions. …”
Get full text

Emergency avoidance control system for an automatic vehicle (A method to generate operating waveforms using real number coded immune algorithm) by Masafumi HAMAGUCHI, Masanori TAKENO, Takao TANIGUCHI

“…Operation waveforms are generated by linear interpolation through designated data points. Real number type IA, which is coded real number expression, is adopted in order to find data points. …”
Get full text

A heuristic solution to Fermat's last theorem by Sóstenes Rônmel da Cruz, Cleomacio Miguel da Silva, Agrinaldo Jacinto do Nascimento Júnior

Subjects: “…Algebra. Trigonometry. Real Numbers. Math Analysis.…”
Get full text

Do citations and impact factors relate to the real numbers in publications? A case study of citation rates, impact, and effect sizes in ecology and evolutionary biology. by Lortie, C, Aarssen, L, Budden, A, Leimu, R

Do citations and impact factors relate to the real numbers in publications? A case study of citation rates, impact, and effect sizes in ecology and evolutionary biology by Lortie, C, Aarssen, L, Budden, A, Leimu, R