LEADER 00622nam2-22002411i-450- 001 990003695000403321 005 20031103121928.0 035 $a000369500 035 $aFED01000369500 035 $a(Aleph)000369500FED01 035 $a000369500 100 $a20030910d--------km-y0itay50------ba 101 0 $aita 200 1 $aLinee di sintesi$fRuggiero Romano 215 $a1, p. 287-295 463 0$1001000345107 700 1$aRomano,$bRuggiero$f<1923-2002>$03269 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003695000403321 959 $aDECSE 996 $aLinee di sintesi$9499780 997 $aUNINA LEADER 01427oam 2200457zu 450 001 9910139410303321 005 20210807003955.0 010 $a3-527-62886-X 035 $a(CKB)2500000000001727 035 $a(SSID)ssj0000506367 035 $a(PQKBManifestationID)11300177 035 $a(PQKBTitleCode)TC0000506367 035 $a(PQKBWorkID)10514708 035 $a(PQKB)10311016 035 $a(PPN)250838567 035 $a(EXLCZ)992500000000001727 100 $a20160829d2009 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aHandbook of spallation research : theory, experiments and applications 210 31$a[Place of publication not identified]$cWiley VCH$d2009 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-527-40714-6 606 $aSpallation (Nuclear physics)$vLaboratory manuals 606 $aPhysics$2HILCC 606 $aPhysical Sciences & Mathematics$2HILCC 606 $aNuclear Physics$2HILCC 615 0$aSpallation (Nuclear physics) 615 7$aPhysics 615 7$aPhysical Sciences & Mathematics 615 7$aNuclear Physics 676 $a539.758 700 $aFilges$b D$0918034 702 $aGoldenbaum$b Frank 801 0$bPQKB 906 $aBOOK 912 $a9910139410303321 996 $aHandbook of spallation research : theory, experiments and applications$92058421 997 $aUNINA LEADER 06087nam 22007095 450 001 996466261603316 005 20230927174125.0 010 $a3-540-45195-1 024 7 $a10.1007/11870814 035 $a(CKB)1000000000283775 035 $a(SSID)ssj0000316856 035 $a(PQKBManifestationID)11222003 035 $a(PQKBTitleCode)TC0000316856 035 $a(PQKBWorkID)10275282 035 $a(PQKB)10041257 035 $a(DE-He213)978-3-540-45195-2 035 $a(MiAaPQ)EBC3068196 035 $a(PPN)123138523 035 $a(EXLCZ)991000000000283775 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Algebra in Scientific Computing$b[electronic resource] $e9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /$fedited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 314 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4194 300 $aInternational conference proceedings. 311 $a3-540-45182-X 320 $aIncludes bibliographical references and index. 327 $aComparison 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4194 606 $aComputer science?Mathematics 606 $aComputer programming 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aSymbolic and Algebraic Manipulation 606 $aProgramming Techniques 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 606 $aMathematical Applications in Computer Science 615 0$aComputer science?Mathematics. 615 0$aComputer programming. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 14$aSymbolic and Algebraic Manipulation. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 615 24$aMathematical Applications in Computer Science. 676 $a512.00285 702 $aGanzha$b V.G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMayr$b E.W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVorozhtsov$b E.V$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466261603316 996 $aComputer Algebra in Scientific Computing$9772100 997 $aUNISA