Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / / Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
| Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / / Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XI, 393 p.) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
GerdtVladimir P
MayrErnst VorozhtsovE. V <1946-> (Evgenii Vasilevich) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Science - Data processing |
| ISBN | 3-642-04103-5 |
| Classificazione |
DAT 702f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On m-Interlacing Solutions of Linear Difference Equations -- Parametric Analysis of Stability Conditions for a Satellite with Gyrodines -- Computing and Visualizing Closure Objects Using Relation Algebra and RelView -- On Integrability of a Planar ODE System Near a Degenerate Stationary Point -- Conditions of D-Stability of the Fifth-Order Matrices -- Code Generation for Polynomial Multiplication -- Solving Structured Polynomial Systems and Applications to Cryptology -- The Comparison Method of Physical Quantity Dimensionalities -- Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities -- Involution and Difference Schemes for the Navier–Stokes Equations -- A Mathematica Package for Simulation of Quantum Computation -- On Computing the Hermite Form of a Matrix of Differential Polynomials -- On the Computation of Comprehensive Boolean Gröbner Bases -- On Invariant Manifolds of Dynamical Systems in Lie Algebras -- On the Complexity of Reliable Root Approximation -- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation -- Discrete Dynamics: Gauge Invariance and Quantization -- Effective Quantifier Elimination for Presburger Arithmetic with Infinity -- An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy -- Lazy and Forgetful Polynomial Arithmetic and Applications -- On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences -- A Study on Gröbner Basis with Inexact Input -- Modular Algorithms for Computing a Generating Set of the Syzygy Module -- A Symbolic Framework for Operations on Linear Boundary Problems -- Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra -- Multiple Factorizations of Bivariate Linear Partial Differential Operators -- Computing Gröbner Bases within Linear Algebra -- A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium -- Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity -- New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc -- Hybrid Solution of Two-Point Linear Boundary Value Problems. |
| Record Nr. | UNINA-9910483934403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006 ; proceedings / / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
| Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006 ; proceedings / / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XII, 314 p.) |
| Disciplina | 512.00285 |
| Altri autori (Persone) |
GanzhaV. G <1956-> (Victor Grigorevich)
MayrErnst VorozhtsovE. V <1946-> (Evgenii Vasilevich) |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Algebra - Data processing
Science - Data processing |
| ISBN | 3-540-45195-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic Perturbation Lemma -- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions -- Providing Modern Software Environments to Computer Algebra Systems -- The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus and Gröbner Bases: Not Only a Divertimento -- Simplicial Perturbation Techniques and Effective Homology -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem -- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field -- On Decomposition of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases -- Cellular Automata with Symmetric Local Rules -- Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations -- On Connection Between Constructive Involutive Divisions and Monomial Orderings -- A Symbolic-Numeric Approach to Tube Modeling in CAD Systems -- Inequalities on Upper Bounds for Real Polynomial Roots -- New Domains for Applied Quantifier Elimination -- Algorithms for Symbolic Polynomials -- Testing Mersenne Primes with Elliptic Curves. |
| Altri titoli varianti | CASC 2006 |
| Record Nr. | UNINA-9910768175603321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra in scientific computing : 8th International Workshop, CSAC 2005, Kalamata, Greece, September 12-16, 2005 : proceedings / / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
| Computer algebra in scientific computing : 8th International Workshop, CSAC 2005, Kalamata, Greece, September 12-16, 2005 : proceedings / / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XII, 504 p.) |
| Disciplina | 512.00285 |
| Altri autori (Persone) |
GanzhaV. G <1956-> (Victor Grigorevich)
MayrErnst VorozhtsovE. V <1946-> (Evgenii Vasilevich) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Science - Data processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion -- Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time -- Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots -- Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials -- A Descartes Algorithm for Polynomials with Bit-Stream Coefficients -- Real Solving of Bivariate Polynomial Systems -- Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s -- Janet-Like Monomial Division -- Janet-Like Gröbner Bases -- Circulant Digraphs and Monomial Ideals -- Algebraic Topological Analysis of Time-Sequence of Digital Images -- Hilbert Stratification and Parametric Gröbner Bases -- Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem -- Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method -- On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems -- Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices -- Fast Verification for Respective Eigenvalues of Symmetric Matrix -- Towards More Accurate Separation Bounds of Empirical Polynomials II -- Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library -- Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies -- The Diamond Operator – Implementation of Exact Real Algebraic Numbers -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear Waves in a Rod -- A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods -- Differential and Difference Equations for Products of Classical Orthogonal Polynomials -- Algorithm of Local Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming -- Computation of Full Comprehensive Gröbner Bases -- Recursive Polynomial Remainder Sequence and the Nested Subresultants -- Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems -- Solving Linear Differential Problems with Parameters -- Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. |
| Record Nr. | UNINA-9910483066903321 |
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer-aided analysis of difference schemes for partial differential equations / / Victor G. Ganzha, E.V. Vorozhtsov
| Computer-aided analysis of difference schemes for partial differential equations / / Victor G. Ganzha, E.V. Vorozhtsov |
| Autore | Ganzha V. G (Victor Grigorevich), <1956-> |
| Pubbl/distr/stampa | New York, : John Wiley & Sons, Inc., c1996 |
| Descrizione fisica | 1 online resource (476 p.) |
| Disciplina | 515/.353 |
| Altri autori (Persone) | VorozhtsovE. V <1946-> (Evgenii Vasilevich) |
| Soggetto topico |
Differential equations, Partial - Numerical solutions - Data processing
Finite differences - Data processing |
| ISBN |
1-282-24272-5
9786613813848 1-118-03260-8 1-118-03085-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Computer-Aided Analysis of Difference Schemes for Partial Differential Equations; Contents; Preface; 1 The Necessary Basics from the Stability Theory of Difference Schemes and Polynomials; 1.1 Preliminary Discussion of Stability and Approximation; 1.2 Computer Algebra Systems; 1.3 A Brief Review of the Contents of Chapters; 1.4 Stability, Approximation, and Convergence; 1.5 A Survey of Methods for the Stability Analysis of Difference Schemes; 1.5.1 Von Neumann Stability Analysis; 1.5.2 Differential Approximation Method; 1.5.3 Method of Frozen Coefficients
1.6 Algebraic Criteria for Localization of Polynomial Zeros1.6.1 Similarity and Dimensional Considerations; 1.6.2 Liénard-Chipart Criterion; 1.6.3 Generalized Routh-Hurwitz Problem for the Characteristic Polynomial; 1.7 Determination of the Maximal Time Step from Stability Analysis Results; 1.7.1 The Use of the Least Squares Method; 1.7.2 A Method Based on the Requirement of a Constant Volume of a Cell of a Spatial Computing Mesh; 1.7.3 The Use of the Tables of the Coordinates of Points of Stability Region Boundaries; 1.8 On the Choice of Nondimensional Complexes; 1.9 Bibliographical Notes 1.9.1 Historical Note on Stability Theories1.9.2 Application of Algebraic Criteria to Stability Analyses; 1.9.3 Use of Computer Algebra for the Automation of Certain Stages of the Stability Analyses; References; 2 Symbolic-Numerical Method for the Stability Investigation of Difference Schemes on a Computer; 2.1 General Structure of the Symbolic-Numerical Method; 2.2 The Case of Diagonalizable Amplification Matrices; 2.3 Scheme Checker; 2.4 Symbolic Stages of the Method; 2.5 Generation of a FORTRAN Program by Computer Algebra 2.6 Computation of the Coordinates of Points of a Stability Region Boundary2.6.1 Use of the Bisection Method; 2.6.2 Automatic Determination of the Number of Spectral Grid Points; 2.7 Improved Accuracy of Numerical Results; 2.7.1 Scaling in the Routh Algorithm; 2.7.2 Scaling in the Routh-Hurwitz Algorithm; 2.8 Examples of Stability Analyses of Difference Schemes for Equations of Hyperbolic Type; 2.8.1 Two-Step Richtmyer's Form of the Lax-Wendroff Scheme; 2.8.2 MacCormack Scheme for the Two-Dimensional Advection Equation; 2.8.3 Jameson's Schemes 2.9 Stability Analysis of the MacCormack Scheme for Two-Dimensional Euler Equations2.10 Stability Analysis of the MacCormack Scheme for Three-Dimensional Euler Equations; 2.11 Examples of Stability Analyses of Difference Schemes for Navier-Stokes Equations; 2.11.1 A Family of Schemes for One-Dimensional Navier-Stokes Equations; 2.11.2 Difference Schemes on Curvilinear Grids; References; 3 Application of Optimization Methods to the Stability Analysis of Difference Schemes; 3.1 Formulation of a Search for Stability Region Boundaries of Difference Schemes in Terms of Optimization Theory 3.1.1 The Case of One Nondimensional Complex |
| Record Nr. | UNINA-9910877787203321 |
Ganzha V. G (Victor Grigorevich), <1956->
|
||
| New York, : John Wiley & Sons, Inc., c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||