|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
on1204142067 |
003 |
OCoLC |
005 |
20240808213014.0 |
006 |
m o d |
007 |
cr un|---aucuu |
008 |
201107s2020 sz o 101 0 eng d |
040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d YDX
|d GW5XE
|d OCLCO
|d EBLCP
|d DCT
|d SNU
|d UKBTH
|d UPM
|d OCLCF
|d OCLCQ
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|d OCLCA
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 1201225849
|a 1225893910
|a 1225933294
|a 1264737943
|
020 |
|
|
|a 9783030600266
|q (electronic bk.)
|
020 |
|
|
|a 3030600262
|q (electronic bk.)
|
020 |
|
|
|z 3030600254
|
020 |
|
|
|z 9783030600259
|
024 |
7 |
|
|a 10.1007/978-3-030-60026-6
|2 doi
|
035 |
|
|
|a (OCoLC)1204142067
|z (OCoLC)1201225849
|z (OCoLC)1225893910
|z (OCoLC)1225933294
|z (OCoLC)1264737943
|
037 |
|
|
|b Springer
|
050 |
|
4 |
|a QA76.9.A43
|
072 |
|
7 |
|a UMB
|2 bicssc
|
072 |
|
7 |
|a COM051300
|2 bisacsh
|
072 |
|
7 |
|a UMB
|2 thema
|
049 |
|
|
|a HCDD
|
111 |
2 |
|
|a International Workshop on Computer Algebra in Scientific Computing
|n (22nd :
|d 2020 :
|c Online)
|
245 |
1 |
0 |
|a Computer Algebra in Scientific Computing :
|b 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings /
|c edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
|
246 |
3 |
|
|a CASC 2020
|
260 |
|
|
|a Cham :
|b Springer,
|c 2020.
|
300 |
|
|
|a 1 online resource (659 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|2 rdaft
|0 http://rdaregistry.info/termList/fileType/1002
|
347 |
|
|
|b PDF
|
490 |
1 |
|
|a Lecture Notes in Computer Science ;
|v 12291
|
490 |
1 |
|
|a LNCS sublibrary, SL 1, Theoretical computer science and general issues
|
500 |
|
|
|a International conference proceedings.
|
500 |
|
|
|a "After studying and evaluating the announcements, guidance, and news released by relevant national departments, the decision was made to host CASC 2020 as an online event."
|
500 |
|
|
|a Includes author index.
|
588 |
0 |
|
|a Print version record.
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
|
505 |
0 |
|
|a Intro -- Preface -- CASC 2020 Venue -- Overview of the Volume -- Acknowledgments -- Organization -- Contents -- Tropical Geometry of Biological Systems (Invited Talk) -- 1 Introduction -- 2 Models of Biological Systems and Their Reductions -- 3 Tropical Geometry Approaches -- 4 Scaling and Singular Perturbation Schemes -- 5 Approximate Conservation Laws -- 6 Metastability -- 7 Conclusion -- References -- Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) -- 1 Introduction -- 2 Differential Systems and Algebraic Differential Equations
|
505 |
8 |
|
|a 3 Singularities of Algebraic Differential Equations -- 4 Regularity Decompositions -- 5 Semialgebraic Differential Equations -- 6 Analysis of Geometric Singularities -- 7 Quasilinear Equations -- 8 Analysis of Algebraic Singularities -- 9 Conclusions -- References -- On the Complexity of Computing Integral Bases of Function Fields -- 1 Introduction -- 2 Van Hoeij's Algorithm -- 2.1 Puiseux Series -- 2.2 Description of van Hoeij's Algorithm -- 2.3 Complexity Analysis -- 2.4 An Improvement in the Case of Low-Degree Singularities -- 3 Trager's Algorithm -- 3.1 A Description of Trager's Algorithm
|
505 |
8 |
|
|a 3.2 Complexity Analysis -- 4 Integral Bases Through Weierstrass Factorization and Truncations of Puiseux Series -- 4.1 Computing Normalization at One Branch -- 4.2 Branch-Wise Splitting for Integral Bases -- 4.3 Contribution of the Invertible Factor f0 -- 4.4 Proof of Theorem 3 -- 5 Conclusion -- References -- Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations -- 1 Introduction -- 2 The Equation Threshold -- 3 Induced Recurrence Equations -- 4 Computing Coefficients of Truncated Laurent Solutions -- 5 Algorithm -- 6 Implementation
|
505 |
8 |
|
|a Examples of Use -- 7 Concluding Remarks -- References -- On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes -- 1 Basic Definitions -- 2 Inheritance of the Exact Solution Properties -- 3 Conservative Schemes for the Problem of Many Bodies -- 4 Lagrange Problem -- 5 Triangular Solution -- References -- Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach -- 1 Introduction -- 2 Multiplication of Polynomials with Unbalanced Long Coefficients -- 2.1 A Note About the Kronecker Trick
|
505 |
8 |
|
|a 3 Sparse Univariate Toom-Cook -- 4 Using Toom-Cook Bivariate Multiplication -- 4.1 Evaluation Phase -- 4.2 Interpolation Phase -- 5 Experimental Results -- 6 Conclusions -- References -- Power Series Arithmetic with the BPAS Library -- 1 Introduction -- 2 Background -- 3 The Design and Implementation of Lazy Power Series -- 3.1 The Power Series Data Structure, Generators, and Ancestors -- 3.2 Implementing Power Series Arithmetic -- 4 Univariate Polynomials over Lazy Power Series -- 5 Lazy Weierstrass Preparation -- 6 Lazy Factorization via Hensel's Lemma -- 7 Conclusions and Future Work
|
650 |
|
0 |
|a Computer science
|v Congresses.
|
650 |
|
0 |
|a Computers, Special purpose
|v Congresses.
|
650 |
|
0 |
|a Software engineering
|v Congresses.
|
650 |
|
0 |
|a Algorithms
|v Congresses.
|
650 |
|
0 |
|a Computer logic
|v Congresses.
|
650 |
|
0 |
|a Computer science
|x Mathematics
|v Congresses.
|
650 |
|
0 |
|a Management information systems
|v Congresses.
|
650 |
|
7 |
|a Algorithms
|2 fast
|
650 |
|
7 |
|a Computer logic
|2 fast
|
650 |
|
7 |
|a Computer science
|2 fast
|
650 |
|
7 |
|a Computer science
|x Mathematics
|2 fast
|
650 |
|
7 |
|a Computers, Special purpose
|2 fast
|
650 |
|
7 |
|a Management information systems
|2 fast
|
650 |
|
7 |
|a Software engineering
|2 fast
|
655 |
|
7 |
|a proceedings (reports)
|2 aat
|
655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
700 |
1 |
|
|a Boulier, François.
|
700 |
1 |
|
|a England, Matthew.
|
700 |
1 |
|
|a Sadykov, Timur M.
|
700 |
1 |
|
|a Vorozhtsov, E. V.
|q (Evgenii Vasilʹevich),
|d 1946-
|1 https://id.oclc.org/worldcat/entity/E39PCjFDFQHvGQdMTmy6x9Jcvb
|
758 |
|
|
|i has work:
|a Computer Algebra in Scientific Computing (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGycmY6hRJYMFB6X3mQPBd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Boulier, François
|t Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
|d Cham : Springer International Publishing AG,c2020
|z 9783030600259
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 12291.
|
830 |
|
0 |
|a LNCS sublibrary.
|n SL 1,
|p Theoretical computer science and general issues.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-60026-6
|y Click for online access
|
903 |
|
|
|a SPRING-COMP2020
|
994 |
|
|
|a 92
|b HCD
|