# Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / Vladimir P. Gerdt [and others] (eds.).

Material type: TextSeries: Serienbezeichnung | Lecture notes in computer science ; 7442. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2012. Description: 1 online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642329739; 364232973XOther title: CASC 2012Subject(s): Computer science -- Mathematics -- Congresses | Science -- Data processing -- Congresses | Informatique | Computer science -- Mathematics | Science -- Data processingGenre/Form: Electronic books. | Conference papers and proceedings. | Computer software. Additional physical formats: Print version:: Computer algebra in scientific computing.DDC classification: 004.01/51 LOC classification: QA76.9.M35 | I58 2012Online resources: Click here to access onlineItem type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|

eBook |
e-Library
Electronic Book@IST |
EBook | Available |

On Polynomial Solutions of Linear Partial Differential and (q- )Difference Equations / S.A. Abramov and M. Petkovšek -- An Algebraic Characterization of Rainbow Connectivity / Prabhanjan Ananth and Ambedkar Dukkipati -- Application of the Method of Asymptotic Solution to One Multi-Parameter Problem / Alexander Batkhin -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers / Marco Bodrato and Alberto Zanoni -- Lightweight Abstraction for Mathematical Computation in Java / Pavel Bourdykine and Stephen M. Watt -- Calculation of Normal Forms of the Euler-Poisson Equations / Alexander D. Bruno and Victor F. Edneral -- Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem / Dzmitry A. Budzko and Alexander N. Prokopenya -- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates / Hassan Errami, Werner M. Seiler, Markus Eiswirth and Andreas Weber -- Comprehensive Involutive Systems / Vladimir Gerdt and Amir Hashemi -- A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials / Mark Giesbrecht and Albert Heinle.

The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka-Volterra System / Jaume Giné, Colin Christopher, Mateja Prešern, Valery G. Romanovski and Natalie L. Shcheglova -- Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics / Dima Grigoriev and Andreas Weber -- Symbolic-Numerical Calculations of High-(absolute value) m Rydberg States and Decay Rates in Strong Magnetic Fields / Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir Gerdt and Luong Le Hai, et al. -- Quasi-stability versus Genericity / Amir Hashemi, Michael Schweinfurter and Werner M. Seiler -- Invariant Theory: Applications and Computations: (Invited Talk) / Gregor Kemper -- Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems / Jia Li, Jin-San Cheng and Elias P. Tsigaridas -- On Fulton's Algorithm for Computing Intersection Multiplicities / Steffen Marcus, Marc Moreno Maza and Paul Vrbik -- A Note on the Space Complexity of Fast D-Finite Function Evaluation / Marc Mezzarobba -- Inversion Modulo Zero-Dimensional Regular Chains / Marc Moreno Maza, Éric Schost and Paul Vrbik.

Sparse Polynomial Powering Using Heaps / Michael Monagan and Roman Pearce -- Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems / Katsusuke Nabeshima -- Parallel Reduction of Matrices in Gröbner Bases Computations / Severin Neumann -- Real and Complex Polynomial Root-Finding by Means of Eigen-Solving / Victor Y. Pan, Guoliang Qian and Ai-Long Zheng -- Root-Refining for a Polynomial Equation / Victor Y. Pan -- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks / Satya Swarup Samal, Hassan Errami and Andreas Weber -- Approximately Singular Systems and Ill-Conditioned Polynomial Systems / Tateaki Sasaki and Daiju Inaba -- Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations / Vasily P. Shapeev and Evgenii V. Vorozhtsov -- Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems / Zhikun She and Haoyang Li -- Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization / Jing Yang, Dongming Wang and Hoon Hong -- Usage of Modular Techniques for Efficient Computation of Ideal Operations (Invited Talk) / Kazuhiro Yokoyama.

International conference proceedings.

Includes bibliographical references and author index.

Print version record.

This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for inclusion in this book. One of the main themes of the CASC workshop series, namely polynomial algebra, is represented by contributions devoted to new algorithms for computing comprehensive Gröbner and involutive systems, parallelization of the Gröbner bases computation, the study of quasi-stable polynomial ideals, new algorithms to compute the Jacobson form of a matrix of Ore polynomials, a recursive Leverrier algorithm for inversion of dense matrices whose entries are monic polynomials, root isolation of zero-dimensional triangular polynomial systems, optimal computation of the third power of a long integer, investigation of the complexity of solving systems with few independent monomials, the study of ill-conditioned polynomial systems, a method for polynomial root-finding via eigen-solving and randomization, an algorithm for fast dense polynomial multiplication with Java using the new opaque typed method, and sparse polynomial powering using heaps.