Computer Algebra in Scientific Computing

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

  • Gerdt Vladimir P. 
  • Koepf Wolfram 
  • Seiler Werner M. 
  • Vorozhtsov Evgenii V. 
Conference proceedings CASC 2016

DOI: 10.1007/978-3-319-45641-6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9890)

Table of contents (32 papers)

  1. Front Matter
    Pages I-XIII
  2. Resolving Decompositions for Polynomial Modules
    Mario Albert, Werner M. Seiler
    Pages 15-29
  3. Setup of Order Conditions for Splitting Methods
    Winfried Auzinger, Wolfgang Herfort, Harald Hofstätter, Othmar Koch
    Pages 30-42
  4. Improved Computation of Involutive Bases
    Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
    Pages 58-72
  5. Algorithmic Computation of Polynomial Amoebas
    D. V. Bogdanov, A. A. Kytmanov, T. M. Sadykov
    Pages 87-100
  6. Sparse Gaussian Elimination Modulo p: An Update
    Charles Bouillaguet, Claire Delaplace
    Pages 101-116
  7. MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
    Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati, Krzysztof Czarnecki
    Pages 117-133
  8. Incompleteness, Undecidability and Automated Proofs
    Cristian S. Calude, Declan Thompson
    Pages 134-155
  9. Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems
    A. A. Gusev, V. P. Gerdt, L. L. Hai, V. L. Derbov, S. I. Vinitsky, O. Chuluunbaatar
    Pages 212-227
  10. Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups
    A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, V. L. Derbov, A. Góźdź, A. Pȩdrak et al.
    Pages 228-242
  11. A Note on Dynamic Gröbner Bases Computation
    Amir Hashemi, Delaram Talaashrafi
    Pages 276-288

About these proceedings


This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.
The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra. 


algorithms design finite element method parallel processing quantum computation theory symbolic algorithms algebraic algorithms analysis of algorithms applications to natural sciences and engineering automated reasoning complexity computability computer algebra systems differential equations engineering Gröbner bases logic mathematical software natural sciences numerical analysis simulation and modeling

Editors and affiliations

  • Gerdt Vladimir P. 
    • 1
  • Koepf Wolfram 
    • 2
  • Seiler Werner M. 
    • 3
  • Vorozhtsov Evgenii V. 
    • 4
  1. 1.Laboratory of Information TechnologiesJoint Institute of Nuclear ResearchDubnaRussia
  2. 2.Institut für MathematikUniversität KasselKasselGermany
  3. 3.Institut für MathematikUniversität KasselKasselGermany
  4. 4.Institute of Theoretical and Applied MechanicsRussian Academy of SciencesNovosibirskRussia

Bibliographic information

  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45640-9
  • Online ISBN 978-3-319-45641-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349