English
Related papers

Related papers: Symbolic Computation with Symmetric Polynomials in…

200 papers

We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…

Algebraic Geometry · Mathematics 2020-02-12 Justin Chen , Papri Dey

Student appreciation of a function is enhanced by understanding the graphical representation of that function. From the real graph of a polynomial, students can identify real-valued solutions to polynomial equations that correspond to the…

History and Overview · Mathematics 2018-05-16 Michael Warren , John Gresham , Bryant Wyatt

Geometric numerical integration has recently been exploited to design symplectic accelerated optimization algorithms by simulating the Lagrangian and Hamiltonian systems from the variational framework introduced in Wibisono et al. In this…

Optimization and Control · Mathematics 2023-05-19 Valentin Duruisseaux , Melvin Leok

We introduce symmetric arithmetic circuits, i.e. arithmetic circuits with a natural symmetry restriction. In the context of circuits computing polynomials defined on a matrix of variables, such as the determinant or the permanent, the…

Computational Complexity · Computer Science 2024-01-22 Anuj Dawar , Gregory Wilsenach

In the last decade major steps towards an algorithmic treatment of orthogonal polynomials and special functions (OP & SF) have been made, notably Zeilberger's brilliant extension of Gosper's algorithm on algorithmic definite hypergeometric…

Classical Analysis and ODEs · Mathematics 2007-05-23 Wolfram Koepf

The computation of determinants or their signs is the core procedure in many important geometric algorithms, such as convex hull, volume and point location. As the dimension of the computation space grows, a higher percentage of the total…

Computational Geometry · Computer Science 2016-02-01 Vissarion Fisikopoulos , Luis Peñaranda

Persistence diagrams, combining geometry and topology for an effective shape description used in pattern recognition, have already proven to be an effective tool for shape representation with respect to a certainfiltering function.…

Algebraic Topology · Mathematics 2018-12-26 Alessia Angeli , Massimo Ferri , Ivan Tomba

This paper presents a generalised symbolic algorithm for solving systems of linear algebraic equations with multi-diagonal coefficient matrices. The algorithm is given in a pseudocode. A theorem which gives the condition for correctness of…

Symbolic Computation · Computer Science 2026-05-22 Milena Veneva

In this paper we consider a family of algorithms for approximate implicitization of rational parametric curves and surfaces. The main approximation tool in all of the approaches is the singular value decomposition, and they are therefore…

Numerical Analysis · Mathematics 2016-05-30 Oliver J. D. Barrowclough , Tor Dokken

Symmetric functions provide one of the most efficient tools for combinatorial enumeration, in the context of objects that may be acted upon by permutations. Only assuming a basic knowledge of linear algebra, we introduce and describe the…

Combinatorics · Mathematics 2021-12-21 François Bergeron

Harmonic sums and their generalizations are extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory. Of particular interest have been the so-called nested sums,where the harmonic sums and their…

Mathematical Physics · Physics 2009-11-11 S. Moch , P. Uwer

A new method of algebraic nature is proposed for the study of the asymptotic properties of special polynomials. The technique we foresee is based on the use of umbral operators, allowing a unified treatment of a large body of polynomial…

Classical Analysis and ODEs · Mathematics 2020-02-18 G. Dattoli , S. Licciardi , R. M. Pidatella , E. Sabia

We present different methods for symbolic computer algebra computations in higher dimensional (\ge9) Clifford algebras using the \Clifford\ and \Bigebra\ packages for \Maple(R). This is achieved using graded tensor decompositions,…

Mathematical Physics · Physics 2012-06-19 Rafal Ablamowicz , Bertfried Fauser

We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a…

Algebraic Geometry · Mathematics 2018-01-31 Juan Gerardo Alcázar , Miroslav Lávička , Jan Vršek

We introduce the notion of a robust parameterized arithmetic circuit for the evaluation of algebraic families of multivariate polynomials. Based on this notion, we present a computation model, adapted to Scientific Computing, which captures…

Computational Complexity · Computer Science 2012-04-26 Joos Heintz , Bart Kuijpers , Andres Rojas Paredes

We apply a symbolic approach of the general quadratic decomposition of polynomial sequences - presented in a previous article referenced herein - to polynomial sequences fulfilling specific orthogonal conditions towards two given…

Classical Analysis and ODEs · Mathematics 2020-01-07 Teresa Augusta Mesquita

Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…

Algebraic Geometry · Mathematics 2016-06-13 Frank Sottile

We deliver a call to arms for probabilistic numerical methods: algorithms for numerical tasks, including linear algebra, integration, optimization and solving differential equations, that return uncertainties in their calculations. Such…

Numerical Analysis · Mathematics 2016-02-17 Philipp Hennig , Michael A Osborne , Mark Girolami

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

Any representation of data involves arbitrary investigator choices. Because those choices are external to the data-generating process, each choice leads to an exact symmetry, corresponding to the group of transformations that takes one…

Machine Learning · Statistics 2023-06-29 Soledad Villar , David W. Hogg , Weichi Yao , George A. Kevrekidis , Bernhard Schölkopf