درحال بارگذاري...
جستجو
| ایمیل دوست | |
| نام شما | |
| ایمیل شما | |
| کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
فهرست محتوای دیجیتالی
فهرست مطالب
فهرست نقدها
6 مرتبه مشاهده شده
Numerical and Symbolic Scientific Computing: Progress and Prospects
Langer, Ulrich
- ISBN:9783709107935
- Main Entry: Langer, Ulrich
- Title:Numerical and Symbolic Scientific Computing: Progress and Prospects/ Ulrich Langer, Peter Paule.-
- Publisher:Springer-Verlag/Wien, 2012.
- Series:Texts and Monographs in Symbolic Computation/
- Added Entry:Paule, Peter
فهرست محتوای دیجیتالی-
محتواي کتاب - مشاهده
فهرست مطالب- GetFullPageImage
- front-matter
- fulltext
- fulltext(1)
- Sparsity Optimized High Order Finite ElementFunctions on Simplices
- 1 Introduction
- 2 Properties of Jacobi Polynomials with Weight (1-x)α
- 3 Preliminary Definitions
- 4 The L2 Orthogonal Basis Functions of Dubiner
- 5 Sparsity Optimized H1-Conforming Basis Functions
- 6 Sparsity Optimization of H(div)-Conforming Basis Functions
- 7 Sparsity Optimized H(curl)-Conforming Basis Functions
- 8 Integration by Rewriting
- References
- Sparsity Optimized High Order Finite ElementFunctions on Simplices
- fulltext(2)
- fulltext(3)
- A Symbolic-Numeric Algorithm for Genus Computation
- 1 Introduction
- 2 The Genus Computation Problem
- 3 Why Knot? Alternative Solution to the Genus Computation Problem
- 4 What Precisely Means ``Approximate Computation''?
- 5 Numerical Experiments
- 6 Conclusion and Future Work
- References
- A Symbolic-Numeric Algorithm for Genus Computation
- fulltext(4)
- The ``Seven Dwarfs'' of Symbolic Computation
- 1 Introduction
- 2 Exact Linear Algebra, Integer Lattices
- 3 Exact Polynomial and Differential Algebra, Gröbner Bases
- 4 Inverse Symbolic Problems, e.g., Interpolation and Parameterization
- 5 Tarski's Algebraic Theory of Real Geometry
- 6 Hybrid Symbolic-Numeric Computation
- 7 Computation of Closed Form Solutions
- 8 Rewrite Rule Systems and Computational Group Theory
- References
- The ``Seven Dwarfs'' of Symbolic Computation
- fulltext(5)
- fulltext(6)
- A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
- 1 Introduction
- 2 Algebraization of Differential and Difference Equations
- 3 Three Equivalent Approaches and the Main Theorem
- 4 Generation of Difference Schemes
- 5 Symbolic Methods for von Neumann Stability Analysis
- 6 Examples for λ-Wave Equation
- 7 Dispersion Analysis
- 8 Conclusion and Future Work
- 9 Appendix. The Detailed Singular Code of an Example
- References
- A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
- fulltext(7)
- fulltext(8)
- fulltext(9)
- fulltext(10)
- fulltext(11)
- fulltext(12)
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Grobner Bases
- fulltext(13)
- Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra
- 1 Introduction
- 2 Algebraic Methods for LPDEs and LPDOs
- 3 Obstacles to Factorizations
- 4 Generating Sets of Invariants for Hyperbolic Third-Order LPDOs
- 5 Existence of Factorization in Terms of Invariants
- 6 Multiple Factorizations of an LPDO
- 7 Software Development: The Maple Package LPDOs
- 8 Summary and Conclusions
- References
- Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra