Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD ARITHMETIC AND LOGIC UNITS,COMPUTER *END*INIT* use /tmp/qspiwww.webspi1/31815.56 QRY 131.225.70.96 . find keyword arithmetic and logic units,computer ( in books using www Cover
Image
Call number:SPRINGER-2002-9783709105252:ONLINE Show nearby items on shelf
Title:Advanced Arithmetic for the Digital Computer Design of Arithmetic Units
Author(s): Ulrich W Kulisch
Date:2002
Size:1 online resource (1 p.)
Note:10.1007/978-3-7091-0525-2
Contents:1. Fast and Accurate Vector Operations -- 1.1 Introduction -- 1.2 Implementation Principles -- 1.3 High-Performance Scalar Product Units (SPU) -- 1.4 Comments on the Scalar Product Units -- 1.5.1 Scalar Product Units for
Top-Performance Computers -- 1.6 Hardware Accumulation Window -- 1.7 Theoretical Foundation of Advanced Computer Arithmetic -- Bibliography and Related Literature -- 2. Rounding Near Zero -- 2.1 The one dimensional case -- 2.2 Rounding
in product spaces -- Bibliography and Related Literature -- 3. Interval Arithmetic Revisited -- 3.1 Introduction and Historical Remarks -- 3.2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3.3 Interval
Arithmetic as Executable Set Operations -- 3.4 Enclosing the Range of Function Values -- 3.5 The Interval Newton Method -- 3.6 Extended Interval Arithmetic -- 3.7 The Extended Interval Newton Method -- 3.8 Differentiation Arithmetic,
Enclosures of Derivatives -- 3.9 Interval Arithmetic on the Computer -- 3.10 Hardware Support for Interval Arithmetic
ISBN:9783709105252
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Arithmetic and logic units, Computer , Microprocessors , Architecture, Computer , Algorithms , Computer mathematics , Numerical analysis , Mathematics , Computational Science and Engineering , Arithmetic and Logic Structures , Processor Architectures , Computer System Implementation , Algorithms , Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783709162804:ONLINE Show nearby items on shelf
Title:Symbolic Algebraic Methods and Verification Methods
Author(s):
Date:2001
Size:1 online resource (266 p.)
Note:10.1007/978-3-7091-6280-4
Contents:Topological Concepts for Hierarchies of Variables, Types and Controls -- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem -- Symbolic-Numeric Algorithms for Polynomials: Some Recent Results --
Symbolic-Numeric QD-Algorithms with Applications in Function Theory and Linear Algebra -- On the Isoefficiency of the Parallel Descartes Method -- Matrix Methods for Solving Algebraic Systems -- A Feasibility Result for Interval
Gaussian Elimination Relying on Graph Structure -- Solution of Systems of Polynomial Equations by Using Bernstein Expansion -- Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming -- Translation of Taylor
Series into LFT Expansions -- Quasi Convex-Concave Extensions -- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic -- Derivative-Based Sub division in Multi-dimensional Verified Gaussian Quadrature --
On the Shape of the Fixed Points of [f]([x]) = [A][x] + [b] -- Exact Computation with leda_real - Theory and Geometrie Applications -- Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations -- Geometric Series
Bounds for the Local Errors of Taylor Methods for Linear n-th-Order ODEs -- Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems -- Fast Verification Algorithms in MATLAB -- The Linear Complementarity
Problem with Interval Data -- Some Numerical Methods for Nonlinear Least Squares Problems -- A New Insight of the Shortley-Weller Approximation for Diriehlet Problems -- How Orthogonality is Lost in Krylov Methods
ISBN:9783709162804
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Arithmetic and logic units, Computer , Computers , Computer science , Algebra , Algorithms , Numerical analysis , Mathematics , Numerical Analysis , Algebra , Theory of Computation , Algorithms , Symbolic and Algebraic Manipulation , Arithmetic and Logic Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783540470212:ONLINE Show nearby items on shelf
Title:Primality Testing and Abelian Varieties Over Finite Fields
Author(s): Leonard M Adleman
Date:1992
Size:1 online resource (144 p.)
Note:10.1007/BFb0090185
Contents:Acknowledgement -- Overview of the algorithm and the proof of the main theorem -- Reduction of main theorem to three propositions -- Proof of proposition 1 -- Proof of proposition 2 -- Proof of proposition 3
ISBN:9783540470212
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1512
Keywords: Mathematics , Arithmetic and logic units, Computer , Computers , Number theory , Combinatorics , Mathematics , Number Theory , Theory of Computation , Combinatorics , Arithmetic and Logic Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1981-9783642678295:ONLINE Show nearby items on shelf
Title:Applications of Number Theory to Numerical Analysis
Author(s): Hua Loo Keng
Date:1981
Size:1 online resource (244 p.)
Note:10.1007/978-3-642-67829-5
Contents:1. Algebraic Number Fields and Rational Approximation -- §1.1. The units of algebraic number fields -- §1.2. The simultaneous Biophantine approximation of an integral basis -- §1.3. The real eyelotomie field -- §1.4. The units of a
eyelotomie field -- §1.5. Continuation -- §1.6. The Drriehlet field -- §1.7. The cubic field -- Notes -- 2. Recurrence Relations and Rational Approximation -- §2.1. The recurrence formula for the elementary symmetric fonction -- §2.2.
The generalization of Sn -- §2.3. PV numbers -- § 2.4. The roots of the equation F(x) = 0 -- §2.5. The roots of the equation G(x) = 0 -- §2.6. The roots of the equation E(x) = 0 -- §2.7. The irreducibility of a polynomial -- §2.8. The
rational approximations of ?, ?, ? -- Notes -- 3. Uniform Distribution -- §3.1. Uniform distribution -- §3.2. Vinogradov’s lemma -- §3.3. The exponential sum and the discrepancy -- §3.4. The number of solutions to the congruence --
§3.5. The solutions of the congruence and the discrepancy -- §3.6. The partial summation formula -- §3.7. The comparison of discrepancies -- §3.8. Eational approximation and the solutions of the congruence -- §3.9. The rational
approximation and the discrepancy -- §3.10. The lower estimate of discrepancy -- Notes -- 4. Estimation of Discrepancy -- §4.1. The set of equi-distribution -- §4.2. The Halton theorem -- §4.3. The p set -- §4.4. The gp set -- §4.5.
The eonstruetion of good points -- §4.6. The ?s set -- §4.7. The ? set -- §4.8. The ease s = 2 -- §4.9. The glp set -- Notes -- 5. Uniform Distribution and Numerical Integration -- §5.1. The function of bounded variation -- §5.2.
Uniform distribution and numerical integration -- §5.3. The lower estimation for the error term of quadrature formula -- §5.4. The quadrature formulas -- Notes -- 6. Periodic Functions -- §6.1. The classes of functions -- §6.2. Several
lemmas -- §6.3. The relations between Hs?(C), Qs?(C) and Es?(C) -- §6.4. Periodic functions -- § 6.5. Continuation -- Notes -- 7. Numerical Integration of Periodic Functions -- §7.1. The set of equi-distribution and numerical
integration -- §7.2. The p set and numerical integration -- §7.3. The gp set and numerical integration -- §7.4. The lower estimation of the error term for the quadrature formula -- §7.5. The solutions of congruences and numerical
integration -- §7.6. The glp set and numerical integration -- §7.7. The Sarygin theorem -- §7.8. The mean error of the quadrature formula -- §7.9. Continuation -- Notes -- 8. Numerical Error for Quadrature Formula -- §8.1. The
numerical error -- §8.2. The comparison of good points -- §8.3. The computation of the ? set -- §8.4. The computation of the ?s set -- §8.5. Examples of other F s sets -- §8.6. The computation of a glp set -- §8.7. Several remarks --
§8.8. Tables -- § 8.9. Some examples -- Notes -- 9. Interpolation -- §9.1. Introduction -- §9.2. The set of equi-distribution and interpolation -- §9.3. Several lemmas -- §9.4. The approximate formula of the function of E?s(C) -- §9.5.
The approximate formula of the function of Q?s(C) -- §9.6. The Bernoulli polynomial and the approximate polynomial -- §9.7. The ? results -- Notes -- 10. Approximate Solution of Integral Equations and Differential Equations -- §10.1.
Several lemmas -- § 10.2. The approximate solution of the Fredholm integral equation of second type -- § 10.3. The approximate solution of the Volterra integral equation of second type -- §10.4. The eigenvalue and eigenfunction of the
Fredholm equation -- § 10.5. The Cauehy problem of the partial differential equation of the parabolic type -- § 10.6. The Diriehlet problem of the partial differential equation of the elliptic type -- § 10.7. Several remarks -- Notes
-- Appendix Tables
ISBN:9783642678295
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Arithmetic and logic units, Computer , Numerical analysis , Number theory , Mathematics , Number Theory , Numerical Analysis , Arithmetic and Logic Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1965-9783662257623:ONLINE Show nearby items on shelf
Title:Functional Analysis
Author(s): Kôsaku Yosida
Date:1965
Size:1 online resource (458 p.)
Note:10.1007/978-3-662-25762-3
Contents:0. Preliminaries -- I. Semi-norms -- II. Applications of the Baire-Hausdorff Theorem -- III. The Orthogonal Projection and F. Riesz’ Representation Theorem -- IV. The Hahn-Banach Theorems -- V. Strong Convergence and Weak Convergence -- VI. Fouri er Transform and Differential Equations -- VII. Dual Operators -- VIII. Resolvent and Spectrum -- IX. Analytical Theory of Semi-groups -- X. Compact Operators -- XI. Normed Rings and Spectral Representation -- XII. Other Representation Theorems in Linear Spaces -- XIII. Ergodic Theory and Diffusion Theory -- XIV. The Integration of the Equation of Evolution
ISBN:9783662257623
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete: 123
Keywords: Mathematics , Arithmetic and logic units, Computer , Topology , Mathematics , Topology , Arithmetic and Logic Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Return to the Fermilab Library catalog