close
1.

電子ブック
ＥＢ
1. The Mathematica GuideBook for Numerics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28814-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. The Mathematica GuideBook for Symbolics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science + Business Media, 2006
オンライン: http://dx.doi.org/10.1007/0-387-31262-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Global Optimization : From Theory to Implementation
edited by Leo Liberti, Nelson Maculan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 84
オンライン: http://dx.doi.org/10.1007/0-387-30528-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Mathematics for Multimedia. 1
by Mladen Victor Wickerhauser
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4880-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Mathematica®: A Problem-Centered Approach
by Roozbeh Hazrat
出版情報: London : Springer-Verlag London Limited, 2010
シリーズ名: Springer Undergraduate Mathematics Series ; 53
オンライン: http://dx.doi.org/10.1007/978-1-84996-251-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. An Introduction to Modern Mathematical Computing : With Maple™
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-0122-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles
by Maoan Han, Pei Yu
出版情報: London : Springer London, 2012
シリーズ名: Applied Mathematical Sciences ; 181
オンライン: http://dx.doi.org/10.1007/978-1-4471-2918-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Pyomo – Optimization Modeling in Python
by William E. Hart, Carl Laird, Jean-Paul Watson, David L. Woodruff
出版情報: Boston, MA : Springer US, 2012
シリーズ名: Springer Optimization and Its Applications ; 67
オンライン: http://dx.doi.org/10.1007/978-1-4614-3226-5
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Maple and Mathematica : A Problem Solving Approach for Mathematics
by Inna K. Shingareva, Carlos Lizárraga-Celaya
出版情報: Vienna : Springer-Verlag Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-99432-0
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Advances in Applied Mathematics and Global Optimization : In Honor of Gilbert Strang
edited by Hanif D. Sherali, David Y. Gao
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Advances in Mechanics and Mathematics ; 17
オンライン: http://dx.doi.org/10.1007/978-0-387-75714-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Mathematica in Action : Problem Solving Through Visualization and Computation
edited by Stan Wagon
出版情報: New York, NY : Springer-Verlag New York, 2010
オンライン: http://dx.doi.org/10.1007/978-0-387-75477-2
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. An Introduction to Modern Mathematical Computing : With Mathematica®
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4253-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conventions and Notation
1. Number Theory
2. Calculus
3. Linear Algebra
4. Visualisation and Geometry: a Postscript
Sample Quizzes
Index
References.-
Preface
Conventions and Notation
1. Number Theory
14.

電子ブック
ＥＢ
14. Recent Advances in Algorithmic Differentiation
edited by Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Computational Science and Engineering ; 87
オンライン: http://dx.doi.org/10.1007/978-3-642-30023-3
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Post-Optimal Analysis in Linear Semi-Infinite Optimization
by Miguel A. Goberna, Marco A. López
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4899-8044-1
所蔵情報: loading…
目次情報: 続きを見る
1. Preliminaries on Linear Semi-Infinite Optimization
2. Modeling uncertain Linear Semi-Infinite Optimization problems
3. Robust Linear Semi-infinite Optimization
4. Sensitivity analysis
5. Qualitative stability analysis
6. Quantitative stability analysis
1. Preliminaries on Linear Semi-Infinite Optimization
2. Modeling uncertain Linear Semi-Infinite Optimization problems
3. Robust Linear Semi-infinite Optimization
16.

電子ブック
ＥＢ
16. Hypergeometric Summation : An Algorithmic Approach to Summation and Special Function Identities. 2nd ed. 2014
by Wolfram Koepf
出版情報: London : Springer London : Imprint: Springer, 2014
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-6464-7
所蔵情報: loading…
目次情報: 続きを見る
Introduction
The Gamma Function
Hypergeometric Identities
Hypergeometric Database
Holonomic Recurrence Equations
Gosper’s Algorithm
The Wilf-Zeilberger Method
Zeilberger’s Algorithm
Extensions of the Algorithms
Petkovˇsek’s and Van Hoeij’s Algorithm
Differential Equations for Sums
Hyperexponential Antiderivatives
Holonomic Equations for Integrals
Rodrigues Formulas and Generating Functions
Introduction
The Gamma Function
Hypergeometric Identities
17.

電子ブック
ＥＢ
17. Scientific Computing - An Introduction using Maple and MATLAB
by Walter Gander, Martin J. Gander, Felix Kwok
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Texts in Computational Science and Engineering ; 11
オンライン: http://dx.doi.org/10.1007/978-3-319-04325-8
所蔵情報: loading…
目次情報: 続きを見る
Why Study Scientific Computing?
Finite Precision Arithmetic
Linear Systems of Equations
Interpolation
Nonlinear Equations.-Least Squares Problems
Eigenvalue Problems
Differentiation
Quadrature
Numerical Ordinary Differential Equations
Iterative Methods for Linear Systems
Optimization
Bibliography
Index
Why Study Scientific Computing?
Finite Precision Arithmetic
Linear Systems of Equations
18.

電子ブック
ＥＢ
18. Computer Mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks
edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
オンライン: http://dx.doi.org/10.1007/978-3-662-43799-5
所蔵情報: loading…
目次情報: 続きを見る
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Finding the Symbolic Solution of a Geometric Problem through Numeric Computations
A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
The vanishing ideal of a finite set of points with multiplicity structures
Signature-based Method of Deciding Program Termination
High-precision eigenvalue bound for the Laplacian with singularities
Degree and dimension estimates for invariant ideals of P-solvable recurrences
POLY : A new polynomial data structure for Maple 17
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method
Real Root Isolation of Polynomial Equations Based on Hybrid Computation
Overview of the Mathemagix type system
Resultant-Free Computation of Indefinite Hyperexponential Integrals
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
The Diagonal Reduction Algorithm Using Fast Givens
Constructing Generalized Bent Functions from Trace Forms over Galois Rings
Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials
Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis
A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices
Computing Popov Forms of Matrices over PBW Extensions
On the simplest quartic fields and related Thue equations
On the Implementation of Boolean Gröbner Bases
Towards the calculation of Casimir forces for inhomogeneous planar media
Comprehensive Gröbner Bases in a Java Computer Algebra System
Real Root Isolation of Regular Chains
A Practical Method for Floating-point Groebner Basis Computation
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case
A Sequence of Nearest Polynomials with Given Factors
Digitisation Workflow in the Czech Digital Mathematics Library
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Finding the Symbolic Solution of a Geometric Problem through Numeric Computations
19.

電子ブック
ＥＢ
19. Numerical Methods in Matrix Computations
by Åke Björck
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Texts in Applied Mathematics ; 59
オンライン: http://dx.doi.org/10.1007/978-3-319-05089-8
所蔵情報: loading…
目次情報: 続きを見る
Direct Methods for Linear Systems
Linear Least Squares Problems
Matrix Eigenvalue Problems
Iterative Methods
Direct Methods for Linear Systems
Linear Least Squares Problems
Matrix Eigenvalue Problems
20.

電子ブック
ＥＢ
20. Numerical Mathematics and Advanced Applications - ENUMATH 2013 : Proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013
edited by Assyr Abdulle, Simone Deparis, Daniel Kressner, Fabio Nobile, Marco Picasso
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computational Science and Engineering ; 103
オンライン: http://dx.doi.org/10.1007/978-3-319-10705-9
所蔵情報: loading…
目次情報: 続きを見る
Preface
Part I: Space Discretisation Methods for PDEs
Part II: Time Integration Schemes
Part III:  A Posteriori Error Estimation and Adaptive Methods
Part IV:  Numerical Linear Algebra
Part V: Multiscale Modeling and Simulation
Part VI: Reduced Order Modeling
Part VII: Optimal Control
Part VIII: Uncertainty, Stochastic Modeling and Applications
Part IX:  Solvers, High Performance Computing and Software Libraries
Part X: Computational Fluid and Structural Mechanics
Part XI: Computational Electromagnetics
Preface
Part I: Space Discretisation Methods for PDEs
Part II: Time Integration Schemes
21.

電子ブック
ＥＢ
21. Selected Applications of Convex Optimization
by Li Li
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Springer Optimization and Its Applications ; 103
オンライン: http://dx.doi.org/10.1007/978-3-662-46356-7
所蔵情報: loading…
目次情報: 続きを見る
Preliminary Knowledge
Support Vector Machines
Parameter Estimations
Norm Approximation and Regulariztion
Semi-Definite Programing and Linear Matrix Inequalities
Convex Relaxation
Geometric Problems
Preliminary Knowledge
Support Vector Machines
Parameter Estimations
22.

電子ブック
ＥＢ
22. Learning MATLAB : A Problem Solving Approach. 1st ed. 2015
by Walter Gander
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: UNITEXT ; 95
オンライン: http://dx.doi.org/10.1007/978-3-319-25327-5
所蔵情報: loading…
目次情報: 続きを見る
Chapter 1. Starting and Using Matlab
Chapter 2. How a Computer Calculates
Chapter 3. Plotting Functions and Curves
Chapter 4. Some Elementary Functions
Chapter 5. Computing with Multiple Precision
Chapter 6. Solving Linear Equations
Chapter 7. Recursion
Chapter 8. Iteration and Nonlinear Equations
Chapter 9. Simulation
Chapter 10. Solutions of Problems
Bibliography
Chapter 1. Starting and Using Matlab
Chapter 2. How a Computer Calculates
Chapter 3. Plotting Functions and Curves
23.

電子ブック
ＥＢ
23. Computing in Algebraic Geometry : A Quick Start using SINGULAR
by Wolfram Decker, Christoph Lossen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 16
オンライン: http://dx.doi.org/10.1007/3-540-28993-3
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
edited by Wieb Bosma, John Cannon
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Algorithms and Computation in Mathematics ; 19
オンライン: http://dx.doi.org/10.1007/978-3-540-37634-7
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-49333-6
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
by David Cox, John Little, Donal O’Shea
出版情報: New York, NY : Springer, 2007
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-35651-8
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Maple and Mathematica : A Problem Solving Approach for Mathematics
by Inna Shingareva, Carlos Lizàrraga-Celaya
出版情報: Vienna : Springer-Verlag/Wien, 2007
オンライン: http://dx.doi.org/10.1007/978-3-211-73265-6
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Aritmetica: un approccio computazionale
by Giulio Cesare Barozzi
出版情報: Milano : Springer-Verlag Italia, 2007
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0582-2
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Automated Solution of Differential Equations by the Finite Element Method : The FEniCS Book
edited by Anders Logg, Kent-Andre Mardal, Garth Wells
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Lecture Notes in Computational Science and Engineering ; 84
オンライン: http://dx.doi.org/10.1007/978-3-642-23099-8
所蔵情報: loading…