Advertisement

Computer Algebra in Scientific Computing

20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

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

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11077)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. S. A. Abramov, D. E. Khmelnov
    Pages 18-31
  3. Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
    Pages 32-50
  4. Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
    Pages 51-66
  5. Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels
    Pages 67-81
  6. François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux et al.
    Pages 82-98
  7. A. Deveikis, A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, A. Góźdź, A. Pȩdrak
    Pages 131-145
  8. G. H. E. Duchamp, V. Hoang Ngoc Minh, K. A. Penson
    Pages 146-163
  9. Dima Grigoriev
    Pages 177-186
  10. Dima Grigoriev, Nicolai Vorobjov
    Pages 187-196
  11. A. A. Gusev, V. P. Gerdt, O. Chuluunbaatar, G. Chuluunbaatar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 197-213
  12. M. I. Hartillo, J. M. Jiménez-Cobano, J. M. Ucha
    Pages 230-237
  13. Hoon Hong, Thomas Sturm
    Pages 238-253 Open Access
  14. Valentin Irtegov, Tatiana Titorenko
    Pages 254-271
  15. Yuki Ishihara, Kazuhiro Yokoyama
    Pages 272-287
  16. T. M. Sadykov
    Pages 335-344
  17. Back Matter
    Pages 377-379

About these proceedings

Introduction

Chapter “Positive Solutions of Systems of Signed Parametric Polynomial Inequalities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Keywords

computability and decidability computer systems, digital differential equations decision procedure finite element method formal logic formal methods image processing linear matrix inequalities matrix algebra numerical integrations numerical methods parallel processing systems software engineering

Editors and affiliations

  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

  • DOI https://doi.org/10.1007/978-3-319-99639-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99638-7
  • Online ISBN 978-3-319-99639-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site