Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Valérie Ménissier-Morain"'
Publikováno v:
Information and Computation
Information and Computation, 2012, 216, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
Information and Computation, Elsevier, 2012, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
Information and Computation, 2012, 216, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
Information and Computation, Elsevier, 2012, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
International audience; Several different techniques and softwares intend to improve the accuracy of resultscomputed in a fixed finite precision. Here we focus on methods to improve the accuracyof summation, dot product and polynomial evaluation. Suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59cafd590075aa2b8682f337444c0ec8
https://doi.org/10.1016/j.ic.2011.09.003
https://doi.org/10.1016/j.ic.2011.09.003
Autor:
Valérie Ménissier-Morain
Publikováno v:
The Journal of Logic and Algebraic Programming. 64(1):13-39
We describe here a representation of computable real numbers and a set of algorithms for the elementary functions associated to this representation. A real number is represented as a sequence of finite B -adic numbers and for each classical function
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67e1e6874f47e6a3d2f4136659cc17e7
Publikováno v:
Calculemus
Calculemus workshop of FLOC'99
Calculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
Calculemus workshop of FLOC'99
Calculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
International audience; The FOC project, started at the fall 1997, is aimed to build a programming environment for the development of certified symbolic computation. The working languages are Coq and Ocaml. In this paper, we present first the motivat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70ad4cfebff30add604c5d36631fb70c
https://doi.org/10.1016/s1571-0661(05)80609-7
https://doi.org/10.1016/s1571-0661(05)80609-7
Autor:
Cohen, Julien
Publikováno v:
Journées francophones des langages applicatifs
Journées francophones des langages applicatifs, Jan 2004, Sainte-Marie-de-Ré, France. pp.37-54
Journées francophones des langages applicatifs, Jan 2004, Sainte-Marie-de-Ré, France. pp.37-54
National audience; Topological collections allow to consider uniformly many data structures in programming languages and are handled by functions defined by pattern matching called transformations. We present two type systems for languages with topol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e36a7a09de93abf28e0d00ae34584ea
https://hal.science/hal-00442431/document
https://hal.science/hal-00442431/document
