Search Results - 68W30 Symbolic computation and algebraic computation

Construction of an endgame rulebook for Sylver Coinage using trees of numerical semigroups by Bras-Amorós, Maria, Moskowitz, Gilad, Ponomarenko, Vadim

“…In this paper we show how the algorithms to explore the tree of numerical semigroups can be used to calculate the winningness of positions in the game of…”
Get full text

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD by del Río, Tereso, England, Matthew

“…Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly impact the resources required…”
Get full text

Symbolic computation for the qualitative theory of differential equations by Huang, Bo, Niu, Wei, Wang, Dongming

“…This paper provides a survey on symbolic computational approaches for the analysis of qualitative behaviors of systems of ordinary differential equations, focusing on symbolic and algebraic analysis…”
Get full text

Decision problem for a class of univariate Pfaffian functions by Barbagallo, María Laura, Jeronimo, Gabriela, Sabia, Juan

“… We present a new symbolic procedure solving this problem with a computable complexity based on the computation of suitable Sturm sequences…”
Get full text

A quasi-linear irreducibility test in K[[x]][y] by Poteaux, Adrien, Weimann, Martin

“…We provide an irreducibility test in the ring K [ [ x ] ] [ y ] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input…”
Get full text

Residue integrals and Waring's formulas for algebraic or even transcendental systems by Kytmanov, A. A., Kytmanov, A. M., Myshkina, E. K.

“…The present article is focused on the study of a special class of systems of non-linear transcendental equations for which classical algebraic and symbolic methods are inapplicable…”
Get full text

Schur Polynomials Do Not Have Small Formulas If the Determinant does not by Chaugule, Prasad, Kumar, Mrinal, Limaye, Nutan, Mohapatra, Chandra Kanta, She, Adrian, Srinivasan, Srikanth

“…). In recent years, they have also shown up in various incarnations in Computer Science, e.g, quantum computation Hallgren et al. (2000); O'Donnell & Wright (2015…”
Get full text

Resonances and Formal Stability Investigation in Hamiltonian Systems by Batkhin, Alexander, Khaydarov, Zafar

“… We detail a technique for the symbolic computation of resonance conditions, employing computer algebra and power geometry to represent the resonant variety as a rational algebraic curve and provide…”
Get full text

Resultant over the residual of a complete intersection by Busé, L., Elkadi, M., Mourrain, B.

“…In this article, we study the residual resultant which is the necessary and sufficient condition for a polynomial system F to have a solution in the residual…”
Get full text

Jacobi stability analysis for systems of ODEs with symbolic computation by Huang, Bo, Wang, Dongming, Wang, Xinyu, Yang, Jing

“…The classical theory of Kosambi–Cartan–Chern (KCC) developed in differential geometry provides a powerful method for analyzing the behaviors of dynamical…”
Get full text

Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity by Prébet, Rémi, Safey El Din, Mohab, Schost, Éric

“…A roadmap for an algebraic set V defined by polynomials with coefficients in the field Q of rational numbers is an algebraic curve contained in V whose intersection with all connected components of V∩Rn is connected…”
Get full text

WDVV equations: symbolic computations of Hamiltonian operators by Vašíček, Jakub, Vitolo, Raffaele

“…We describe software for symbolic computations that we developed in order to find Hamiltonian operators for Witten–Dijkgraaf–Verlinde–Verlinde (WDVV…”
Get full text

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology by Diatta, Daouda Niang, Diatta, Sény, Rouillier, Fabrice, Roy, Marie-Françoise, Sagraloff, Michael

“… } be the real planar algebraic curve implicitly defined as the vanishing set of  P . We give a deterministic algorithm to compute the topology of V R ( P…”
Get full text

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques by Kotsireas, Ilias, Kutsia, Temur, Simos, Dimitris E.

“… . The desired orthogonal designs can be described by a system of equations with the aid of a Gröbner basis computation…”
Get full text

Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results by Prébet, Rémi, Safey El Din, Mohab, Schost, Éric

“… robotics where motion planning issues are topical. This computational problem is tackled through the computation of so-called roadmaps which are real algebraic subsets…”
Get full text

Effective homological computations on finite topological spaces by Cuevas-Rozo, Julián, Lambán, Laureano, Romero, Ana, Sarria, Humberto

“… In this work, we present a new module for the Kenzo system that allows the computation of homology groups with generators of finite topological spaces in different situations…”
Get full text

Using Machine Learning to Improve Cylindrical Algebraic Decomposition by Huang, Zongyan, England, Matthew, Wilson, David J., Bridge, James, Davenport, James H., Paulson, Lawrence C.

“…Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields…”
Get full text

Algorithmic Reduction of Biological Networks with Multiple Time Scales by Kruff, Niclas, Lüders, Christoph, Radulescu, Ovidiu, Sturm, Thomas, Walcher, Sebastian

“…We present a symbolic algorithmic approach that allows to compute invariant manifolds and corresponding reduced systems for differential equations modeling biological networks which comprise chemical…”
Get full text

Dimension results for extremal-generic polynomial systems over complete toric varieties by Bender, Matías, Spaenlehauer, Pierre-Jean

“…We study polynomial systems with prescribed monomial supports in the Cox ring of a toric variety built from a complete polyhedral fan. We present combinatorial…”
Get full text

Computing with D-algebraic power series by van der Hoeven, Joris

“…In this paper, we will present several algorithms for computing with D-algebraic power series…”
Get full text