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 SYMBOLIC AND ALGEBRAIC MANIPULATION *END*INIT* use /tmp/qspiwww.webspi1/18394.16 QRY 131.225.70.96 . find keyword symbolic and algebraic manipulation ( in books using www Cover
Image
Call number:SPRINGER-2004-9783662101766:ONLINE Show nearby items on shelf
Title:Symbolic Asymptotics
Author(s): John R Shackell
Date:2004
Size:1 online resource (243 p.)
Note:10.1007/978-3-662-10176-6
Contents:Zero Equivalence -- Hardy Fields -- Output Data Structures -- Algorithms for Function Towers -- Algebraic Differential Equations -- Inverse Functions -- Implicit Functions -- Star-Product Expansions -- Oscillating Functions --
References
ISBN:9783662101766
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 12
Keywords: Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Approximation theory , Algorithms , Mathematical models , Mathematics , Mathematical Modeling and Industrial Mathematics , Algorithms , Analysis , Symbolic and Algebraic Manipulation , Mathematics of Computing , Approximations and Expansions
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-2004-9783642593048:ONLINE Show nearby items on shelf
Title:MuPAD Tutorial
Author(s): Christopher Creutzig
Date:2004
Edition:Second Edition
Size:1 online resource (415 p.)
Note:10.1007/978-3-642-59304-8
Contents:1. Introduction -- 1.1 Numerical Computations -- 1.2 Computer Algebra -- 1.3 Characteristics of Computer Algebra Systems -- 1.4 Existing Systems -- 1.5 MuPAD -- 2. First Steps in MuPAD -- 2.1 Explanations and Help -- 2.2 Computing
with Numbers -- 2.3 Symbolic Computation -- 3. The MuPAD Libraries -- 3.1 Information About a Particular Library -- 3.2 Exporting Libraries -- 3.3 The Standard Library -- 4. MuPAD Objects -- 4.1 Operands: the Functions op and fops --
4.2 Numbers -- 4.3 Identifiers -- 4.4 Symbolic Expressions -- 4.5 Sequences -- 4.6 Lists -- 4.7 Sets -- 4.8 Tables -- 4.9 Arrays -- 4.10 Boolean Expressions -- 4.11 Strings -- 4.12 Functions -- 4.13 Series Expansions -- 4.14 Algebraic
Structures: Fields, Rings, etc. -- 4.15 Vectors and Matrices -- 4.16 Polynomials -- 4.17 Interval Arithmetic -- 4.18 Null Objects: null (), NIL, FAIL, undefined -- 5. Evaluation and Simplification -- 5.1 Identifiers and Their Values --
5.2 Complete, Incomplete, and Enforced Evaluation -- 5.3 Automatic Simplification -- 6. Substitution: subs, subsex, and subsop -- 7. Differentiation and Integration -- 7.1 Differentiation -- 7.2 Integration -- 8. Solving Equations:
solve -- 8.1 Polynomial Equations -- 8.2 General Equations and Inequalities -- 8.3 Differential Equations -- 8.4 Recurrence Equations -- 9. Manipulating Expressions -- 9.1 Transforming Expressions -- 9.2 Simplifying Expressions -- 9.3
Assumptions About Symbolic Identifiers -- 10. Chance and Probability -- 11. Graphics -- 11.1 Introduction -- 11.2 Easy Plotting: Graphs of Functions -- 11.3 Advanced Plotting: Principles and First Examples -- 11.4 The Full Picture:
Graphical Trees -- 11.5 Viewer, Browser, and Inspector: Interactive Manipulation -- 11.6 Primitives -- 11.7 Attributes -- 11.8 Colors -- 11.9 Animations -- 11.10 Groups of Primitives -- 11.11 Transformations -- 11.12 Legends -- 11.13
Fonts -- 11.14 Saving and Exporting Pictures -- 11.15 Importing Pictures -- 11.16 Cameras in 3D -- 11.17 Strange Effects in 3D? Accelerated OpenGL? -- 12. The History Mechanism -- 13. Input and Output -- 13.1 Output of Expressions --
13.2 Reading and Writing Files -- 14. Utilities -- 14.1 User-Defined Preferences -- 14.2 Information on MuPAD Algorithms -- 14.3 Restarting a MuPAD Session -- 14.4 Executing Commands of the Operating System -- 15. Type Specifiers --
15.1 The Functions type and testtype -- 15.2 Comfortable Type Checking: the Type Library -- 16. Loops -- 17. Branching: if-then-else and case -- 18. MuPAD Procedures -- 18.1 Defining Procedures -- 18.2 The Return Value of a Procedure
-- 18.3 Returning Symbolic Function Calls -- 18.4 Local and Global Variables -- 18.5 Subprocedures -- 18.6 Scope of Variables -- 18.7 Type Declaration -- 18.8 Procedures with a Variable Number of Arguments -- 18.9 Options: the Remember
Table -- 18.10 Input Parameters -- 18.11 Evaluation Within Procedures -- 18.12 Function Environments -- 18.13 A Programming Example: Differentiation -- 18.14 Programming Exercises -- A. Solutions to Exercises -- B. Documentation and
References -- C. Graphics Gallery -- D. Comments on the Graphics Gallery
ISBN:9783642593048
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Information technology , Business , Computers , Visualization , Computer software , Physics , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Software , Information Systems and Communication Service , Visualization , Theoretical, Mathematical and Computational Physics , Appl.Mathematics/Computational Methods of Engineering , IT in Business
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-2004-9783642187605:ONLINE Show nearby items on shelf
Title:MuPAD Pro Computing Essentials
Author(s): Miroslaw Majewski
Date:2004
Edition:Second Edition
Size:1 online resource (538 p.)
Note:10.1007/978-3-642-18760-5
Contents:1.1 For whom this book was written -- 1.2 The goal -- 1.3 Why we should care about MuPAD -- 1.4 What is inside -- 1.5 Style conventions -- 1.6 Writing “between” -- A Quick Introduction to MuPAD -- 2.1 The Very First Look -- 2.2
Getting Started -- 2.3 A Quick Look at MuPAD’s Interface -- 2.4 Formatting Documents in MuPAD -- 2.5 Getting Help -- 2.6 Chapter Summary -- 2.7 Review Exercises -- Programming in MuPAD — Declarations -- 3.1 Writing Formulae in MuPAD --
3.2 Declaring Variables and Constants -- 3.3 Declaring Functions and Operations -- 3.4 Writing More than One Line of Code -- 3.5 The Basics of the Domain Concept -- 3.6 Chapter Summary -- 3.7 Review Exercises -- Programming in MuPAD —
Control Structures -- 4.1 Decisions -- 4.1.1 MuPAD Syntax: the “if” Statement -- 4.1.2 Indentation in MuPAD -- 4.1.3 Quadratic Equation Example -- 4.1.4 Formatting Output and Input -- 4.1.5 “elif” a Useful Shortcut -- 4.2 Programming
Itcrations in MuPAD -- 4.2.1 The “for” Loop -- 4.2.2 MuPAD Syntax: the “for” Loop -- 4.2.3 The “while” and “repeat” Loops -- 4.2.4 MuPAD Syntax: the “while” and “repeat” Loops -- 4.3 What is Wrong with my Loops and Conditions -- 4.4
Selections -- 4.4.1 MuPAD Syntax: the “case” Structure -- 4.5 Chapter Summary -- 4.6 Programming Exercises -- Programming in MuPAD — Procedures -- 5.1 What is a Procedure -- 5.2 Examples of Procedures -- 5.3 Getting Output from
Procedures -- 5.4 Returning Unevaluated or Symbolic Expressions -- 5.5 Shall We use Global or Local Variables? -- 5.6 Introduction to Types and Domains -- 5.7 Using MuPAD Types and Domains -- 5.8 Using Procedures to Produce Data
Structures -- 5.8.1 Sequences -- 5.8.2 Lists -- 5.8.3 Sets -- 5.8.4 Strings -- 5.8.5 Vectors and Matrices -- 5.9 Procedures with a Variable Number of Input Parameters -- 5.10 Recursive Procedures -- 5.11 Using Libraries -- 5.12 User
Defined Libraries of Procedures -- 5.13 Final Comments on MuPAD Coding Guidelines -- 5.13.1 Magic Numbers -- 5.13.2 Comments -- 5.13.3 Braces -- 5.14 Chapter Summary -- 5.15 Programming Exercises -- to MuPAD Graphics -- 6.1 Obtaining
Quick Plots -- 6.1.1 Procedure plotfunc2d -- 6.1.2 Your First Animation with MuPAD -- 6.1.3 Procedure plotfunc3d -- 6.2 General Concept of MuPAD Plots -- 6.2.1 Object Attributes’ Options -- 6.3 Canvas, Scene and Coordinate System
Options -- 6.3.1 Options for Canvas -- 6.3.2 Options for Scene2d -- 6.3.3 Options for Sccnc3d -- 6.3.4 The Coordinate System in 2D and 3D -- 6.4 Options Related to Primitives -- 6.4.1 Basic Options for Primitives -- 6.4.2 Working with
Color -- 6.4.3 Mesh and Other Options -- 6.5 Operations on Graphical Objects -- 6.5.1 Operation modify -- 6.6 Chapter Summary -- 6.7 Programming Exercises -- Interactive Graphics’ Animation with VCam -- 7.1 Learning the Virtual Camera
Environment -- 7.2 Using VCam to Improve 2D Graphs -- 7.3 Using VCam to Improve 3D Graphs -- 7.4 Interactive Development of Animations -- 7.5 Saving MuPAD Graphs -- 7.6 Chapter Summary -- 7.7 Exercises -- Exploring Mathematical Curves
and Surfaces -- 8.1 Plots in 2D Space’ Plot Types -- 8.1.1 Class Function2d -- 8.1.2 Class Curve2d -- 8.1.3 Developing Polar Plots -- 8.1.4 Developing Implicit Plots -- 8.2 Plots in 3D Space -- 8.2.1 Class Function3d -- 8.2.2 Class
Surface -- 8.2.3 Class Spherical -- 8.2.4 Class Cylindrical -- 8.2.5 Class Implicit3d -- 8.2.6 Classes Curve3d and Tube -- 8.3 Chapter Summary -- 8.4 Programming Exercises -- A Few Applications of MuPAD Graphics -- 9.1 Calculus
Graphics -- 9.1.1 Plotting Contours -- 9.1.2 Developing Density Plots -- 9.1.3 Vector Fields -- 9.1.4 Plotting Areas -- 9.1.5 Surfaces of Revolution -- 9.2 Presentation Graphics -- 9.3 Working with Geometry Objects -- 9.4
Transformations of Graphical Objects -- 9.5 Turtle Graphics & L-systems -- 9.5.1 Turtle Graphics in MuPAD -- 9.5.2 Plotting L-systems -- 9.6 Chapter Summary -- 9.7 Programming Exercises -- Exploring Numbers with MuPAD -- 10.1 Integers
in MuPAD -- 10.2 Rational Numbers in MuPAD -- 10.3 Real Numbers in MuPAD -- 10.4 Complex Numbers in MuPAD -- 10.5 Chapter Summary -- 10.6 Programming Exercises -- Elementary Algebra and Trigonometry in MuPAD -- 11.1 Polynomials -- 11.2
Rational Expressions -- 11.3 Algebraic Expressions -- 11.4 Trigonometric and Other Functions -- 11.5 Solving Equations and Inequalities -- 11.6 Chapter Summary -- 11.7 Programming Exercises -- Working with Sets and Sentences MuPAD --
12.1 Logic in MuPAD -- 12.1.1 Polish Notation -- 12.2 Working with Sets -- 12.3 Chapter Summary -- 12.4 Programming Exercises -- Exploring Calculus with MuPAD -- 13.1 Limits -- 13.2 Derivatives -- 13.3 Working with Integrals -- 13.4
Infinite Series and Products -- 13.5 Calculus of Two Variables -- 13.5.1 Limits of Functions of Two Variables -- 13.5.2 Partial Derivatives -- 13.6 Chapter Summary -- 13.7 Programming Exercises -- A Short Introduction to Linear Algebra
-- 14.1 Checking Resources -- 14.2 Solving Linear Equations -- 14.3 Matrices and Operations on Matrices -- 14.3.1 Declaring Matrices in MuPAD -- 14.3.2 Global Operations on Matrices -- 14.3.3 Local Matrix Operations -- 14.4
Determinants -- 14.5 Chapter Summary -- 14.6 Programming Exercises -- Appendix 1: MuPAD Libraries and Procedures -- MuPAD Libraries (ver. 3.0, 21/02/2004) -- Operators Represented by Symbols -- MuPAD Standard Collection -- Procedures
in Standard Collection -- Functions in Standard Collection -- Library ‘adt’ — — Abstract Data Types -- Library ‘Ax’ — — Basic Axiom Constructors -- Library ‘Cat’ — — Category Constructors -- Library ‘combinat’ — — Com binatorial
Functions -- Library ‘detools’ — — Methods for Differential Equations -- Library ‘Dom’ — — Domain Constructors -- Library ‘fp’ — — Utilities for Functional Programming -- Library ‘generate’ — — Generate Foreign Format s -- Library
‘Graph’ — — Utilities for Directed and Undirected Graphs -- Library ‘groebner’ — — Utilities for Groebner Bases -- Library ‘import’ — — Utilities for Reading Data -- Library ‘intlib’ — — Definite and Indefinite Integr ation -- Library
‘linalg’ — — the Linear Algebra Package -- Library ‘linopt’ — — Tools for Linear Optimization -- Library ‘listlib’ — Operations on Lists -- Library ‘matchlib’ — Pattern Matching Tools -- Library ‘module’ — Module Ma nagement Tools --
Library ‘numeric’ — Tools for Numerical Methods -- Library ‘numlib’ — Elementary Number Theory -- Library ‘orthpoly’ — Orthogonal Polynomials -- Library ‘output’ — Tools for the Output of Data -- Library ‘plot’ — 2D and 3D Graphical
Objects -- Library ‘polylib’ — Tools for Polynomials -- Library ‘prog’ — Programming Utilities -- Library ‘property’ — Properties of Identifiers -- Library ‘RGB’ — Color Names and Color Functions -- Library’ series’ — T ools for Series
Expansions -- Library’ solvclib’ — Tools for Solving Equations -- Library’ stats’ — Statistical Functions -- Library’ stringlib’ — Tools for String Manipulation -- Library’ student’ — the Student Package -- Library ‘transfo rm’ —
Integral Transformations -- Library ‘Type’ — Predefined Types -- MuPAD Environmental Variables -- Appendix 2: MuPAD Resources
ISBN:9783642187605
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer mathematics , Computer software , Mathematics , Computational Science and Engineering , Mathematical Software
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-2004-9783034878463:ONLINE Show nearby items on shelf
Title:Applied Laplace Transforms and z-Transforms for Scientists and Engineers A Computational Approach using a Mathematica Package
Author(s): Urs Graf
Date:2004
Size:1 online resource (500 p.)
Note:10.1007/978-3-0348-7846-3
Contents:1 Laplace Transformation -- 1.1 The One-Sided Laplace Transform -- 1.2 The Two-Sided Laplace Transform -- 1.3 Ordinary Linear Differential Equations -- 2 z-Transformation -- 2.1 z-Transforms and Inverse z-Transforms -- 2.2 Difference
Equations -- 3 Laplace Transforms with the Package -- 3.1 Basics -- 3.2 The Use of Transformation Rules -- 3.3 The Finite Laplace Transform -- 3.4 Special Functions -- 3.5 Inverse Laplace Transformation -- 3.6 Differential Equations --
4 z-Transformation with the Package -- 4.1 Basics -- 4.2 Use of Transformation Rules -- 4.3 Difference Equations -- 5 Applications To Automatic Control -- 5.1 Controller Configurations -- 5.2 State-Variable Analysis -- 5.3 Second Order
Differential Systems -- 5.4 Stability -- 5.5 Frequency Analysis -- 5.6 Sampled-Data Control Systems -- 6 Laplace Transformation: Further Topics -- 6.1 The Complex Inversion Formula -- 6.2 Laplace Transforms and Asymptotics -- 6.3
Differential Equations -- 7 z-Transformation: Further Topics -- 7.1 The Advanced z-Transformation -- 7.2 Applications -- 7.3 Use of the Package -- 8 Examples from Electricity -- 8.1 Transmission Lines -- 8.2 Electrical Networks -- 9
Examples from Control Engineering -- 9.1 Control of an Inverted Pendulum -- 9.2 Controling a Seesaw-Pendulum -- 9.3 Control of a DC Motor -- 9.4 A Magnetic-Ball-Suspension-System -- 9.5 A Sampled-Data State-Variable Control System --
10 Heat Conduction and Vibration Problems -- 10.1 Flow of Heat -- 10.2 Waves and Vibrations in Elastic Solids -- 11 Further Techniques -- 11.1 Duhamel’s Formulas -- 11.2 Green’s Functions -- 11.3 Fundamental Solutions -- 11.4 Finite
Fourier Transforms -- 12 Numerical Inversion of Laplace Transforms -- 12.1 Inversion by the Use of Laguerre Functions -- 12.2 Inversion by Use of Fourier Analysis -- 12.3 The Use of Gaussian Quadrature Formulas -- 12.4 The Method of
Gaver and Stehfest -- 12.5 Example -- Appendix: Package Commands
ISBN:9783034878463
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Functional analysis , Integral transforms , Operational calculus , Computer mathematics , Mathematics , Functional Analysis , Symbolic and Algebraic Manipulation , Integral Transforms, Operational Calculus , Computational Mathematics and 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-2004-9781461302155:ONLINE Show nearby items on shelf
Title:Modeling Languages in Mathematical Optimization
Author(s):
Date:2004
Size:1 online resource (408 p.)
Note:10.1007/978-1-4613-0215-5
Contents:I Theoretical and Practical Concepts of Modeling Languages -- 1 Mathematical Optimization and the Role of Modeling Languages -- 2 Models and the History of Modeling -- 3 Mathematical Model Building -- 4 Theoretical Concepts and Design
of Modeling Languages -- 5 The Importance of Modeling Languages for Solving Real-World Problems -- II The Modeling Languages in Detail -- 6 The Modeling Language AIMMS -- 7 Design Principles and New Developments in the AMPL Modeling
Language -- 8 General Algebraic Modeling System (GAMS) -- 9 The LINGO Algebraic Modeling Language -- 10 The LPL Modeling Language -- 11 The MINOPT Modeling Language -- 12 Mosel: A Modular Environment for Modeling and Solving
Optimization Problems -- 13 The MPL Modeling System -- 14 The Optimization Systems MPSX and OSL -- 15 The NOP-2 Modeling Language -- 16 The OMNI Modeling System -- 17 The OPL Studio Modeling System -- 18 PCOMP: A Modeling Language for
Nonlinear Programs with Automatic Differentiation -- 19 The Tomlab Optimization Environment -- III The Future of Modeling Systems -- 20 The Future of Modeling Languages and Modeling Systems -- References
ISBN:9781461302155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 88
Keywords: Mathematics , Programming languages (Electronic computers) , Numerical analysis , Computer science , Mathematical models , Mathematical optimization , Mathematics , Mathematical Modeling and Industrial Mathematics , Optimization , Symbolic and Algebraic Manipulation , Numeric Computing , Programming Languages, Compilers, Interpreters
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-2003-9789401702539:ONLINE Show nearby items on shelf
Title:Thirty Five Years of Automating Mathematics
Author(s):
Date:2003
Size:1 online resource (320 p.)
Note:10.1007/978-94-017-0253-9
Contents:A Mathematical Model for Biological Memory and Consciousness -- Towards an Interactive Mathematical Proof Mode -- Recent Results in Type Theory and their Relationship to Automath -- Linear Contexts, Sharing Functors: Techniques for
Symbolic Computation -- De Bruijn’s Automath and Pure Type Systems -- Hoare Logic with Explicit Contexts -- Transitive Closure and the Mechanization of Mathematics -- Polymorphic Type-checking for the Ramified Theory of Types of
Principia Mathematica -- Termination in ACL2 using Multiset Relations -- The ?-Calculus in FM -- Proof Development with ?mega: The Irrationality of % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn %
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaOaaaeaaca %
aIYaaaleqaaaaa!36CB!]]
ISBN:9789401702539
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 28
Keywords: Mathematics , Computer science , Mathematical logic , Mathematical optimization , Mathematics , Mathematical Logic and Foundations , Mathematics of Computing , Optimization , Symbolic and Algebraic Manipulation
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-2003-9783662053553:ONLINE Show nearby items on shelf
Title:Algorithms in Real Algebraic Geometry
Author(s): Saugata Basu
Date:2003
Size:1 online resource (602 p.)
Note:10.1007/978-3-662-05355-3
Contents:0 Introduction -- 1 Algebraically Closed Fields -- 2 Real Closed Fields -- 3 Semi-Algebraic Sets -- 4 Algebra -- 5 Decomposition of Semi-Algebraic Sets -- 6 Elements of Topology -- 7 Quantitative Semi-algebraic Geometry -- 8
Complexity of Basic Algorithms -- 9 Cauchy Index and Applications -- 10 Real Roots -- 11 Polynomial System Solving -- 12 Cylindrical Decomposition Algorithm -- 13 Existential Theory of the Reals -- 14 Quantifier Elimination -- 15
Computing Roadmaps and Connected Components of Algebraic Sets -- 16 Computing Roadmaps and Connected Components of Semi-algebraic Sets -- References
ISBN:9783662053553
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 10
Keywords: Mathematics , Computer science , Algebraic geometry , Algorithms , Mathematics , Algebraic Geometry , Algorithms , Symbolic and Algebraic Manipulation
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-2003-9783662051481:ONLINE Show nearby items on shelf
Title:Algebra, Geometry and Software Systems
Author(s):
Date:2003
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-05148-1
Contents:Beneath-and-Beyond Revisited -- Some Algorithmic Problems in Polytope Theory -- Computing Triangulations Using Oriented Matroids -- Discrete Geometry for Algebraic Elimination -- Sparse Resultant Perturbations -- Numerical Irreducible
Decomposition Using PHCpack -- Generating Kummer Type Formulas for Hypergeometric Functions -- A Computer Algebra System: Risa / Asir -- Singular in a Framework for Polynomial Computations -- Computing Simplicial Homology Based on
Efficient Smith Normal Form Algorithms -- The Geometry of ?n is Important for the Algebra of Elementary Functions -- A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy -- A Client-Server System for the
Visualisation of Algebraic Surfaces on the Web -- Visualizing Maple Plots with JavaViewLib -- Automated Generation of Diagrams with Maple and Java -- Interactive Mathematical Documents on the Web -- Distributed Computing for
Conglomerate Mathematical Systems -- Software Systems
ISBN:9783662051481
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computer science , Algebra , Computer software , Geometry , Mathematics , Algebra , Mathematical Software , Geometry , Symbolic and Algebraic Manipulation , Software Engineering/Programming and Operating Systems
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-2003-9783662051023:ONLINE Show nearby items on shelf
Title:Algorithmic Topology and Classification of 3-Manifolds
Author(s): Sergei Matveev
Date:2003
Size:1 online resource (478 p.)
Note:10.1007/978-3-662-05102-3
Contents:1 Simple and Special Polyhedra -- 2 Complexity Theory of 3-Manifolds -- 3. Haken Theory of Normal Surfaces -- 4. Applications of the Theory of Normal Surfaces -- 5. Algorithmic Recognition of S3 -- 6. Classification of Haken
3-Manifolds -- 7 Computer Implementation -- 8 The Turaev-Viro Invariants -- 9 Appendix -- References
ISBN:9783662051023
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 9
Keywords: Mathematics , Computer science , Algorithms , Differential geometry , Topology , Mathematics , Topology , Differential Geometry , Algorithms , Symbolic and Algebraic Manipulation
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-2003-9783642558269:ONLINE Show nearby items on shelf
Title:Computer Algebra Handbook Foundations · Applications · Systems
Author(s):
Date:2003
Size:1 online resource (637 p.)
Note:10.1007/978-3-642-55826-9
Contents:1 Development, Characterization, Prospects -- 1.1 Historical Remarks -- 1.2 General Characterization -- 1.3 Impact on Education -- 1.4 Impact on Research -- 1.5 Computer Algebra — Today and Tomorrow -- 2 Topics of Computer Algebra --
2.1 Exact Arithmetic -- 2.2 Algorithms for Polynomials and Power Series -- 2.3 Linear Algebra -- 2.4 Constructive Methods of Number Theory -- 2.5 Algorithms of Commutative Algebra and Algebraic Geometry -- 2.6 Algorithmic Aspects of
the Theory of Algebras -- 2.7 Computational Group Theory -- 2.8 Algorithms of Representation Theory -- 2.9 Algebraic Methods for Constructing Discrete Structures -- 2.10 Summation and Integration -- 2.11 Symbohc Methods for
DiflFerential Equations -- 2.12 Symbolic/Numeric Methods -- 2.13 Algebraic Complexity Theory -- 2.14 Coding Theory and Cryptography -- 2.15 Algorithmic Methods inUniversal Algebra and Logic -- 2.16 Knowledge Representation and Abstract
Data Types -- 2.17 On the Design of Computer Algebra Systems -- 2.18 Parahel Computer Algebra Systems -- 2.19 Interfaces and Standardization -- 2.20 Hardware Implementation of Computer Algebra Algorithms -- 3 Applications of Computer
Algebra -- 3.1 Physics -- 3.2 Mathematics -- 3.3 Computer Science -- 3.4 Engineering -- 3.5 Chemistry -- 3.6 Computer Algebra in Education -- 4 Computer Algebra Systems -- 4.1 General Purpose Systems -- 4.2 Special Purpose Systems --
4.3 Packages -- 5 Meetings and Publications -- 5.1 Conferences and Proceedings -- 5.2 Books on Computer Algebra -- Cited References -- Index for Authors’ Contributions
ISBN:9783642558269
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Algorithms , Computer software , Mathematics , Mathematical Software , Algebra , Algorithms , Symbolic and Algebraic Manipulation
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-2003-9781461501855:ONLINE Show nearby items on shelf
Title:Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Author(s): Igor Lavrov
Date:2003
Size:1 online resource (282 p.)
Note:10.1007/978-1-4615-0185-5
Contents:I Problems -- 1 Set theory -- 2 Mathematical logic -- 3 Theory of algorithms -- II Solutions -- 1 Set theory -- 2 Mathematical logic -- 3 Theory of algorithms -- References
ISBN:9781461501855
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic , Computer science , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Symbolic and Algebraic Manipulation
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-2002-9783662049631:ONLINE Show nearby items on shelf
Title:A Singular Introduction to Commutative Algebra
Author(s): Gert-Martin Greuel
Date:2002
Size:1 online resource (588 p.)
Note:10.1007/978-3-662-04963-1
Contents:1. Rings, Ideals and Standard Bases -- 1.1 Rings, Polynomials and Ring Maps -- 1.2 Monomial Orderings -- 1.3 Ideals and Quotient Rings -- 1.4 Local Rings and Localization -- 1.5 Rings Associated to Monomial Orderings -- 1.6 Normal
Forms and Standard Bases -- 1.7 The Standard Basis Algorithm -- 1.8 Operations on Ideals and Their Computation -- 2. Modules -- 2.1 Modules, Submodules and Homomorphisms -- 2.2 Graded Rings and Modules -- 2.3 Standard Bases for Modules
-- 2.4 Exact Sequences and free Resolutions -- 2.5 Computing Resolutions and the Syzygy Theorem -- 2.6 Modules over Principal Ideal Domains -- 2.7 Tensor Product -- 2.8 Operations on Modules and Their Computation -- 3. Noether
Normalization and Applications -- 3.1 Finite and Integral Extensions -- 3.2 The Integral Closure -- 3.3 Dimension -- 3.4 Noether Normalization -- 3.5 Applications -- 3.6 An Algorithm to Compute the Normalization -- 3.7 Procedures -- 4.
Primary Decomposition and Related Topics -- 4.1 The Theory of Primary Decomposition -- 4.2 Zero-dimensional Primary Decomposition -- 4.3 Higher Dimensional Primary Decomposition -- 4.4 The Equidimensional Part of an Ideal -- 4.5 The
Radical -- 4.6 Procedures -- 5. Hilbert Function and Dimension -- 5.1 The Hilbert Function and the Hilbert Polynomial -- 5.2 Computation of the Hilbert-Poincaré Series -- 5.3 Properties of the Hilbert Polynomial -- 5.4 Filtrations and
the Lemma of Artin-Rees -- 5.5 The Hilbert-Samuel Function -- 5.6 Characterization of the Dimension of Local Rings -- 5.7 Singular Locus -- 6. Complete Local Rings -- 6.1 Formal Power Series Rings -- 6.2 Weierstraß Preparation Theorem
-- 6.3 Completions -- 6.4 Standard Bases -- 7. Homological Algebra -- 7.1 Tor and Exactness -- 7.2 Fitting Ideals -- 7.3 Flatness -- 7.4 Local Criteria for Flatness -- 7.5 Flatness and Standard Bases -- 7.6 Koszul Complex and Depth --
7.7 Cohen-Macaulay Rings -- 7.8 Further Characterization of Cohen-Macaulayness -- 7.9 Homological Characterization of Regular Rings -- A. Geometric Background -- A.1 Introduction by Pictures -- A.2 Affine Algebraic Varieties -- A.3
Spectrum and Affine Schemes -- A.4 Projective Varieties -- A.5 Projective Schemes and Varieties -- A.6 Morphisms Between Varieties -- A.7 Projective Morphisms and Elimination -- A.8 Local Versus Global Properties -- A.9 Singularities
-- B. SINGULAR — A Short Introduction -- B.1 Downloading Instructions -- B.2 Getting Started -- B.3 Procedures and Libraries -- B.4 Data Types -- B.5 Functions -- B.6 Control Structures -- B.7 System Variables -- B.8 Libraries --
References -- Algorithms
ISBN:9783662049631
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Algebraic geometry , Computer mathematics , Algorithms , Mathematics , Algebra , Algebraic Geometry , Algorithms , Computational Mathematics and Numerical Analysis , Symbolic and Algebraic Manipulation
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-2002-9783662048511:ONLINE Show nearby items on shelf
Title:Computations in Algebraic Geometry with Macaulay 2
Author(s):
Date:2002
Size:1 online resource (329 p.)
Note:10.1007/978-3-662-04851-1
Contents:I Introducing Macaulay 2 -- Ideals, Varieties and Macaulay 2 -- Projective Geometry and Homological Algebra -- Data Types, Functions, and Programming -- Teaching the Geometry of Schemes -- II Mathematical Computations -- Monomial
Ideals -- From Enumerative Geometry to Solving Systems of Polynomial Equations -- Resolutions and Cohomology over Complete Intersections -- Algorithms for the Toric Hilbert Scheme -- Sheaf Algorithms Using the Exterior Algebra --
Needles in a Haystack: Special Varieties via Small Fields -- D-modules and Cohomology of Varieties
ISBN:9783662048511
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 8
Keywords: Mathematics , Computer science , Algebraic geometry , Computer software , Combinatorics , Mathematics , Algebraic Geometry , Mathematical Software , Combinatorics , Symbolic and Algebraic Manipulation
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-2002-9781475736090:ONLINE Show nearby items on shelf
Title:Models for Parallel and Distributed Computation Theory, Algorithmic Techniques and Applications
Author(s):
Date:2002
Size:1 online resource (323 p.)
Note:10.1007/978-1-4757-3609-0
Contents:1 Introduction to the Complexity of Parallel Algorithms -- 2 The Combinatorics of Resource Sharing -- 3 On Solving the Static Task Scheduling Problem for Real Machines -- 4 Predictable Parallel Performance: The BSP Model -- 5 Discrete
computing with CGM -- 6 Parallel Graph Algorithms for Coarse-Grained Multicomputers -- 7 Parallel metaheuristics for combinatorial optimization -- 8 Parallelism in Logic Programming and Scheduling Issues -- 9 Parallel Asynchronous Team
Algorithms -- 10 Parallel Numerical Methods for Differential Equations
ISBN:9781475736090
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 67
Keywords: Computer science , Architecture, Computer , Computers , Computer science , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Discrete Mathematics in Computer Science , Combinatorics , Symbolic and Algebraic Manipulation
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-2002-9780387216522:ONLINE Show nearby items on shelf
Title:Computational Excursions in Analysis and Number Theory
Author(s): Peter Borwein
Date:2002
Size:1 online resource (220 p.)
Note:10.1007/978-0-387-21652-2
Contents:1 Introduction -- 2 LLL and PSLQ -- 3 Pisot and Salem Numbers -- 4 Rudin-Shapiro Polynomials -- 5 Fekete Polynomials -- 6 Products of Cyclotomic Polynomials -- 7 Location of Zeros -- 8 Maximal Vanishing -- 9 Diophantine Approximation
of Zeros -- 10 The Integer Chebyshev Problem -- 11 The Prouhet-Tarry-Escott Problem -- 12 The Easier Waring Problem -- 13 The Erd?s-Szekeres Problem -- 14 Barker Polynomials and Golay Pairs -- 15 The Littlewood Problem -- 16 Spectra --
A A Compendium of Inequalities -- B Lattice Basis Reduction and Integer Relations -- C Explicit Merit Factor Formulae -- D Research Problems
ISBN:9780387216522
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Number theory , Mathematics , Number Theory , Analysis , Symbolic and Algebraic Manipulation
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-2001-9781461301714:ONLINE Show nearby items on shelf
Title:Computer Algebra Recipes A Gourmet’s Guide to the Mathematical Models of Science
Author(s): Richard H Enns
Date:2001
Size:1 online resource (778 p.)
Note:10.1007/978-1-4613-0171-4
ISBN:9781461301714
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Applied mathematics , Engineering mathematics , Physics , Computational intelligence , Mathematics , Algebra , Appl.Mathematics/Computational Methods of Engineering , Applications of Mathematics , Symbolic and Algebraic Manipulation , Physics, general , Computational Intelligence
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-2000-9783540706281:ONLINE Show nearby items on shelf
Title:Computational Commutative Algebra 1
Author(s): Martin Kreuzer
Date:2000
Edition:1
Size:1 online resource (322 p.)
Note:10.1007/978-3-540-70628-1
Contents:Foreword -- Introduction -- 1. Foundations -- 2. Gröbner Bases -- 3. First Applications -- A. How to Get Started with CoCoA -- B. How to Program CoCoA -- C. A Potpourri of CoCoA Programs -- D. Hints for Selected Exercises -- Notation
-- Bibliography -- Index
ISBN:9783540706281
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Algebraic geometry , Group theory , Algorithms , Mathematics , Group Theory and Generalizations , Algebra , Algorithms , Algebraic Geometry , Symbolic and Algebraic Manipulation
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-2000-9783540454632:ONLINE Show nearby items on shelf
Title:Noise, Oscillators and Algebraic Randomness From Noise in Communication Systems of Number Theory Lectures of a School Held in Chapelle des Bois, France, April 5–10, 1999
Author(s):
Date:2000
Size:1 online resource (3 p.)
Note:10.1007/3-540-45463-2
Contents:Mathemagics -- Thermal and Quantum Noise in Active Systems -- Dipole at ? = 1 -- Stored Ion Manipulation Dynamics of Ion Cloud and Quantum Jumps with Single Ions -- 1/f Fluctuations in Cosmic Ray Extensive Air Showers -- Stochastic
Resonance and the Benefit of Noise in Nonlinear Systems -- Time is Money -- Oscillators and the Characterization of Frequency Stability: an Introduction -- Phase Noise Metrology -- Phonon Fine Structure in the 1/f Noise of Metals,
Semiconductors and Semiconductor Devices -- The General Nature of Fundamental 1/f Noise in Oscillators and in the High Technology Domain -- 1/f Frequency Noise in a Communication Receiver and the Riemann Hypothesis -- Detection of
Chaos in the Noise of Electronic Oscillators by Time Series Analysis Methods -- Geometry and Dynamics of Numbers Under Finite Resolution -- Diophantine Conditions and Real or Complex Brjuno Functions -- Algebraic and Analytic
Randomness -- From Symbolic Dynamics to a Digital Approach: Chaos and Transcendence -- Algebraic Dynamics and Transcendental Numbers -- Dynamics of Some Contracting Linear Functions Modulo 1 -- On the Modular Function and Its
Importance for Arithmetic -- On Generalized Markoff Equations and Their Interpretation
ISBN:9783540454632
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Physics: 550
Keywords: Physics , Applied mathematics , Engineering mathematics , Statistical physics , Dynamical systems , Physics , Mathematical Methods in Physics , Statistical Physics, Dynamical Systems and Complexity , Applications of Mathematics
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-1999-9789401712071:ONLINE Show nearby items on shelf
Title:Cut Elimination in Categories
Author(s): Kosta Došen
Date:1999
Size:1 online resource (229 p.)
Note:10.1007/978-94-017-1207-1
Contents:2. Functors -- 3. Natural Transformations -- 4. Adjunctions -- 5. Comonads -- 6. Cartesian Categories -- Conclusion -- References
ISBN:9789401712071
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 6
Keywords: Philosophy , Logic , Computer science , Category theory (Mathematics) , Homological algebra , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Category Theory, Homological Algebra , Symbolic and Algebraic Manipulation
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-1999-9789401592390:ONLINE Show nearby items on shelf
Title:Finite Fields: Theory and Computation The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography
Author(s): Igor E Shparlinski
Date:1999
Size:1 online resource (528 p.)
Note:10.1007/978-94-015-9239-0
Contents:Links flowchart -- 1. Polynomial Factorization -- 2. Finding Irreducible and Primitive Polynomials -- 3. The Distribution of Irreducible, Primitive and Other Special Polynomials and Matrices -- 4. Bases and Computation in Finite
Fields -- 5. Coding Theory and Algebraic Curves -- 6. Elliptic Curves -- 7. Recurrence Sequences in Finite Fields and Cyclic Linear Codes -- 8. Finite Fields and Discrete Mathematics -- 9. Congruences -- 10. Some Related Problems --
Appendix 1 -- Appendix 2 -- Appendix 3 -- References
ISBN:9789401592390
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 477
Keywords: Mathematics , Numerical analysis , Computer science , Algebra , Field theory (Physics) , Number theory , Mathematics , Field Theory and Polynomials , Number Theory , Numeric Computing , Symbolic and Algebraic Manipulation , Discrete Mathematics in Computer Science
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-1999-9789401591539:ONLINE Show nearby items on shelf
Title:Cellular Automata A Parallel Model
Author(s):
Date:1999
Size:1 online resource (374 p.)
Note:10.1007/978-94-015-9153-9
Contents:A general survey -- An Introduction to Cellular Automata -- The Game of Life: Universality Revisited -- Algorithmics -- Computations on Cellular Automata -- Computations on Grids -- Computational power -- Cellular Automata as
Languages Recognizers -- Computational Complexity of Cellular Automata: An Overview -- A Counting Equivalence Classes Method to Prove Negative Results -- Dynamics -- Topological Definitions of Deterministic Chaos -- Modeling --
Modeling Diffusion of Innovations with Probabilistic Cellular Automata -- Cellular Automata Models and Cardiac Arrhythmias -- Particular techniques examples -- Dynamic Properties of an Automaton with Memory -- Linear Cellular Automata
and de Bruijn Automata -- Cellular Automata, Finite Automata, and Number Theory -- Decision Problems on Global Cellular Automata -- An Introduction to Automata on Graphs
ISBN:9789401591539
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 460
Keywords: Computer science , Architecture, Computer , Computers , Computer science , System theory , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Combinatorics , Systems Theory, Control , Symbolic and Algebraic Manipulation
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-1999-9789401146050:ONLINE Show nearby items on shelf
Title:Global Analysis in Linear Differential Equations
Author(s): Mitsuhiko Kohno
Date:1999
Size:1 online resource (528 p.)
Note:10.1007/978-94-011-4605-0
Contents:1 Preparations -- 1.1 Convergent and Divergent Series -- 1.2 Asymptotic Expansions -- 1.3 Linear Difference Equations -- 1.4 Hypergeometric Difference Equation -- 1.5 Modified Gamma Function -- 2 Gauss and Airy Equations -- 2.1 Gauss
Equation -- 2.2 Rummer’s Connection Formulas -- 2.3 Monodromy Groups -- 2.4 Associated Fundamental Function -- 2.5 Airy Equation -- 3 Linear Differential Equations -- 3.1 Remarks on Holomorphic Functions -- 3.2 Existence Theorems of
Differential Equations -- 3.3 Classification of Singularities -- 3.4 Regular Singular Point -- 3.5 Irregular Singular Point -- 4 Reduction Problems -- 4.1 Reduction to Hypergeometric System -- 4.2 Reduction to Birkhoff Canonical System
-- 4.3 Algebraic Manipulation -- 5 Monodromy Groups for Hypergeometric Systems -- 5.1 Extended Gauss Formula -- 5.2 Calculation of Monodromy Groups -- 5.3 Monodromy Group in Logarithmic Case -- 6 Connection Problem for Hypergeometric
Systems -- 6.1 General Theory -- 6.2 H. Galbrun Theory -- 6.3 Hierarchy of Connection Coefficients -- 6.4 Jordan-Pochhammer Equation -- 6.5 Appell Hypergeometric Functions -- 6.6 Frobenius Theorem -- 7 Stokes Phenomenon -- 7.1 Two
Point Connection Problem -- 7.2 Associated Fundamental Function -- 7.3 Extended Bessel Equation -- 7.4 Derivatives of Stokes Multipliers -- 7.5 Multi-point Connection Problem
ISBN:9789401146050
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 471
Keywords: Mathematics , Computer science , Approximation theory , Difference equations , Functional equations , Differential equations , Special functions , Mathematics , Ordinary Differential Equations , Special Functions , Difference and Functional Equations , Approximations and Expansions , Symbolic and Algebraic Manipulation
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-1999-9789401145749:ONLINE Show nearby items on shelf
Title:Logic, Language and Reasoning Essays in Honour of Dov Gabbay
Author(s):
Date:1999
Size:1 online resource (429 p.)
Note:10.1007/978-94-011-4574-9
Contents:Dov Gabbay: “I am a logic” -- Research Themes of Dov Gabbay -- Proofs, Labels and Dynamics in Natural Language -- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers -- Imperative History: Two-dimensional
Executable Temporal Logic -- Diagrammatic Reasoning in Projective Geometry -- On Sentences of the Kind “Sentence ‘p’ is About Topic t” -- Two Traditions in the Logic of Belief: Bringing them Together -- Elimination of Predicate
Quantifiers -- Labelled Natural Deduction -- A General Reasoning Scheme for Underspecified Representations -- Deductive Systems and Categories in Linguistics -- Towards a Procedural Model of Natural-language Interpretation Crossover: A
Case Study -- Transformation Methods in LDS -- Labelled Deduction in the Composition of Form and Meaning -- Formalisms for Non-formal Languages -- Names Index
ISBN:9789401145749
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 5
Keywords: Philosophy , Logic , Computer science , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Computational Linguistics , Mathematical Logic and Foundations , Symbolic and Algebraic Manipulation , Artificial Intelligence (incl. Robotics)
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-1999-9783662038918:ONLINE Show nearby items on shelf
Title:Some Tapas of Computer Algebra
Author(s):
Date:1999
Size:1 online resource (352 p.)
Note:10.1007/978-3-662-03891-8
Contents:1. Gröbner Bases, an Introduction -- 2. Symbolic Recipes for Polynomial System Solving -- 3. Lattice Reduction -- 4. Factorisation of Polynomials -- 5. Computations in Associative and Lie Algebras -- 6. Symbolic Recipes for Real
Solutions -- 7. Gröbner Bases and Integer Programming -- 8. Working with Finite Groups -- 9. Symbolic Analysis of Differential Equations -- 10. Gröbner Bases for Codes -- 11. Gröbner Bases for Decoding -- Project 1. Automatic Geometry
Theorem Proving -- Project 2. The Birkhoff Interpolation Problem -- Project 3. The Inverse Kinematics Problem in Robotics -- Project 4. Quaternion Algebras -- Project 5. Explorations with the Icosahedral Group -- Project 6. The Small
Mathieu Groups -- Project 7: The Golay Codes
ISBN:9783662038918
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 4
Keywords: Mathematics , Computer science , Algebra , Algorithms , Combinatorics , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Algebra , Combinatorics
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-1998-9789401704373:ONLINE Show nearby items on shelf
Title:Automated Deduction — A Basis for Applications Volume III Applications
Author(s):
Date:1998
Size:1 online resource (335 p.)
Note:10.1007/978-94-017-0437-3
Contents:1 Lattice-ordered Groups in Deduction -- 2 Superposition Theorem Proving for Commutative Rings -- 3 How to Augment a Formal System with a Boolean Algebra Component -- 4 Proof Planning: A Practical Approach to Mechanized Reasoning in
Mathematics -- 5 Program Synthesis -- 6 Termination Analysis for Functional Programs -- 7 The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV -- 8 Using Automated Theorem Provers in Verification of Protocols -- 9
Theorem Proving in Large Theories -- 10 Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints -- 11 Deduction-Based Software Component Retrieval -- 12 Rewrite Based Hardware Verification with
ReDuX
ISBN:9789401704373
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 10
Keywords: Computer science , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Computer Science , Artificial Intelligence (incl. Robotics) , Logic , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation , Mathematical Logic and Foundations
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-1998-9789401704359:ONLINE Show nearby items on shelf
Title:Automated Deduction — A Basis for Applications Volume II: Systems and Implementation Techniques
Author(s):
Date:1998
Size:1 online resource (434 p.)
Note:10.1007/978-94-017-0435-9
Contents:One Interactive Theorem Proving -- 1. Structured Specifications and Interactive Proofs with KIV -- 2. Proof Theory at Work: Program Development in the Minlog System -- 3. Interactive and automated proof construction in type theory --
4. Integrating Automated and Interactive Theorem Proving -- Two Representation and Optimization Techniques -- 5. Term Indexing -- 6. Developing Deduction Systems: The Toolbox Style -- 7. Specifications of Inference Rules: Extensions of
the PTTP Technique -- 8. Proof Analysis, Generalization and Reuse -- Three Parallel Inference Systems -- 9. Parallel Term Rewriting with PaReDuX -- 10. Parallel Theorem Provers Based on SETHEO -- 11. Massively Parallel Reasoning --
Four Comparision and Cooperation of Theorem Provers -- 12. Extension Methods in Automated Deduction -- 13. A Comparison of Equality Reasoning Heuristics -- 14. Cooperating Theorem Provers
ISBN:9789401704359
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 9
Keywords: Philosophy , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
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-1998-9789401153027:ONLINE Show nearby items on shelf
Title:Elimination Methods in Polynomial Computer Algebra
Author(s): Valery Bykov
Date:1998
Size:1 online resource (244 p.)
Note:10.1007/978-94-011-5302-7
Contents:1. Basic Mathematical Facts -- 1. The logarithmic residue -- 2. The Newton recursion formulas -- 3. Localization theorems for the real zeros of a polynomial -- 4. The local residue (of Grothendieck) -- 5. The multidimensional
logarithmic residue -- 6. The classical scheme for elimination of unknowns -- 2. A Modified Elimination Method -- 7. A generalized transformation formula for local residues -- 8. A modified elimination method -- 9. A formula for the
logarithmic derivative of the resultant -- 10. Multidimensional analogues of the Newton formulas -- 11. Elimination of unknowns in different variables. Real roots -- 3. Applications in Mathematical Kinetics -- 12. Short schemes -- 13.
The search for all stationary solutions -- 14. The kinetic polynomial. Single-route mechanisms -- 15. Construction of the kinetic polynomial in the general case -- 4. Computer Realizations -- 16. Analytic manipulations on the computer
-- 17. Basic problems in computer algebra of polynomials -- 18. Realization of the elimination method -- 19. The construction of the resultant -- List of applications
ISBN:9789401153027
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 448
Keywords: Mathematics , Chemometrics , Numerical analysis , Computer science , Functions of complex variables , Mathematics , Several Complex Variables and Analytic Spaces , Math. Applications in Chemistry , Symbolic and Algebraic Manipulation , Numeric Computing
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-1998-9783662127889:ONLINE Show nearby items on shelf
Title:Probabilistic Methods for Algorithmic Discrete Mathematics
Author(s):
Date:1998
Size:1 online resource (325 p.)
Note:10.1007/978-3-662-12788-9
Contents:The Probabilistic Method -- Probabilistic Analysis of Algorithms -- An Overview of Randomized Algorithms -- Mathematical Foundations of the Markov Chain Monte Carlo Method -- Percolation and the Random Cluster Model: Combinatorial and
Algorithmic Problems -- Concentration -- Branching Processes and Their Applications in the Analysis of Tree Structures and Tree Algorithms -- Author Index
ISBN:9783662127889
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Combinatorics: 16
Keywords: Mathematics , Computers , Computer science , Probabilities , Discrete mathematics , Combinatorics , Mathematics , Discrete Mathematics , Combinatorics , Computation by Abstract Devices , Symbolic and Algebraic Manipulation , Probability Theory and Stochastic Processes
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-1998-9781461222149:ONLINE Show nearby items on shelf
Title:Maple V Programming Guide
Author(s): M. B Monagan
Date:1998
Size:1 online resource (379 p.)
Note:10.1007/978-1-4612-2214-9
Contents:1. Introduction -- 1.1 Getting Started -- 1.2 Basic Programming Constructs -- 1.3 Basic Data Structures -- 1.4 Computing with Formulae -- 2. Fundamentals -- 2.1 Evaluation Rules -- 2.2 Nested Procedures -- 2.3 Types -- 2.4 Choosing a
Data Structure: Connected Graphs -- 2.5 Remember Tables -- 2.6 Conclusion -- 3. Advanced Programming -- 3.1 Procedures Which Return Procedures -- 3.2 When Local Variables Leave Home -- 3.3 Interactive Input -- 3.4 Extending Maple --
3.5 Writing Your Own Packages -- 3.6 Conclusion -- 4. The Maple Language -- 4.1 Language Elements -- 4.2 Escape Characters -- 4.3 Statements -- 4.4 Expressions -- 4.5 Useful Looping Constructs -- 4.6 Substitution -- 4.7 Conclusion --
5. Procedures -- 5.1 Procedure Definitions -- 5.2 Parameter Passing -- 5.3 Local and Global Variables -- 5.4 Procedure Options and the Description Field -- 5.5 The Value Returned by a Procedure -- 5.6 The Procedure Object -- 5.7
Explorations -- 5.8 Conclusion -- 6. Debugging Maple Programs -- 6.1 A Tutorial Example -- 6.2 Invoking the Debugger -- 6.3 Examining and Changing the State of the System -- 6.4 Controlling Execution -- 6.5 Restrictions -- 7. Numerical
Programming in Maple -- 7.1 The Basics of evalf -- 7.2 Hardware Floating-Point Numbers -- 7.3 Floating-Point Models in Maple -- 7.4 Extending the evalf Command -- 7.5 Using the Matlab Package -- 7.6 Conclusion -- 8. Programming with
Maple Graphics -- 8.1 Basic Plot Functions -- 8.2 Programming with Plotting Library Functions -- 8.3 Maple’s Plotting Data Structures -- 8.4 Programming with Plot Data Structures -- 8.5 Programming with the plottools Package -- 8.6
Example: Vector Field Plots -- 8.7 Generating Grids of Points -- 8.8 Animation -- 8.9 Programming with Color -- 8.10 Conclusion -- 9. Input and Output -- 9.1 A Tutorial Example -- 9.2 File Types and Modes -- 9.3 File Descriptors versus
File Names -- 9.4 File Manipulation Commands -- 9.5 Input Commands -- 9.6 Output Commands -- 9.7 Conversion Commands -- 9.8 A Detailed Example -- 9.9 Notes to C Programmers -- 9.10 Conclusion
ISBN:9781461222149
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence
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-1998-9781461222125:ONLINE Show nearby items on shelf
Title:Maple V Learning Guide
Author(s): K. M Heal
Date:1998
Size:1 online resource (8 p.)
Note:10.1007/978-1-4612-2212-5
Contents:1. Interactive Use of Maple -- 1.1 The Worksheet Interface -- 1.2 Tutorial 1: Solving Problems -- 1.4 Tutorial 3: Documenting Your Work -- 1.5 Tutorial 4: Multiple Worksheets -- 1.6 Tutorial 5: Getting Help -- 1.7 Conclusion -- 2.
Mathematics with Maple: the Basics -- 2.1 Introduction -- 2.2 Numerical Computations -- 2.3 Basic Symbolic Computations -- 2.4 Assigning Names to Expressions -- 2.5 More Basic Types of Maple Objects -- 2.6 Expression Manipulation --
2.7 Conclusion -- 3. Finding Solutions -- 3.1 Simple solve -- 3.2 Solving Numerically: fsolve -- 3.3 Other Solvers -- 3.4 Polynomials -- 3.5 Calculus -- 3.6 Differential Equations: dsolve -- 3.7 The Organization of Maple -- 3.8 The
Maple Packages -- 3.9 Conclusion -- 4. Graphics -- 4.1 Graphing in Two Dimensions -- 4.2 Graphing in Three Dimensions -- 4.3 Animation -- 4.4 Annotating Plots -- 4.5 Composite Plots -- 4.6 Special Types of Plots -- 4.7 Manipulating
Graphical Objects -- 4.8 Conclusion -- 5. Evaluation and Simplification -- 5.1 Mathematical Manipulations -- 5.2 The Assume Facility -- 5.3 Structural Manipulations -- 5.4 Evaluation Rules -- 5.5 Conclusion -- 6. Examples from Calculus
-- 6.1 Introductory Calculus -- 6.2 Ordinary Differential Equations -- 6.3 Partial Differential Equations -- 6.4 Conclusion -- 7. Input and Output -- 7.1 Reading Files -- 7.2 Writing Data to a File -- 7.3 Exporting Whole Worksheets --
7.4 Printing Graphics -- 7.5 Conclusion
ISBN:9781461222125
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence
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-1998-9781461221708:ONLINE Show nearby items on shelf
Title:The Matlab® 5 Handbook
Author(s): Darren Redfern
Date:1998
Size:1 online resource (488 p.)
Note:10.1007/978-1-4612-2170-8
Contents:Matlab Quick Start -- Linear Equations -- Sparse Matrices -- Non-Linear Equations -- Optimization -- Integration and Differentiation -- Ordinary Differential Equations -- Mathematical Functions and Operators -- Symbolic Computations
-- Graphing Points and Curves -- Graphing Surfaces and Volumes -- Animation -- Graphics Properties -- Graphical User-Interface Functions -- Programming in Matlab -- File Input/Output -- Debugging Matlab Programs -- Advanced Data
Structures -- Object-Oriented Programming -- Miscellaneous -- Matlab Resources
ISBN:9781461221708
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemistry, Physical and theoretical , Computer science , Computer graphics , Algebra , Mathematical analysis , Analysis (Mathematics) , Algorithms , Mathematics , Algorithms , Algebra , Analysis , Theoretical and Computational Chemistry , Symbolic and Algebraic Manipulation , Computer Graphics
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-1997-9783662033869:ONLINE Show nearby items on shelf
Title:Symbolic Integration I Transcendental Functions
Author(s): Manuel Bronstein
Date:1997
Size:1 online resource (303 p.)
Note:10.1007/978-3-662-03386-9
Contents:1. Algebraic Preliminaries -- 2. Integration of Rational Functions -- 3. Differential Fields -- 4. The Order Function -- 5. Integration of Transcendental Functions -- 6. The Risch Differential Equation -- 7. Parametric Problems -- 8.
The Coupled Differential System -- 9. Structure Theorems -- References
ISBN:9783662033869
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 1
Keywords: Mathematics , Computer science , Algebra , Mathematical analysis , Analysis (Mathematics) , Algorithms , Mathematics , Analysis , Algebra , Algorithms , Symbolic and Algebraic Manipulation
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-1996-9789400903494:ONLINE Show nearby items on shelf
Title:Frontiers of Combining Systems First International Workshop, Munich, March 1996
Author(s):
Date:1996
Size:1 online resource (388 p.)
Note:10.1007/978-94-009-0349-4
ISBN:9789400903494
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 3
Keywords: Computer science , Logic , Software engineering , Computer science , Artificial intelligence , Computational linguistics , Computer Science , Artificial Intelligence (incl. Robotics) , Logic , Computational Linguistics , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
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-1996-9789400708587:ONLINE Show nearby items on shelf
Title:Advanced Relational Programming
Author(s): Filippo Cacace
Date:1996
Size:1 online resource (394 p.)
Note:10.1007/978-94-007-0858-7
Contents:1. Introduction -- 1.1. Brief History of Database Technology -- 1.2. The Relational Approach -- 1.3. Data-Intensive Application Domains -- 1.4. Requirements of New Data-Intensive Applications -- 2. Overview Of Recent Evolution In
Database Technology -- 2.1. Semantic Data Models -- 2.2. Functional Data Models -- 2.3. Temporal Databases -- 2.4. Extended Relational Databases -- 2.5. Deductive Databases -- 2.6. Object-Oriented Databases -- 2.7. Active Databases --
3. Theory Of The Nested Relational Model -- 3.1. The Relational Data Model -- 3.2. Relational Algebra -- 3.3. Relational Calculus -- 3.4. Nested Relational Data Model -- 3.5. Extended Relational Algebra -- 3.6. Equivalence of Extended
Relational Algebra Expressions -- 3.7. Extended Relational Calculus -- 3.8. Expressive Power: Comparing Algebra and Calculus -- 3.9. Taxonomy of Nested Relations -- 3.10. Further Extensions to the Nested Relational Model -- 4. Algres,
An Extended Relational Database Programming Language -- 4.1. A Tour of Aigres -- 4.2. Rationale of Aigres Design -- 5. Programming In Algres -- 5.1. Constants, Identifiers, and Objects -- 5.2. Groups and Persistency -- 5.3. Operations
-- 5.4. The Quantification Mechanism -- 5.5. Input-Output -- 5.6. Control structures and blocks -- 5.7. Subprograms -- 5.8. Links -- 5.9. Built in functions -- 5.10. Program Structure -- 6. Alice, The Application Program Interface Of
Algres -- 6.1. A Tour of Alice -- 6.2. Guidelines for Writing Alice Programs -- 6.3. Programming in Alice -- 7. Algraph, The Graphical Interface Of Algres -- 7.1. Graphical Display -- 7.2. Graphical Read -- 7.3. Motif Interface for
Input-Output -- 7.4. Schema Editor -- Appendix A: Syntax Of Algres -- Appendix B: Syntax Of Alice Operators -- Appendix C: Algres And Alice Keywords -- Appendix D: Installing And Using The Algres System -- Getting a Free Copy of the
Aigres System -- Installing Aigres -- Using Aigres Commands -- Compiling and Executing Aigres Programs -- Compiling and Executing Alice Applications -- Editing Aigres Objects
ISBN:9789400708587
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 371
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Computer science , Text processing (Computer science) , Computer Science , Document Preparation and Text Processing , Programming Languages, Compilers, Interpreters , Data Structures, Cryptology and Information Theory , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
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-1996-9781468404845:ONLINE Show nearby items on shelf
Title:Introduction to Maple
Author(s): André Heck
Date:1996
Edition:Second Edition
Note:10.1007/978-1-4684-0484-5
Contents:1 Introduction to Computer Algebra -- 1.1 What is Computer Algebra? -- 1.2 Computer Algebra Systems -- 1.3 Some Properties of Computer Algebra Systems -- 1.4 Advantages of Computer Algebra -- 1.5 Limitations of Computer Algebra -- 1.6
Design of Maple -- 2 The First Steps: Calculus on Numbers -- 2.1 Getting Started -- 2.2 Getting Help -- 2.3 Integers and Rational Numbers -- 2.4 Irrational Numbers and Floating-Point Numbers -- 2.5 Algebraic Numbers -- 2.6 Complex
Numbers -- 2.7 Exercises -- 3 Variables and Names -- 3.1 Assignment and Unassignment -- 3.2 Evaluation -- 3.3 Names of Variables -- 3.4 Basic Data Types -- 3.5 Attributes -- 3.6 Properties -- 3.7 Exercises -- 4 Getting Around with
Maple -- 4.1 Maple Input and Output -- 4.2 The Maple Library -- 4.3 Reading and Writing Files -- 4.4 Importing and Exporting Numerical Data -- 4.5 Low-Level I/O -- 4.6 Code Generation -- 4.7 Changing Maple to Your Own Taste -- 4.8
Exercises -- 5 Polynomials and Rational Functions -- 5.1 Univariate Polynomials -- 5.2 Multivariate Polynomials -- 5.3 Rational Functions -- 5.4 Conversions -- 5.5 Exercises -- 6 Internal Data Representation and Substitution -- 6.1
Internal Representation of Polynomials -- 6.2 Generalized Rational Expressions -- 6.3 Substitution -- 6.4 Exercises -- 7 Manipulation of Polynomials and Rational Expressions -- 7.1 Expansion -- 7.2 Factorization -- 7.3 Canonical Form
and Normal Form -- 7.4 Normalization -- 7.5 Collection -- 7.6 Sorting -- 7.7 Exercises -- 8 Functions -- 8.1 Mathematical Functions -- 8.2 Arrow Operators -- 8.3 Piecewise Defined Functions -- 8.4 Maple Procedures -- 8.5 Recursive
Procedure Definitions -- 8.6 unapply -- 8.7 Operations on Functions -- 8.8 Anonymous Functions -- 8.9 Exercises -- 9 Differentiation -- 9.1 Symbolic Differentiation -- 9.2 Automatic Differentiation -- 9.3 Exercises -- 10 Integration
and Summation -- 10.1 Indefinite Integration -- 10.2 Definite Integration -- 10.3 Numerical Integration -- 10.4 Integral Transforms -- 10.5 Assisting Maple’s Integrator -- 10.6 Summation -- 10.7 Exercises -- 11 Series, Approximation,
and Limits -- 11.1 Truncated Series -- 11.2 Approximation of Functions -- 11.3 Power Series -- 11.4 Limits -- 11.5 Exercises -- 12 Composite Data Types -- 12.1 Sequence -- 12.2 Set -- 12.3 List -- 12.4 Array -- 12.5 Table -- 12.6 Last
Name Evaluation -- 12.7 Function Call -- 12.8 Conversion Between Composite Data Types -- 12.9 Exercises -- 13 The Assume Facility -- 13.1 The Need for an Assume Facility -- 13.2 Basics of assume -- 13.3 An Algebra of Properties -- 13.4
Implementation of assume -- 13.5 Exercises -- 13.6 Hierarchy of Properties -- 14 Simplification -- 14.1 Automatic Simplification -- 14.2 expand -- 14.3 combine -- 14.4 simplify -- 14.5 convert -- 14.6 Trigonometric Simplification --
14.7 Simplification w.r.t. Side Relations -- 14.8 Control Over Simplification -- 14.9 Defining Your Own Simplification Routines -- 14.10 Exercises -- 14.11 Simplification Chart -- 15 Graphics -- 15.1 Some Basic Two-Dimensional Plots --
15.2 Options of plot -- 15.3 The Structure of Two-Dimensional Graphics -- 15.4 The plottools Package -- 15.5 Special Two-Dimensional Plots -- 15.6 Two-Dimensional Geometry -- 15.7 Plot Aliasing -- 15.8 A Common Mistake -- 15.9 Some
Basic Three-Dimensional Plots -- 15.10 Options of plot3d -- 15.11 The Structure of Three-Dimensional Graphics -- 15.12 Special Three-Dimensional Plots -- 15.13 Data Plotting -- 15.14 Animation -- 15.15 List of Plot Options -- 15.16
Exercises -- 16 Solving Equations -- 16.1 Equations in One Unknown -- 16.2 Abbreviations in solve -- 16.3 Some Difficulties -- 16.4 Systems of Equations -- 16.5 The Gröbner Basis Method -- 16.6 Inequalities -- 16.7 Numerical Solvers --
16.8 Other Solvers in Maple -- 16.9 Exercises -- 17 Differential Equations -- 17.1 First Glance at ODEs -- 17.2 Analytic Solutions -- 17.3 Taylor Series Method -- 17.4 Power Series Method -- 17.5 Numerical Solutions -- 17.6 DEtools --
17.7 Perturbation Methods -- 17.8 Partial Differential Equations -- 17.9 Lie Point Symmetries of PDEs -- 17.10 Exercises -- 18 Linear Algebra: The linalg Package -- 18.1 Loading the linalg Package -- 18.2 Creating New Vectors and
Matrices -- 18.3 Vector and Matrix Arithmetic -- 18.4 Basic Matrix Functions -- 18.5 Structural Operations -- 18.6 Vector Operations -- 18.7 Standard Forms of Matrices -- 18.8 Exercises -- 19 Linear Algebra: Applications -- 19.1
Kinematics of the Stanford Manipulator -- 19.2 A Three-Compartment Model of Cadmium Transfer -- 19.3 Molecular-Orbital Hückel Theory -- 19.4 Vector Analysis -- 19.5 Moore-Penrose Inverse -- 19.6 Exercises -- References
ISBN:9781468404845
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemistry, Physical and theoretical , Computer science , Computer graphics , Algebra , Mathematical analysis , Analysis (Mathematics) , Physics , Mathematics , Algebra , Analysis , Theoretical and Computational Chemistry , Symbolic and Algebraic Manipulation , Computer Graphics , Mathematical Methods in Physics
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-1995-9789401711081:ONLINE Show nearby items on shelf
Title:Computational Algebra and Number Theory
Author(s):
Date:1995
Size:1 online resource (322 p.)
Note:10.1007/978-94-017-1108-1
Contents:1 Calculating Growth Functions for Groups Using Automata -- 2 The Minimal Faithful Degree of a Finite Commutative Inverse Semigroup -- 3 Generalisations of the Todd-Coxeter Algorithm -- 4 Computing Left Kan Extensions Using the
Todd—Coxeter Procedure -- 5 Computing Finite Soluble Quotients -- 6 Computing Automorphism Groups of p-Groups -- 7 The Art and Science of Computing in Large Groups -- 8 Does the Set of Points of an Elliptic Curve Determine the Group?
-- 9 An Implementation of the Elliptic Curve Integer Factorization Method -- 10 Continued Fractions of Algebraic Numbers -- 11 Bounds for Class Numbers of Quadratic Orders -- 12 Short Representation of Quadratic Integers -- 13 A
Density Conjecture for the Negative Pell Equation -- 14 Computing Aurifeuillian Factors -- 15 Computation of Cyclotomic Polynomials with Magma -- 16 On Some Characteristics of Uniformity of Distribution and Their Applications -- 17
Recent Progress on Consistency Testing for Polynomial Systems -- 18 A New Generalisation of the Kummer Congruence -- 19 Series Expansions of Algebraic Functions -- 20 Generation of Cocyclic Hadamard Matrices -- 21 Large Cayley Graphs
and Digraphs with Small Degree and Diameter -- 22 Hyperbolic Pyritohedra Constructed from the Coxeter Group [4,3,5]
ISBN:9789401711081
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 325
Keywords: Mathematics , Numerical analysis , Computer science , Algebra , Group theory , Number theory , Combinatorics , Mathematics , Algebra , Number Theory , Group Theory and Generalizations , Combinatorics , Symbolic and Algebraic Manipulation , Numeric Computing
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-1995-9789401584531:ONLINE Show nearby items on shelf
Title:Inconsistent Mathematics
Author(s): Chris Mortensen
Date:1995
Size:1 online resource (158 p.)
Note:10.1007/978-94-015-8453-1
Contents:One Motivations -- Two Arithmetic -- Three Modulo Infinity -- Four Order -- Five Calculus -- Six Inconsistent Continuous Functions -- Seven The Delta Function -- Eight Inconsistent Systems of Linear Equations -- Nine Projective Spaces
-- Ten Topology -- Eleven Category Theory -- Twelve Closed Set Sheaves and Their Categories -- Thirteen Duality -- Fourteen Foundations: Provability, Truth and Sets -- Index of Definitions and Names
ISBN:9789401584531
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 312
Keywords: Mathematics , Logic , Computer science , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Symbolic and Algebraic Manipulation
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-1994-9783662029770:ONLINE Show nearby items on shelf
Title:Mathematical Modelling Courses for Engineering Education
Author(s):
Date:1994
Size:1 online resource (254 p.)
Note:10.1007/978-3-662-02977-0
Contents:I: Mathematical Modelling Issues -- 1. The Role and Practice of Mathematical Modelling in Industry Today -- 2. The Teaching of Mathematical Modelling -- 3. Using Maple in a Mathematical Modelling Course -- 4. Design of Mathematical
Modelling Courses for Fluid Flow in Engineering Education -- II: Engineering Mathematics Education -- 5. Integrating New Information Technologies into Engineering Mathematics Curricula -- 6. Examples of Matlab in Engineering Education
-- 7. Issues Involved in Teaching Calculus with Computer Algebra Systems -- 8. A Global Approach to Finite Element Method -- 9. Finite Element Method by Using Mathematica -- 10. Ingmath: Software for Engineering Mathematics -- 11.
Power Series Solutions of ODEs -- 12. Comments on the Teaching of Computational Fluid Dynamics -- III: Mathematical Modelling in Fluid Flow and Heat Transfer -- 13. Finite Difference Modelling of Two-Phase Flow Instabilities in Boiling
Systems -- 14. Numerical Modelling in Heat Transfer by Spectral Methods -- IV: Workshops -- A. Computer Algebra Systems in Mathematical Education -- B. Mathematical Modelling in Fluid Flow -- Author and Subject Index
ISBN:9783662029770
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nato ASI Series, Series F: Computer and Systems Sciences : 132
Keywords: Mathematics , Computer science , Computer simulation , Numerical analysis , Mathematical models , Engineering , Mathematics , Mathematical Modeling and Industrial Mathematics , Engineering, general , Learning & Instruction , Symbolic and Algebraic Manipulation , Numerical Analysis , Simulation and Modeling
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-1993-9783662029459:ONLINE Show nearby items on shelf
Title:A Course in Computational Algebraic Number Theory
Author(s): Henri Cohen
Date:1993
Size:1 online resource (536 p.)
Note:10.1007/978-3-662-02945-9
Contents:1. Fundamental Number-Theoretic Algorithms -- 2. Algorithms for Linear Algebra and Lattices -- 3. Algorithms on Polynomials -- 4. Algorithms for Algebraic Number Theory I -- 5. Algorithms for Quadratic Fields -- 6. Algorithms for
Algebraic Number Theory II -- 7. Introduction to Elliptic Curves -- 8. Factoring in the Dark Ages -- 9. Modern Primality Tests -- 10. Modern Factoring Methods -- Appendix A. Packages for Number Theory -- Appendix B. Some Useful Tables
-- B.1. Table of Class Numbers of Complex Quadratic Fields -- B.2. Table of Class Numbers and Units of Real Quadratic Fields -- B.3. Table of Class Numbers and Units of Complex Cubic Fields -- B.4. Table of Class Numbers and Units of
Totally Real Cubic Fields -- B.5. Table of Elliptic Curves
ISBN:9783662029459
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Graduate Texts in Mathematics: 138
Keywords: Mathematics , Computers , Algorithms , Computer science , Algebra , Number theory , Mathematics , Number Theory , Algebra , Theory of Computation , Algorithm Analysis and Problem Complexity , Algorithms , Symbolic and Algebraic Manipulation
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-1993-9781468405194:ONLINE Show nearby items on shelf
Title:Introduction to Maple
Author(s): André Heck
Date:1993
Size:1 online resource (84 p.)
Note:10.1007/978-1-4684-0519-4
Contents:1 Introduction to Computer Algebra -- 1.1 What is Computer Algebra? -- 1.2 Computer Algebra Systems -- 1.3 Some Properties of Computer Algebra Systems -- 1.4 Advantages of Computer Algebra -- 1.5 Limitations of Computer Algebra -- 1.6
Maple -- 2 The First Steps: Calculus on Numbers -- 2.1 Getting Started -- 2.2 Getting Help -- 2.3 Integers and Rational Numbers -- 2.4 Irrational Numbers and Floating-Point Numbers -- 2.5 Algebraic Numbers -- 2.6 Complex Numbers -- 2.7
Exercises -- 3 Variables and Names -- 3.1 Assignment and Evaluation -- 3.2 Unassignment -- 3.3 Full Evaluation -- 3.4 Names of Variables -- 3.5 Basic Data Types -- 3.6 Exercises -- 4 Getting Around with Maple -- 4.1 Input and Output --
4.2 The Maple Library -- 4.3 Reading and Writing Files -- 4.4 Formatted I/O -- 4.5 Code Generation -- 4.6 Changing Maple to your own Taste -- 4.7 Exercises -- 5 Polynomials and Rational Functions -- 5.1 Univariate Polynomials -- 5.2
Multivariate Polynomials -- 5.3 Rational Functions -- 5.4 Conversions -- 5.5 Exercises -- 6 Internal Data Representation and Substitution -- 6.1 Internal Representation of Polynomials -- 6.2 Generalized Rational Expressions -- 6.3
Substitution -- 6.4 Exercises -- 7 Manipulation of Polynomials and Rational Expressions -- 7.1 Expansion -- 7.2 Factorization -- 7.3 Canonical Form and Normal Form -- 7.4 Normalization -- 7.5 Collection -- 7.6 Sorting -- 7.7 Exercises
-- 8 Functions -- 8.1 Mathematical Functions -- 8.2 Arrow Operators -- 8.3 Maple Procedures -- 8.4 Recursive Procedure Definitions -- 8.5 unapply -- 8.6 Operations on Functions -- 8.7 Anonymous Functions -- 8.8 Exercises -- 9
Differentiation -- 9.1 Symbolic Differentiation -- 9.2 Automatic Differentiation -- 9.3 Exercises -- 10 Integration and Summation -- 10.1 Indefinite Integration -- 10.2 Definite Integration -- 10.3 Numerical Integration -- 10.4
Integral Transforms -- 10.5 Assisting Maple’s Integrator -- 10.6 Summation -- 10.7 Exercises -- 11 Truncated Series Expansions, Power Series, and Limits -- 11.1 Truncated Series Expansions -- 11.2 Power Series -- 11.3 Limits -- 11.4
Exercises -- 12 Composite Data Types -- 12.1 Sequence -- 12.2 Set -- 12.3 List -- 12.4 Array -- 12.5 convert and map -- 12.6 Exercises -- 13 Simplification -- 13.1 Automatic Simplification -- 13.2 expand -- 13.3 combine -- 13.4
simplify -- 13.5 convert -- 13.6 Trigonometric Simplification -- 13.7 Simplification w.r.t. Side Relations -- 13.8 Exercises -- 14 Graphics -- 14.1 Some Basic Two-Dimensional Plots -- 14.2 Options of plot -- 14.3 The Structure of
Two-Dimensional Graphics -- 14.4 Special Two-Dimensional Plots -- 14.5 Plot Aliasing -- 14.6 A Common Mistake -- 14.7 Some Basic Three-Dimensional Plots -- 14.8 Options of plot3d -- 14.9 The Structure of Three-Dimensional Graphics --
14.10 Special Three-Dimensional Plots -- 14.11 Animation -- 14.12 Exercises -- 15 Solving Equations -- 15.1 Equations in One Unknown -- 15.2 Abbreviations in solve -- 15.3 Some Difficulties -- 15.4 Systems of Equations -- 15.5 The
Gröbner Basis Method -- 15.6 Numerical Solvers -- 15.7 Other Solvers in Maple -- 15.8 Exercises -- 16 Differential Equations -- 16.1 First Glance at ODEs -- 16.2 Analytic Solutions -- 16.3 Taylor Series Method -- 16.4 Power Series
Method -- 16.5 Numerical Solutions -- 16.6 Perturbation Methods -- 16.7 Liesymm -- 16.8 Exercises -- 17 Linear Algebra: Basics -- 17.1 Basic Operations on Matrices -- 17.2 Last Name Evaluation -- 17.3 The Linear Algebra Package -- 17.4
Exercises -- 18 Linear Algebra: Applications -- 18.1 Kinematics of the Stanford Manipulator -- 18.2 A 3-Compartment Model of Cadmium Transfer -- 18.3 Molecular-orbital Hückel Theory -- 18.4 Prolate Spheroidal Coordinates -- 18.5
Moore-Penrose Inverse -- 18.6 Exercises
ISBN:9781468405194
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algorithms , Mathematics , Algorithms
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-9789401118064:ONLINE Show nearby items on shelf
Title:Computational and Algorithmic Problems in Finite Fields
Author(s): Igor E Shparlinski
Date:1992
Size:1 online resource (240 p.)
Note:10.1007/978-94-011-1806-4
Contents:1. Polynomial Factorization -- 1. Univariate factorization -- 2. Multivariate factorization -- 3. Other polynomial decompositions -- 2. Finding irreducible and primitive polynomials -- 1. Construction of irreducible polynomials -- 2.
Construction of primitive polynomials -- 3. The distribution of irreducible and primitive polynomials -- 1. Distribution of irreducible and primitive polynomials -- 2. Irreducible and primitive polynomials of a given height and weight
-- 3. Sparse polynomials -- 4. Applications to algebraic number fields -- 4. Bases and computation in finite fields -- 1. Construction of some special bases for finite fields -- 2. Discrete logarithm and Zech’s logarithm -- 3.
Polynomial multiplication and multiplicative complexity in finite fields -- 4. Other algorithms in finite fields -- 5. Coding theory and algebraic curves -- 1. Codes and points on algebraic curves -- 2. Codes and exponential sums -- 3.
Codes and lattice packings and coverings -- 6. Elliptic curves -- 1. Some general properties -- 2. Distribution of primitive points on elliptic curves -- 7. Recurrent sequences in finite fields and leyelic linear codes -- 1.
Distribution of values of recurrent sequences -- 2. Applications of recurrent sequences -- 3. Cyclic codes and recurrent sequences -- 8. Finite fields and discrete mathematics -- 1. Cryptography and permutation polynomials -- 2. Graph
theory, combinatorics, Boolean functions -- 3. Enumeration problems in finite fields -- 9. Congruences -- 1. Optimal coefficients and pseudo-random numbers -- 2. Residues of exponential functions -- 3. Modular arithmetic -- 4. Other
applications -- 10. Some related problems -- 1. Integer factorization, primality testing and the greatest common divisor -- 2. Computational algebraic number theory -- 3. Algebraic complexity theory -- 4. Polynomials with integer
coefficients -- Appendix 1 -- Appendix 2 -- Appendix 3 -- Addendum -- References
ISBN:9789401118064
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications (Soviet Series): 88
Keywords: Mathematics , Computers , Computer science , Algebra , Field theory (Physics) , Mathematics , Field Theory and Polynomials , Symbolic and Algebraic Manipulation , Theory of Computation
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-9780585332475:ONLINE Show nearby items on shelf
Title:Algorithms for Computer Algebra
Author(s): K. O Geddes
Date:1992
Size:1 online resource (586 p.)
Note:10.1007/b102438
Contents:to Computer Algebra -- Algebra of Polynomials, Rational Functions, and Power Series -- Normal Forms and Algebraic Representations -- Arithmetic of Polynomials, Rational Functions, and Power Series -- Homomorphisms and Chinese
Remainder Algorithms -- Newton’s Iteration and the Hensel Construction -- Polynomial GCD Computation -- Polynomial Factorization -- Solving Systems of Equations -- Gröbner Bases for Polynomial Ideals -- Integration of Rational
Functions -- The Risch Integration Algorithm
ISBN:9780585332475
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Numerical analysis , Computer science , Image processing , Algebra , Computer software , Mathematics , Mathematical Software , Image Processing and Computer Vision , Algebra , Symbolic and Algebraic Manipulation , Numeric Computing , Computer Science, general
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-1991-9789401135023:ONLINE Show nearby items on shelf
Title:Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics
Author(s): F Brackx
Date:1991
Size:1 online resource (264 p.)
Note:10.1007/978-94-011-3502-3
Contents:1 Introduction -- 2 Standard LISP and RLISP -- 3 REDUCE algebraic mode -- 4 Applications -- 5 A package for three-dimensional euclidean geometry
ISBN:9789401135023
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 72
Keywords: Computer science , Programming languages (Electronic computers) , Numerical analysis , Computer science , Artificial intelligence , Computer Science , Symbolic and Algebraic Manipulation , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Numeric Computing
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-1990-9783540471394:ONLINE Show nearby items on shelf
Title:Computational Methods and Function Theory Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989
Author(s):
Date:1990
Size:1 online resource (220 p.)
Note:10.1007/BFb0087892
Contents:Open problems and conjectures in complex analysis -- A remarkable cubic mean iteration -- On the maximal range problem for slit domains -- On bernstein type inequalities and a weighted chebyshev approximation problem on ellipses --
Conformal mapping and Fourier-Jacobi approximations -- Numerical solutions of the schiffer equation -- Behavior of the lagrange interpolants in the roots of unity -- Orthogonal polynomials, chain sequences, three-term recurrence
relations and continued fractions -- On Thurston's formulation and proof of Andreev's theorem -- Hyperbolic geometry in spherically k-convex regions -- The Bloch and Marden constants -- On some analytic and computational aspects of two
dimensional vortex sheet evolution -- On the numerical performance of a domain decomposition method for conformal mapping -- Planar harmonic mappings -- Extremal problems for non-vanishing H p functions -- Some results on separate
convergence of continued fractions -- Asymptotics for the zeros of the partial sums of ez. II
ISBN:9783540471394
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1435
Keywords: Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis , Symbolic and Algebraic Manipulation
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-1989-9789400909854:ONLINE Show nearby items on shelf
Title:Applications of Computer Technology to Dynamical Astronomy Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988
Author(s):
Date:1989
Size:1 online resource (341 p.)
Note:10.1007/978-94-009-0985-4
Contents:1/Applications of Computers to Solving Problems -- Early Applications of Computer Technology to Dynamical Astronomy -- Applications of Computers to Celestial Mechanics -- Applications to Stellar and Galactic Dynamics -- Application of
Computer in Qualitative Studies of Celestial Mechanics -- Leading Spiral Arms, Retrograde Galaxy Encounters and Massive Halos -- On Construction of Analytic Solutions to the Three Body Problem by Use of Computer Experiments -- The Use
of Computer Algorithms in the Construction of a Theory of the Long-Period Perturbations of Saturn’s Satellite Hyperion -- Some Numerical Aspects in a Search for I=1 Periodic Orbits for Hecuba Asteroids -- SHORDE I Program System and
Applications -- A Semi-numerical Expansion of the Averaged Disturbing Function for Some Very-high-eccentricity Orbits -- Symbolic Algebra Software for Planetary Theories -- Tests of the Extrapolation Method for the Numerical
Integration of the Keplerian Motion -- Application of a Massively Parallel Computer to the N-body Problem -- Hydrodynamical Models of Elliptical Galaxies -- A Multifluid Code for Problems of Elliptical Galaxy Formation and Evolution --
3D Hydrodynamics and Radiative Transfer -- First-order and Second-order 3-D Hydrodynamics: A Comparison -- Chaotic Dynamics and Monte Carlo Modelling -- Software Tools for Nonlinear Dynamics -- Computer Algebra, Lie Transforms and the
Nonlinear Stability of L4 -- Solution of an Infinite Number of Inequations Depending on a Continuous Parameter and Application to the Solution of Equations in Dynamical Astronomy -- 2/Matching Problems with Technology -- Planet
Crossing Asteroids and Parallel Computing: Project Spaceguard -- Implementation of an N-body Code in a HP1000 Computer -- Computer Applications to Lunar and Artificial Satellite Laser Ranging -- The Use of Image Processors for
Acquisition and Reduction of Astrometric Data in Real Time -- Modeling of Asymmetric Light Curves of Eclipsing Binaries on the Cyber 205 Supercomputer -- Galaxies in the Connection Machine -- 3/New Methods of Mathematical Programming
-- Specialized Celestial Mechanics Systems for Symbolic Manipulation -- On a Restricted (2n+3)-Body Problem -- The Simplex Method for Nonlinear Mass Determinations -- An Optimum Method for Calculating Restricted Three-Body Orbits --
The Constrained Normal Form Algorithm -- 4/Matching Computer Language to the Problem -- Simplify or Perish -- The Stability of the Lagrangian Point L4 -- Computer Implementation of a New Approach to the Ideal Resonance Problem -- A
Laboratory for Gravitational Scattering Experiments -- Problem Oriented Language for Ephemeris Astronomy and its Realisation in the System ERA -- 5/Use of Numerical Versus Algebraic Computation -- Numerical Integration Methods in
Dynamical Astronomy -- A Survey of Poisson Series Processors -- A FORTRAN-based Poisson Series Processor and its Applications in Celestial Mechanics -- PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems --
The Problem of the Eulerian Oscillations: A Weakness of Numerical Versus Analytical Methods -- A Semi-Analytical Method to Study Perturbed Rotational Motion -- Computational Studies of Cloudy Gaseous Galactic Disks -- 6/Representation
and Transmission of Results -- Synthetic Secular Theories of the Planetary Orbits: Regular and Chaotic Behaviour -- Numerical Representation of Planetary Ephemerides -- Compressed Planetary and Lunar Ephemerides -- An Analytical
Representation of Ephemeris Data -- Numerical Simulations of Narrow Planetary Rings: An Animation -- Electronic Almanacs Mating the Message and the Medium -- List of Participants -- Errata
ISBN:9789400909854
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer science , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Symbolic and Algebraic Manipulation
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-1985-9781468468885:ONLINE Show nearby items on shelf
Title:Applications of Computer Algebra
Author(s):
Date:1985
Size:1 online resource (448 p.)
Note:10.1007/978-1-4684-6888-5
Contents:1. MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences -- 2. Modern Symbolic Mathematical Computation Systems -- 3. Using VAXIMA to Write FORTRAN Code -- 4. Applications of Symbolic Mathematics to
Mathematics -- 5. Past, Present, and Future Applications of Computer Algebra in Chemistry -- 6. Symbolic Computation in Chemical Education -- 7. A Lisp System for Chemical Groups: Wigner—Eckart Coefficients for Arbitrary Permutation
Groups -- 8. Polymer Modeling Applications of Symbolic Computation -- 9. Stability Analysis and Optimal Control of a Photochemical Heat Engine -- 10. Fourier Transform Algorithms for Spectral Analysis Derived with MACSYMA -- 11.
Computer Algebra as a Tool for Solving Optimal Control Problems -- 12. Application of MACSYMA to Kinematics and Mechanical Systems -- 13. Stability Analysis of a Robotic Mechanism Using Computer Algebra -- 14. Derivation of the Hopf
Bifurcation Formula Using Lindstedt’s Perturbation Method and MACSYMA -- 15. Normal Form and Center Manifold Calculations on MACSYMA -- 16. Symbolic Computation of the Stokes Wave -- 17. Simplifying Large Algebraic Expressions by
Computer -- 18. A Proposal for the Solution of Quantum Field Theory Problems Using a Finite-Element Approximation -- 19. Exact Solutions for Superlattices and How to Recognize Them with Computer Algebra -- 20. Computer Generation of
Symbolic Generalized Inverses and Applications to Physics and Data Analysis
ISBN:9781468468885
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Computer software , Mathematics , Mathematical Software , Symbolic and Algebraic Manipulation , Algebra
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-1978-9783540359722:ONLINE Show nearby items on shelf
Title:Numerical Analysis Proceedings of the Biennial Conference Held at Dundee, June 28–July 1, 1977
Author(s):
Date:1978
Size:1 online resource (206 p.)
Note:10.1007/BFb0067690
Contents:Runge-Kutta methods for Volterra integral equations of the second kind -- Best approximation of complex-valued data -- Inverse eigenvalue problems for band matrices -- Multivariate approximants with branch points -- The numerical
treatment of some singular boundary value problems -- The incorporation of boundary conditions in spline approximation problems -- A time-stepping method for Galerkin approximations for nonlinear parabolic equations -- An automatic
one-way dissection algorithm for irregular finite element problems -- Generalised Galerkin methods for second order equations with significant first derivative terms -- The Levenberg-Marquardt algorithm: Implementation and theory --
Nonlinear approximation problems in vector norms -- Finite difference solution of two-point boundary value problems and symbolic manipulation -- A fast algorithm for nonlinearly constrained optimization calculations -- The
decomposition of systems of procedures and algebraic equations -- Global error estimation in ODE-solvers -- Isojacobic crosswind differencing
ISBN:9783540359722
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 630
Keywords: Mathematics , Numerical analysis , Mathematics , 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

Return to the Fermilab Library catalog