Return to home page
Searching: Muskingum library catalog

LEADER 00000cam  2200637Ki 4500 
001    809252908 
003    OCoLC 
005    20181101051025.7 
006    m     o  d         
007    cr cnu---unuuu 
008    120906s2012    gw      ob    101 0 eng d 
019    847506581|a903161675 
020    9783642329739|q(electronic bk.) 
020    364232973X|q(electronic bk.) 
020    |z9783642329722 
020    |z3642329721 
035    (OCoLC)809252908|z(OCoLC)847506581|z(OCoLC)903161675 
040    GW5XE|beng|epn|erda|cGW5XE|dZMC|dCOO|dOCLCQ|dE7B|dOCLCA
       |dOCLCF|dBEDGE|dOCLCO|dYDXCP|dAU@|dNUI|dOCL|dOCLCO|dOCLCQ
       |dEBLCP|dESU|dOCLCQ|dIOG|dNJR|dOCLCA|dCEF|dOCLCQ|dU3W 
049    MAIN 
050  4 QA76.9.M35|bI58 2012 
072  7 QA|2lcco 
082 04 004.01/51|223 
111 2  CASC (Workshop : 2001- )|n(14th :|d2012 :|cMaribor, 
       Slovenia)|0http://id.loc.gov/authorities/names/
       nb2012024405 
245 10 Computer algebra in scientific computing :|b14th 
       International Workshop, CASC 2012, Maribor, Slovenia, 
       September 3-6, 2012, Proceedings /|cVladimir P. Gerdt [and
       others] (eds.). 
246 3  CASC 2012 
264  1 Berlin ;|aNew York :|bSpringer,|c2012. 
300    1 online resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc|0http://rdaregistry.info/termList/
       RDAColourContent/1003 
347    text file|2rdaft|0http://rdaregistry.info/termList/
       fileType/1002 
490 1  Lecture notes in computer science ;|v7442 
490 1  LNCS sublibrary. SL 1, Theoretical computer science and 
       general issues 
500    International conference proceedings. 
504    Includes bibliographical references and author index. 
505 00 |tOn Polynomial Solutions of Linear Partial Differential 
       and (q- )Difference Equations /|rS.A. Abramov and M. 
       Petkovsek --|tAn Algebraic Characterization of Rainbow 
       Connectivity /|rPrabhanjan Ananth and Ambedkar Dukkipati -
       -|tApplication of the Method of Asymptotic Solution to One
       Multi-Parameter Problem /|rAlexander Batkhin --|tA New 
       Algorithm for Long Integer Cube Computation with Some 
       Insight into Higher Powers /|rMarco Bodrato and Alberto 
       Zanoni --|tLightweight Abstraction for Mathematical 
       Computation in Java /|rPavel Bourdykine and Stephen M. 
       Watt --|tCalculation of Normal Forms of the Euler-Poisson 
       Equations /|rAlexander D. Bruno and Victor F. Edneral --
       |tStability of Equilibrium Positions in the Spatial 
       Circular Restricted Four-Body Problem /|rDzmitry A. Budzko
       and Alexander N. Prokopenya --|tComputing Hopf 
       Bifurcations in Chemical Reaction Networks Using Reaction 
       Coordinates /|rHassan Errami, Werner M. Seiler, Markus 
       Eiswirth and Andreas Weber --|tComprehensive Involutive 
       Systems /|rVladimir Gerdt and Amir Hashemi --|tA 
       Polynomial-Time Algorithm for the Jacobson Form of a 
       Matrix of Ore Polynomials /|rMark Giesbrecht and Albert 
       Heinle. 
505 00 |tThe Resonant Center Problem for a 2:-3 Resonant Cubic 
       Lotka-Volterra System /|rJaume Gine, Colin Christopher, 
       Mateja Presern, Valery G. Romanovski and Natalie L. 
       Shcheglova --|tComplexity of Solving Systems with Few 
       Independent Monomials and Applications to Mass-Action 
       Kinetics /|rDima Grigoriev and Andreas Weber --|tSymbolic-
       Numerical Calculations of High-(absolute value) m Rydberg 
       States and Decay Rates in Strong Magnetic Fields /
       |rAlexander Gusev, Sergue Vinitsky, Ochbadrakh 
       Chuluunbaatar, Vladimir Gerdt and Luong Le Hai, et al. --
       |tQuasi-stability versus Genericity /|rAmir Hashemi, 
       Michael Schweinfurter and Werner M. Seiler --|tInvariant 
       Theory: Applications and Computations:|g(Invited Talk) /
       |rGregor Kemper --|tLocal Generic Position for Root 
       Isolation of Zero-Dimensional Triangular Polynomial 
       Systems /|rJia Li, Jin-San Cheng and Elias P. Tsigaridas -
       -|tOn Fulton's Algorithm for Computing Intersection 
       Multiplicities /|rSteffen Marcus, Marc Moreno Maza and 
       Paul Vrbik --|tA Note on the Space Complexity of Fast D-
       Finite Function Evaluation /|rMarc Mezzarobba --
       |tInversion Modulo Zero-Dimensional Regular Chains /|rMarc
       Moreno Maza, Eric Schost and Paul Vrbik. 
505 00 |tSparse Polynomial Powering Using Heaps /|rMichael 
       Monagan and Roman Pearce --|tStability Conditions of 
       Monomial Bases and Comprehensive Grobner Systems /
       |rKatsusuke Nabeshima --|tParallel Reduction of Matrices 
       in Grobner Bases Computations /|rSeverin Neumann --|tReal 
       and Complex Polynomial Root-Finding by Means of Eigen-
       Solving /|rVictor Y. Pan, Guoliang Qian and Ai-Long Zheng 
       --|tRoot-Refining for a Polynomial Equation /|rVictor Y. 
       Pan --|tPoCaB: A Software Infrastructure to Explore 
       Algebraic Methods for Bio-chemical Reaction Networks /
       |rSatya Swarup Samal, Hassan Errami and Andreas Weber --
       |tApproximately Singular Systems and Ill-Conditioned 
       Polynomial Systems /|rTateaki Sasaki and Daiju Inaba --
       |tSymbolic-Numeric Implementation of the Method of 
       Collocations and Least Squares for 3D Navier-Stokes 
       Equations /|rVasily P. Shapeev and Evgenii V. Vorozhtsov -
       -|tVerifiable Conditions on Asymptotic Stabilisability for
       a Class of Planar Switched Linear Systems /|rZhikun She 
       and Haoyang Li --|tImproving Angular Speed Uniformity by 
       Optimal C0 Piecewise Reparameterization /|rJing Yang, 
       Dongming Wang and Hoon Hong --|tUsage of Modular 
       Techniques for Efficient Computation of Ideal Operations
       |g(Invited Talk) /|rKazuhiro Yokoyama. 
520    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 
       Grobner and involutive systems, parallelization of the 
       Grobner 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. 
588 0  Print version record. 
650  0 Computer science|xMathematics|vCongresses.|0http://
       id.loc.gov/authorities/subjects/sh2008101221 
650  0 Science|xData processing|vCongresses.|0http://id.loc.gov/
       authorities/subjects/sh2008111302 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast|0http://
       id.worldcat.org/fast/1423772 
655  7 Computer software.|2lcgft 
655  7 Conference papers and proceedings.|2lcgft|0http://
       id.loc.gov/authorities/genreForms/gf2014026068 
700 1  Gerdt, V. P.|0http://id.loc.gov/authorities/names/
       nr92030410 
776 08 |iPrint version:|tComputer algebra in scientific 
       computing.|d[S.l.] : Springer, 2012|z3642329721
       |w(OCoLC)804049338 
830  0 Lecture notes in computer science ;|0http://id.loc.gov/
       authorities/names/n42015162|v7442. 
830  0 LNCS sublibrary.|nSL 1,|pTheoretical computer science and 
       general issues.|0http://id.loc.gov/authorities/names/
       no2007042902 
990    SpringerLink|bSpringer English/International eBooks 2012 -
       Full Set|c2018-10-31|yNew collection 
       springerlink.ebooks2012|5OH1 
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online