Search Results - complexity. 68W30 Symbolic computation AND algebraic computation*

Toward Finiteness of Central Configurations for the Planar Six-Body Problem by Symbolic Computations. (II) Determine Mass Relations.

Authors: Chang, Ke-Ming Chen, Kuo-Chang

Source: SIAM Journal on Applied Dynamical Systems; 2025, Vol. 24 Issue 3, p2369-2404, 36p

Subject Terms: MANY-body problem, CONFIGURATIONS (Geometry), GRAPH coloring, ELIMINATION (Mathematics), SYMBOLIC computation

Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set

Authors: Greuet, Aurélien Safey El Din, Mohab Polynomial Systems (PolSys) et al.

Contributors: Greuet, Aurélien Safey El Din, Mohab Polynomial Systems (PolSys) et al.

Source: SIAM Journal on Optimization. 24:1313-1343

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, polynomial system solving, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 90C26 Nonconvex programming, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Symbolic Computation (cs.SC), global optimization. 13P25 Applications of commutative algebra. 14Q20 Effectivity, 01 natural sciences, Optimization and Control (math.OC), complexity. 68W30 Symbolic computation and algebraic computation, polynomial optimization, FOS: Mathematics, Global optimization, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], 0101 mathematics, real solutions, Mathematics - Optimization and Control

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1307.8281
http://arxiv.org/abs/1307.8281
https://hal.science/hal-00849523v2
https://hal.science/hal-00849523v2/document
https://doi.org/10.1137/130931308

Notes on three formulas of Abel.

Authors: Cox, David A.

Source: Bulletin (New Series) of the American Mathematical Society; Jul2025, Vol. 62 Issue 3, p481-536, 56p

Subject Terms: MATHEMATICAL formulas, SYMBOLIC computation, CONGRUENCES & residues, NEWTON diagrams, ABELIAN functions

On the gradient of the coefficient of the characteristic polynomial

Authors: Ikenmeyer, Christian

Subject Terms: Computational Complexity, Commutative Algebra, Combinatorics, 68W30 Symbolic computation and algebraic computation

Relation: http://arxiv.org/abs/2511.04954

Availability: http://arxiv.org/abs/2511.04954

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity

Authors: Prébet, Rémi Safey El Din, Mohab Schost, Éric et al.

Contributors: Prébet, Rémi Safey El Din, Mohab Schost, Éric et al.

Source: https://hal.science/hal-04439518 ; 2024.

Subject Terms: Roadmaps, Algorithm, Complexity, Computational real algebraic geometry, Real algebraic sets, Critical points, MSC2020 : 14Q20, 14Q30, 14P05, 68W30, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.03111; ARXIV: 2402.03111

Availability: https://hal.science/hal-04439518
https://hal.science/hal-04439518v1/document
https://hal.science/hal-04439518v1/file/PrSaSc2024.pdf

Bounds for polynomials on algebraic numbers and application to curve topology

Authors: Diatta, Daouda Niang Diatta, Sény Rouillier, Fabrice et al.

Contributors: Diatta, Daouda Niang Diatta, Sény Rouillier, Fabrice et al.

Source: ISSN: 0179-5376.

Subject Terms: Mathematics Subject Classification (2010) 14P25 - 68W30 - 13P15 - 14Q05 - 68Q25, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1807.10622; ARXIV: 1807.10622

Availability: https://inria.hal.science/hal-01891417
https://inria.hal.science/hal-01891417v1/document
https://inria.hal.science/hal-01891417v1/file/1807.10622v4.pdf
https://doi.org/10.1007/s00454-021-00353-w

Creative telescoping using reductions

Authors: van der Hoeven, Joris Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

Contributors: van der Hoeven, Joris Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

Source: https://hal.science/hal-01773137 ; 2018.

Subject Terms: creative telescoping, holonomic function, Hermite reduction, residues, MSC 33F10, 68W30, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Availability: https://hal.science/hal-01773137
https://hal.science/hal-01773137v2/document
https://hal.science/hal-01773137v2/file/redtel.pdf

Computation of the Similarity Class of the $p$-Curvature

Authors: Bostan, Alin Caruso, Xavier Schost, Éric et al.

Contributors: Bostan, Alin Caruso, Xavier Schost, Éric et al.

Source: ISSAC 2016 ; https://hal.science/hal-01321043 ; ISSAC 2016, Jul 2016, Waterloo, ON, Canada. pp.111-118, ⟨10.1145/2930889.2930897⟩ ; http://www.issac-conference.org/2016/

Subject Terms: p-curvature, algebraic complexity, differential equations, 11Y16, 68W30, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Subject Geographic: Waterloo, ON

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1605.06126; ARXIV: 1605.06126

Availability: https://hal.science/hal-01321043
https://doi.org/10.1145/2930889.2930897

Fast reduction of bivariate polynomials with respect to sufficiently regular Gröbner bases

Authors: van der Hoeven, Joris Larrieu, Robin Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Contributors: van der Hoeven, Joris Larrieu, Robin Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Source: https://hal.science/hal-01702547 ; 2018.

Subject Terms: MSC: 68W30, 13P10, 12Y05, 68W40, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]

Availability: https://hal.science/hal-01702547
https://hal.science/hal-01702547v2/document
https://hal.science/hal-01702547v2/file/redbivar.pdf

POLYNOMIAL-TIME COMPUTING OVER QUADRATIC MAPS I. SAMPLING IN REAL ALGEBRAIC SETS

Authors: Grigoriev, Dima Pasechnik, Dmitrii Centre National de la Recherche Scientifique (CNRS)

Contributors: Grigoriev, Dima Pasechnik, Dmitrii Centre National de la Recherche Scientifique (CNRS)

Source: ISSN: 1016-3328.

Subject Terms: symbolic computation, complexity, semialgebraic set, quadratic map, univariate representation, infinitesimal deformation. Subject classification. 68W30, 13P10, 14Q20, 14Pxx, [MATH]Mathematics [math]

Relation: hal-03047048; https://hal.science/hal-03047048; https://hal.science/hal-03047048/document; https://hal.science/hal-03047048/file/quadric_cc%5B1%5D.pdf

Availability: https://hal.science/hal-03047048
https://hal.science/hal-03047048/document
https://hal.science/hal-03047048/file/quadric_cc%5B1%5D.pdf

Symbolic computation in hyperbolic programming.

Authors: Naldi, Simone Plaumann, Daniel

Source: Journal of Algebra & Its Applications; Oct2018, Vol. 17 Issue 10, pN.PAG-N.PAG, 17p

Subject Terms: HYPERBOLIC processes, SYMBOLIC computation, SEMIDEFINITE programming, CONVEX programming, ALGEBRAIC geometry

Automated programming, symbolic computation, machine learning: my personal view.

Authors: Buchberger, Bruno

Source: Annals of Mathematics & Artificial Intelligence; Oct2023, Vol. 91 Issue 5, p569-589, 21p

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

Authors: Davenport, James H. England, Matthew McCallum, Scott et al.

Source: Mathematics in Computer Science; 11/19/2025, Vol. 19 Issue 1, p1-23, 23p

Symbolic computation for the qualitative theory of differential equations.

Authors: Huang, Bo Niu, Wei Wang, Dongming

Source: Acta Mathematica Scientia; Nov2022, Vol. 42 Issue 6, p2478-2504, 27p

Computing Higher Leray–Serre Spectral Sequences of Towers of Fibrations.

Authors: Guidolin, Andrea Romero, Ana

Source: Foundations of Computational Mathematics; Aug2021, Vol. 21 Issue 4, p1023-1074, 52p

Subject Terms: ALGEBRAIC topology, MODULES (Algebra), COMPUTER systems, SYMBOLIC computation, ALGORITHMS

Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering

Authors: Edward L. Green Serkan Hoşten Reinhard C. Laubenbacher et al.

Resource Type: eBook.

Subjects: Algebra--Data processing--Congresses, Equations--Numerical solutions--Data processin

Categories: MATHEMATICS / Differential Equations / General, MATHEMATICS / Geometry / Algebraic

Symbolic Computations of First Integrals for Polynomial Vector Fields.

Authors: Chèze, Guillaume Combot, Thierry

Source: Foundations of Computational Mathematics; Aug2020, Vol. 20 Issue 4, p681-752, 72p

Subject Terms: SYMBOLIC computation, ALGORITHMS, POLYNOMIALS, VECTOR fields, INTEGRAL representations, LINEAR algebra

Bounds for polynomials on algebraic numbers and application to curve topology

Authors: Diatta, Daouda Niang Diatta, Sény Rouillier, Fabrice et al.

Contributors: Diatta, Daouda Niang Diatta, Sény Rouillier, Fabrice et al.

Source: https://hal.inria.fr/hal-01891417 ; 2018.

Subject Terms: Mathematics Subject Classification (2010) 14P25 - 68W30 - 13P15 - 14Q05 - 68Q25, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1807.10622; hal-01891417; https://hal.inria.fr/hal-01891417; ARXIV: 1807.10622

Availability: https://hal.inria.fr/hal-01891417

Generalized companion matrix for approximate GCD

Authors: Boito, Paola Ruatta, Olivier DMI et al.

Contributors: Boito, Paola Ruatta, Olivier DMI et al.

Source: https://hal.science/hal-00564448 ; 2011.

Subject Terms: Approximate greatest common divisor, Approximate geometry, Symbolic-numeric computation, Structured matrices, 14Q20, 13P05, 68W25, 68W30, G0, G1.2, G1.3, I.1.2, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Availability: https://hal.science/hal-00564448
https://hal.science/hal-00564448v1/document
https://hal.science/hal-00564448v1/file/Paola8.pdf

A General Solver Based on Sparse Resultants

Authors: Emiris, Ioannis Z.

Subject Terms: Computer Science - Symbolic Computation, G.4, FOS: Computer and information sciences, 13P15 Solving polynomial systems, resultants (Primary), 68W30 Symbolic computation and algebraic computation (secondary), I.1, 02 engineering and technology, Numerical Analysis (math.NA), Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Numerical Analysis, F.2.1, 0101 mathematics

Access URL: http://arxiv.org/abs/1201.5810