Applications of Computer Algebra : Kalamata, Greece, July 20-23 2015

Description

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development. Front Matter ....Pages i-xiv An Algebraic Method to Compute the Mobility of Closed-Loop Overconstrained Mechanisms (Anissa Ali, Mireille Moinet, Philippe Serre)....Pages 1-9 Simplicial Topological Coding and Homology of Spin Networks (Vesna Berec)....Pages 11-20 Trial Set and Gröbner Bases for Binary Codes (Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro)....Pages 21-27 Automated Study of Envelopes of One-Parameter Families of Surfaces (Thierry Dana-Picard, Nurit Zehavi)....Pages 29-44 Complex Roots of Quaternion Polynomials (Petroula Dospra, Dimitrios Poulakis)....Pages 45-58 Mathematical Renormalization in Quantum Electrodynamics via Noncommutative Generating Series (G. H. E. Duchamp, V. Hoang Ngoc Minh, Ngo Quoc Hoan, K. Penson, P. Simonnet)....Pages 59-100 The Root Lattice \(A_{2}\) in the Construction of Substitution Tilings and Singular Hypersurfaces (Juan García Escudero)....Pages 101-117 Finding Eigenvalues of Self-maps with the Kronecker Canonical Form (Marc Ethier, Grzegorz Jabłoński, Marian Mrozek)....Pages 119-136 Algorithm for Predicting Mathematical Formulae from Linear Strings for Mathematical Inputs (Tetsuo Fukui)....Pages 137-148 Algebraic Modelling of Covering Arrays (Bernhard Garn, Dimitris E. Simos)....Pages 149-170 Applications of Signatures Curves to Characterize Melanomas and Moles (Anna Grim, Chehrzad Shakiban)....Pages 171-189 Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra (Roman Hašek, Zoltán Kovács, Jan Zahradník)....Pages 191-205 Computing the Chern–Schwartz–MacPherson Class of Complete Simplical Toric Varieties (Martin Helmer)....Pages 207-217 The Generalized Rabinowitsch Trick (Deepak Kapur, Yao Sun, Dingkang Wang, Jie Zhou)....Pages 219-229 A Web-Based Quantum Computer Simulator with Symbolic Extensions (O. G. Karamitrou, C. Tsimpouris, P. Mavridi, K. N. Sgarbas)....Pages 231-235 Dixon-EDF: The Premier Method for Solution of Parametric Polynomial Systems (Robert H. Lewis)....Pages 237-256 Visualization of Orthonormal Triads in Cylindrical and Spherical Coordinates (J. López-García, J. J. Jiménez Zamudio, M. E. Canut Díaz Velarde)....Pages 257-266 Geometric and Computational Approach to Classical and Quantum Secret Sharing (Ryutaroh Matsumoto, Diego Ruano)....Pages 267-272 Computing the Dixon Resultant with the Maple Package DR (Manfred Minimair)....Pages 273-287 Collaborative Computer Algebra (Manfred Minimair)....Pages 289-303 States and Channels in Quantum Mechanics Without Complex Numbers (J. A. Miszczak)....Pages 305-316 Double Hough Transform for Estimating the Position of the Mandibular Canal in Dental Radiographs (Darian Onchis-Moaca, Simone Zappalá , Smaranda Laura Goţia, Pedro Real)....Pages 317-327 Simple and Nearly Optimal Polynomial Root-Finding by Means of Root Radii Approximation (Victor Y. Pan)....Pages 329-340 A Fast Schur–Euclid-Type Algorithm for Quasiseparable Polynomials (Sirani M. Perera, Vadim Olshevsky)....Pages 341-383 The Use of CAS Piranha for the Construction of Motion Equations of the Planetary System Problem (A. S. Perminov, E. D. Kuznetsov)....Pages 385-396 Code-Based Cryptosystems Using Generalized Concatenated Codes (Sven Puchinger, Sven Müelich, Karim Ishak, Martin Bossert)....Pages 397-423 Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers (Adam Strzeboński, Elias P. Tsigaridas)....Pages 425-445 On the Complexity of Multivariate Polynomial Division (Joris van der Hoeven)....Pages 447-458 Preserving Syntactic Correctness While Editing Mathematical Formulas (Joris van der Hoeven, Grégoire Lecerf, Denis Raux)....Pages 459-471 About Balanced Application of CAS in Undergraduate Mathematics (Elena Varbanova)....Pages 473-485 Some Remarks on Taylor’s Polynomials Visualization Using Mathematica in Context of Function Approximation (Włodzimierz Wojas, Jan Krupa)....Pages 487-498 Zooming Algorithms for Accurate Plotting of Functions of Two Real Variables (David G. Zeitoun, Thierry Dana-Picard)....Pages 499-515