Mathematical software -- ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings /: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. (2020)

• Record Type: Book
• Other Titles: ICMS 2020
• Further Information: Note: Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff (eds.).
• Other Names: Bigatti, Anna M (Anna Maria), 1965-; (Computer scientist), Carette, Jacques; Davenport, James H; Joswig, Michael, 1965-; Wolff, Timo de; International Congress of Mathematical Software, 7th
• Contents: Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Solving Real-Algebraic Formulas with SMT-RAT -- Julia-The Power of Language -- NTL: A Library for Doing Number Theory -- Topical Sessions -- Software Demonstrations -- Contents -- Gröbner Bases in Theory and Practice -- A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases -- 1 Introduction -- 2 Inverse Kinematics of a 3 Degree-of-Freedom (DOF) Robot Manipulator -- 3 Implementation -- 4 Experiments -- 4.1 The Result with an Exact Solver (solve) 4.2 The Result with the Multivariate Numerical Solver (nsolve) -- 4.3 The Result with the Univariate Numerical Solver (roots) with successive substitutions -- 5 Concluding Remarks -- References -- Real Algebraic Geometry -- Curtains in CAD: Why Are They a Problem and How Do We Fix Them? -- 1 Introduction -- 2 Lex-Least Valuation and Its Applications in CAD -- 3 Implications of Curtains on CAD -- 4 Complexity Analysis of Curtain Solving Method -- 5 Conclusion and Further Research -- References -- Chordality Preserving Incremental Triangular Decomposition and Its Implementation -- 1 Introduction 2 Basic Lemmas -- 3 The Incremental Algorithm Preserves Chordality -- 4 Modifying the Implementation of Triangularize -- 5 Experiments -- 6 Conclusion -- References -- Algebraic Geometry via Numerical Computation -- 0=Q0.150to0ptheight0.800 0=Q0.150to0ptheight0.800 0=Q0.150to0ptheight0.700 0=Q0.150to0ptheight0.700(-3)-Integral Points on a Mordell Curve -- 1 Introduction -- 2 Quadratic Chabauty for E/0=Q0.150to0ptheight0.800 0=Q0.150to0ptheight0.800 0=Q0.150to0ptheight0.700 0=Q0.150to0ptheight0.700(-3) -- 3 A More General Approach -- References A Numerical Approach for Computing Euler Characteristics of Affine Varieties -- 1 Introduction -- 2 Euler Characteristics and Critical Points -- 3 Numerical Algebraic Geometry Basics -- 3.1 Witness Sets and Numerical Irreducible Decomposition -- 3.2 Witness Collections of Subvarieties in CnCn -- 3.3 Regeneration and Removing a Hypersurface -- 4 Euler Characteristics of Smooth Varieties -- 5 Euler Characteristics of Singular Varieties -- References -- Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set -- 1 Introduction -- 2 Implicit Representation of a Polynomial -- 3 Algorithm 4 Computing Critical Points -- 4.1 Lemniscate -- 4.2 Kuramoto Model -- References -- Computational Algebraic Analysis -- Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals -- 1 Introduction -- 2 General Results -- 2.1 The Cohomology Intersection Form -- 2.2 The Secondary Equation -- 2.3 GKZ System Behind -- 3 An Algorithm of Finding the Pfaffian System for a Given Basis -- 4 Implementation and Examples -- 5 An Algorithm of Finding the Cohomology Intersection Matrix -- References -- Software for Number Theory and Arithmetic Geometry
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource (491 p.)
• Subjects: 510.285536; Mathematics -- Computer programs -- Congresses; Mathematics -- Data processing -- Congresses; Computer software -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030522001; 3030522008
• Related ISBNs: 9783030521998
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.