Výsledky vyhľadávania - 68W30 Symbolic computation and algebraic computation

Construction of an endgame rulebook for Sylver Coinage using trees of numerical semigroups Autor 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…”
Získať plný text

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD Autor 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…”
Získať plný text

Symbolic computation for the qualitative theory of differential equations Autor 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…”
Získať plný text

Decision problem for a class of univariate Pfaffian functions Autor 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…”
Získať plný text

A quasi-linear irreducibility test in K[[x]][y] Autor 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…”
Získať plný text

Residue integrals and Waring's formulas for algebraic or even transcendental systems Autor 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…”
Získať plný text

Schur Polynomials Do Not Have Small Formulas If the Determinant does not Autor 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…”
Získať plný text

Resonances and Formal Stability Investigation in Hamiltonian Systems Autor 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…”
Získať plný text

Resultant over the residual of a complete intersection Autor 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…”
Získať plný text

Jacobi stability analysis for systems of ODEs with symbolic computation Autor 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…”
Získať plný text

Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity Autor 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…”
Získať plný text

WDVV equations: symbolic computations of Hamiltonian operators Autor 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…”
Získať plný text

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology Autor 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…”
Získať plný text

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques Autor 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…”
Získať plný text

Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results Autor 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…”
Získať plný text

Effective homological computations on finite topological spaces Autor 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…”
Získať plný text

Using Machine Learning to Improve Cylindrical Algebraic Decomposition Autor 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…”
Získať plný text

Algorithmic Reduction of Biological Networks with Multiple Time Scales Autor 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…”
Získať plný text

Dimension results for extremal-generic polynomial systems over complete toric varieties Autor 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…”
Získať plný text

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

“…In this paper, we will present several algorithms for computing with D-algebraic power series…”
Získať plný text