Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
42
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,091
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FM 2015: Formal Methods
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
other
Author(s):
Alexey Solovyev
,
Charles Jacobsen
,
Zvonimir Rakamarić
,
Ganesh Gopalakrishnan
Publication date
(Print):
2015
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Relatedness Matrix Estimation
Most cited references
42
Record
: found
Abstract
: not found
Book Chapter
: not found
Z3: An Efficient SMT Solver
Leonardo de Moura
,
Nikolaj Bjørner
(2008)
0
comments
Cited
131
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
MPFR
Laurent Fousse
,
Paul Zimmermann
,
Patrick Pelissier
…
(2007)
0
comments
Cited
48
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The ASTREÉ Analyzer
Patrick Cousot
,
Radhia Cousot
,
Jérôme Feret
…
(2005)
0
comments
Cited
39
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Pages
: 532-550
DOI:
10.1007/978-3-319-19249-9_33
SO-VID:
61abfb1d-ec12-4d37-8a55-a3530b04bcbc
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 265
QPMC: A Model Checker for Quantum Programs and Protocols
pp. 308
Verifying the Safety of a Flight-Critical System
pp. 414
A Fully Verified Container Library
pp. 532
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Similar content
2,091
To answer quickly or rigorously? Scientific strategies for the new surgical questions after the emergence of COVID-19
⋆
Translated title: ¿Responder con rapidez o con rigor? Estrategias científicas ante las nuevas preguntas de los cirujanos tras la irrupción de la COVID-19
Authors:
Javier Osorio
,
Zoilo Madrazo
,
Sebastiano Biondo
Supporting robust, rigorous, and reliable reviewing as the cornerstone of our profession: Introducing a competency framework for peer review
Authors:
Tine Köhler
,
M. González-Morales
,
George C. Banks
…
GAMES: A Dynamic Model Development Workflow for Rigorous Characterization of Synthetic Genetic Systems.
Authors:
Kate E Dray
,
Joseph J Muldoon
,
Niall M Mangan
…
See all similar
Cited by
8
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Authors:
Alexey Solovyev
,
Charles Jacobsen
,
Zvonimir Rakamarić
…
Improving the numerical accuracy of programs by automatic transformation
Authors:
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Combining Tools for Optimization and Analysis of Floating-Point Computations
Authors:
Heiko Becker
,
Pavel Panchekha
,
Eva Darulova
…
See all cited by