Suchergebnisse - 68W30 Symbolic computation and algebraic computation

Construction of an endgame rulebook for Sylver Coinage using trees of numerical semigroups von 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 …”
Volltext

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD von 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 …”
Volltext

Symbolic computation for the qualitative theory of differential equations von 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 …”
Volltext

Decision problem for a class of univariate Pfaffian functions von 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 …”
Volltext

A quasi-linear irreducibility test in K[[x]][y] von 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 …”
Volltext

Residue integrals and Waring's formulas for algebraic or even transcendental systems von 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 …”
Volltext

Schur Polynomials Do Not Have Small Formulas If the Determinant does not von 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 …”
Volltext

Resonances and Formal Stability Investigation in Hamiltonian Systems von 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 …”
Volltext

Resultant over the residual of a complete intersection von 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 …”
Volltext

Jacobi stability analysis for systems of ODEs with symbolic computation von 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 …”
Volltext

Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity von 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 …”
Volltext

WDVV equations: symbolic computations of Hamiltonian operators von 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 …”
Volltext

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology von 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 …”
Volltext

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques von 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 …”
Volltext

Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results von 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 …”
Volltext

Effective homological computations on finite topological spaces von 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 …”
Volltext

Using Machine Learning to Improve Cylindrical Algebraic Decomposition von 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 …”
Volltext

Algorithmic Reduction of Biological Networks with Multiple Time Scales von 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 …”
Volltext

Dimension results for extremal-generic polynomial systems over complete toric varieties von 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 …”
Volltext

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

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