Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Nombre réel")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 605

  • Page / 25

Selection :

  • and

Δ1/3-sets of realsJUDAH, H; SHELAH, S.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 72-80, issn 0022-4812Conference Paper

Alternative models of the real number line in physicsROSS, D. K.International journal of theoretical physics. 1984, Vol 23, Num 12, pp 1207-1219, issn 0020-7748Article

RNC'5 : real numbers and computers (Lyon, 3-5 September 2003)Daumas, Marc; Villard, Gilles; Boyer, Sylvie et al.Real numbers and computers. Conference. 2003, isbn 2-7261-1260-9, 260 p., isbn 2-7261-1260-9Conference Proceedings

Chaitin Ω numbers, Solovay machines, and Gödel incompletenessCALUDE, Cristian S.Theoretical computer science. 2002, Vol 284, Num 2, pp 269-277, issn 0304-3975Article

The arithmetical hierarchy of real numbersXIZHONG ZHENG; WEIHRAUCH, K.Lecture notes in computer science. 1999, pp 23-33, issn 0302-9743, isbn 3-540-66408-4Conference Paper

Extension of the two-variable Pierce-Birkhoff conjecture to generalized polynomialsDELZELL, Charles N.Annales de la faculté des sciences de Toulouse. 2010, Vol 19, pp 37-56, issn 0240-2963, 20 p., NSArticle

Understanding Software Complexity Issues in Software Engineering CoursesSTEELE, Stuart; YIP, Keni.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 42-47, isbn 1-60132-180-5, 6 p.Conference Paper

Comparing functional paradigms for exact real-number computationBAUER, Andrej; ESCARDO, Martin Hötzel; SIMPSON, Alex et al.Lecture notes in computer science. 2002, pp 488-500, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Characterization of the computable real numbers by means of primitive recursive functionsSKORDEV, Dimiter.Lecture notes in computer science. 2001, pp 296-309, issn 0302-9743, isbn 3-540-42197-1Conference Paper

The ordered field of real numbers and logics with malitz quantifiersRAPP, A.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 380-389, issn 0022-4812Article

A banach-mazur computable but not markov computable function on the computable real numbers: (Extended abstract)HERTLING, Peter.Lecture notes in computer science. 2002, pp 962-972, issn 0302-9743, isbn 3-540-43864-5, 11 p.Conference Paper

Exact real arithmetic systems: Results of competitionBLANCK, Jens.Lecture notes in computer science. 2001, pp 389-393, issn 0302-9743, isbn 3-540-42197-1Conference Paper

Remark on a refinement of the cauchy-schwarz inequalityLIU ZHENG.Journal of mathematical analysis and applications. 1998, Vol 218, Num 1, pp 13-21, issn 0022-247XArticle

Exact real computer arithmetic with continued fractions; Arithmétique réelle exacte par les fractions continuesVUILLEMIN, Jean.Rapports de recherche - INRIA. 1987, Vol 760, issn 0249-6399, 41 p.Report

Efficient real number representation with arbitrary radixCAULFIELD, H. J; DVORE, D. S; GRUNINGER, J. H et al.Applied optics. 1984, Vol 23, Num 18, pp 3149-3151, issn 0003-6935Article

A property of the spectra of non-Pisot numbersZAÏMI, Toufik.Comptes rendus. Mathématique. 2010, Vol 348, Num 3-4, pp 121-124, issn 1631-073X, 4 p.Article

Almost decidable predicates of real variablesQING ZHOU; WEIHAO HU.Real numbers and computers. Conference. 2003, pp 31-45, isbn 2-7261-1260-9, 15 p.Conference Paper

Solving a system of difference constraints with variables restricted to a finite setFISHBURN, John P.Information processing letters. 2002, Vol 82, Num 3, pp 143-144, issn 0020-0190Article

A tour with constructive real numbersCIAFFAGLIONE, Alberto; DI GIANANTONIO, Pietro.Lecture notes in computer science. 2002, pp 41-52, issn 0302-9743, isbn 3-540-43287-6Conference Paper

Counting problems over the realsMEER, K.Theoretical computer science. 2000, Vol 242, Num 1-2, pp 41-58, issn 0304-3975Article

A SUM-DIVISION ESTIMATE OF REALSLIANGPAN LI; JIAN SHEN; ONO, Ken et al.Proceedings of the American Mathematical Society. 2010, Vol 138, Num 1, pp 101-104, issn 0002-9939, 4 p.Article

Finding a weight-constrained maximum-density subtree in a treeHSIEH, Sun-Yuan; CHOU, Ting-Yu.Lecture notes in computer science. 2005, pp 944-953, issn 0302-9743, isbn 3-540-30935-7, 1Vol, 10 p.Conference Paper

Ershov's hierarchy of real numbersXIZHONG ZHENG; RETTINGER, Robert; GENGLER, Romain et al.Lecture notes in computer science. 2003, pp 681-690, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

Randomness and reducibilityDOWNEY, Rod G; HIRSCHFELDT, Denis R; LAFORTE, Geoff et al.Lecture notes in computer science. 2001, pp 316-327, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Infinite sum on the fuzzy real lineGEPING WANG.Fuzzy sets and systems. 1998, Vol 98, Num 2, pp 241-248, issn 0165-0114Article

  • Page / 25