Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.
The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering.
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.

Riassunto

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.
The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering.
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.

Dettagli sul prodotto

• Con la collaborazione di: Wolfram Koepf (Editore), Evgenii V. Vorozhtsov (Editore), Vladimir P. Gerdt (Editore), Werner M. Seiler (Editore)
• Editore: Springer, Berlin
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 24.08.2018
• Categoria: Scienze naturali, medicina, informatica, tecnica > Matematica > Teoria delle probabilità, stocastica, statistica m
• EAN: 9783319996387
• ISBN: 978-3-31-999638-7
• Numero di pagine: 379
• Illustrazioni: XIII, 379 p. 54 illus.
• Dimensioni (della confezione): 15.5 x 2.2 x 23.6 cm
• Peso (della confezione): 599 g
• Serie: Lecture Notes in Computer Science > 11077; Theoretical Computer Science and General Issues > 11077
• Categorie: Informatik, Expertensystem, C, Algorithmen und Datenstrukturen, Algorithms, Algorithmus, Rechnerarchitektur und Logik-Entwurf, Theoretische Informatik, Mathematik / Informatik, Computer, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, Wissensbasiertes System, Mathematik für Informatiker, computer science, Softwareengineering, Logics and Meanings of Programs, Mathematics of Computing, Architecture, Computer, Computer System Implementation, Systems analysis & design, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Expert systems / knowledge-based systems, Computer architecture & logic design, Special purpose computers, Special Purpose and Application-Based Systems, Logic Design, Computer logic, Computer Science Logic and Foundations of Programming, Matrixalgebra, imageprocessing, differentialequations, finiteelementmethod, numericalmethods, algorithmanalysisandproblemcomplexity, formalmethods, formallogic, parallelprocessingsystems, LinearMatrixInequalities, computabilityanddecidability, numericalintegrations, decisionprocedure, computersystems,digital