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 : 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 | ||
| ||