Suchergebnisse - "floating-point algorithm"

Floating-point versus Symbolic Computations in theQD-algorithm: Floating-point versus symbolic computations in the \(qd\)-algorithm

Autoren: Cuyt, Annie A.M.

Quelle: Journal of symbolic computation
Communications Anal. Th. Cont. Fr.

Schlagwörter: Extrapolation to the limit, deferred corrections, 0209 industrial biotechnology, convergence, Algebra and Number Theory, \(qd\)-algorithm, quotient-difference algorithm, 02 engineering and technology, Symbolic computation and algebraic computation, 01 natural sciences, continued fraction, Computational Mathematics, General theory of numerical methods in complex analysis (potential theory, etc.), 0101 mathematics, equivalence transformation, Continued fractions, complex-analytic aspects, floating-point algorithm

Dateibeschreibung: application/xml

Zugangs-URL: https://core.ac.uk/display/24334577
https://www.sciencedirect.com/science/article/pii/S0747717197901620#!
https://dblp.uni-trier.de/db/journals/jsc/jsc24.html#Cuyt97
https://www.sciencedirect.com/science/article/abs/pii/S0747717197901620
https://hdl.handle.net/10067/209890151162165141
https://hdl.handle.net/10067/123910151162165141

Computing convex hull in a floating point arithmetic

Autoren: Grzegorz W. Wasilkowski Jerzy W. Jaromczyk

Quelle: Computational Geometry. 4:283-292

Schlagwörter: convex hulls, Control and Optimization, Numerical stability, 0102 computer and information sciences, 02 engineering and technology, Convex sets in \(2\) dimensions (including convex curves), 01 natural sciences, Computer Science Applications, algorithm \({\mathbf{Convex}}\), Computational Mathematics, Computational Theory and Mathematics, Numerical aspects of computer graphics, image analysis, and computational geometry, Computer graphics, computational geometry (digital and algorithmic aspects), Convex hull, 0202 electrical engineering, electronic engineering, information engineering, floating point algorithm, Geometry and Topology

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/pii/0925772194000174
https://dblp.uni-trier.de/db/journals/comgeo/comgeo4.html#JaromczykW94
http://dblp.uni-trier.de/db/journals/comgeo/comgeo4.html#JaromczykW94
https://doi.org/10.1016/0925-7721(94)00017-4
https://core.ac.uk/display/82450302
https://www.sciencedirect.com/science/article/abs/pii/0925772194000174

Loop invariants in floating point algorithms

Autoren: Karl-Udo Jahn

Quelle: Computing. 50:255-264

Schlagwörter: loop invariants, Specification and verification (program logics, model checking, etc.), Roundoff error, loop conditions, Interval and finite arithmetic, numerical algorithms, rounding errors, 0202 electrical engineering, electronic engineering, information engineering, floating point algorithm, result verification, 02 engineering and technology, enclosure sets, directing roundings

Dateibeschreibung: application/xml

Zugangs-URL: https://link.springer.com/article/10.1007/BF02243815
https://link.springer.com/content/pdf/10.1007/BF02243815.pdf
https://dblp.uni-trier.de/db/journals/computing/computing50.html#Jahn93