Skip to main content
  • Conference proceedings
  • © 2016

Computer Algebra in Scientific Computing

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CASC: International Workshop on Computer Algebra in Scientific Computing

Conference proceedings info: CASC 2016.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

Other Volumes

  1. Computer Algebra in Scientific Computing

About this book

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.

Editors and Affiliations

  • Laboratory of Information Technologies, Joint Institute of Nuclear Research, Dubna, Russia

    Vladimir P. Gerdt

  • Institut für Mathematik, Universität Kassel, Kassel, Germany

    Wolfram Koepf, Werner M. Seiler

  • Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access