Cargando…
Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scien...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Theoretical Computer Science and General Issues,
4194 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-45195-2 | ||
| 003 | DE-He213 | ||
| 005 | 20230406025058.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2006 gw | s |||| 0|eng d | ||
| 020 | |a 9783540451952 |9 978-3-540-45195-2 | ||
| 024 | 7 | |a 10.1007/11870814 |2 doi | |
| 050 | 4 | |a QA76.9.M35 | |
| 072 | 7 | |a UYAM |2 bicssc | |
| 072 | 7 | |a COM018000 |2 bisacsh | |
| 072 | 7 | |a UYAM |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 245 | 1 | 0 | |a Computer Algebra in Scientific Computing |h [electronic resource] : |b 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / |c edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov. |
| 250 | |a 1st ed. 2006. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2006. | |
| 300 | |a XII, 314 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 4194 | |
| 505 | 0 | |a 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. | |
| 520 | |a This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms. The eight earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, and CASC 2005 were held, - spectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzb- istan, in Konstanz, Germany, in Crimea, Ukraine, in Passau, Germany, in St. Petersburg, Russia, and in Kalamata, Greece, and they proved to be successful. It was E. A. Grebenikow (Computing Center of the Russian Academy of S- ences, Moscow) who drew our attention to the group of mathematicians and c- puter scientists at the Academy of Sciences of Moldova conducting research in the ?eld of computer algebra. We were impressed that this group not only is concerned with applications of CA methods to problems of scienti?c computing but also c- ries out research on the fundamental principles underlying the current computer algebra systems themselves, see also their papers in the present proceedings v- ume. It was therefore decided to organize the 9th workshop on Computer Algebra in Scienti?c Computing, CASC 2006, in Chi¸ sin? au, the capital of Moldova. | ||
| 650 | 0 | |a Computer science-Mathematics. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Discrete mathematics. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 1 | 4 | |a Symbolic and Algebraic Manipulation. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Discrete Mathematics in Computer Science. |
| 650 | 2 | 4 | |a Algorithms. |
| 650 | 2 | 4 | |a Mathematical Applications in Computer Science. |
| 700 | 1 | |a Ganzha, V.G. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Mayr, E.W. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Vorozhtsov, E.V. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783540830665 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540451822 |
| 830 | 0 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 4194 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/11870814 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||