Numerically Computing Galois Groups of Minimal Problems
Fuente:
arXiv
Saved in:
| Main Author: | Duff, Timothy |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)
by: Giménez, Nardo, et al.
Published: (2025)
Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)
by: Caravantes, Jorce, et al.
Published: (2023)
Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)
by: Davenport, James H., et al.
Published: (2023)
On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)
by: Longinetti, Marco, et al.
Published: (2024)
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)
by: Shang, Weifeng, et al.
Published: (2025)
On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)
by: Michel, Lucas
Published: (2026)
Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)
by: Kolmogorov, Vladimir, et al.
Published: (2024)
Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)
by: Solmaz, Baran, et al.
Published: (2026)
Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)
by: Davenport, James H., et al.
Published: (2026)
A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations
by: Duff, Timothy
Published: (2025)
by: Duff, Timothy
Published: (2025)
Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)
by: Ergür, Alperen A., et al.
Published: (2025)
A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)
by: Henning, Sotirios
Published: (2024)
Majorization and Inequalities among Complete Homogeneous Symmetric Functions
by: Xu, Jia, et al.
Published: (2025)
by: Xu, Jia, et al.
Published: (2025)
Exact Volumes of Semi-Algebraic Convex Bodies
by: Ramesh, Lakshmi, et al.
Published: (2026)
by: Ramesh, Lakshmi, et al.
Published: (2026)
An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
by: González-Villa, Manuel, et al.
Published: (2026)
by: González-Villa, Manuel, et al.
Published: (2026)
First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)
by: Davenport, James Harold
Published: (2024)
Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)
by: Durán, Antonio J., et al.
Published: (2013)
Revisiting Sampson Approximations for Geometric Estimation Problems
by: Rydell, Felix, et al.
Published: (2024)
by: Rydell, Felix, et al.
Published: (2024)
Certifying Galois/monodromy Actions via Homotopy Graphs
by: Duff, Timothy, et al.
Published: (2026)
by: Duff, Timothy, et al.
Published: (2026)
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)
by: Huang, Bo, et al.
Published: (2024)
Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)
by: Davenport, James H.
Published: (2024)
D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)
by: Manssour, Rida Ait El, et al.
Published: (2023)
A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)
by: Maaz, Muhammad, et al.
Published: (2025)
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)
by: England, Matthew
Published: (2024)
A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)
by: Chen, Rizeng
Published: (2023)
An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)
by: Tajima, Shinichi, et al.
Published: (2025)
Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2023)
by: Burr, Michael, et al.
Published: (2023)
Computing moment polytopes -- with a focus on tensors, entanglement and matrix multiplication
by: Berg, Maxim van den, et al.
Published: (2025)
by: Berg, Maxim van den, et al.
Published: (2025)
Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)
by: Lee, Corin, et al.
Published: (2025)
Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)
by: Harvey, David, et al.
Published: (2025)
Recent Advances in Debordering Methods
by: Dutta, Pranjal, et al.
Published: (2025)
by: Dutta, Pranjal, et al.
Published: (2025)
Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)
by: Lu, Dong, et al.
Published: (2026)
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)
by: Hong, Hoon, et al.
Published: (2023)
Brackets and Projective Geometry in Macaulay2
by: Bidleman, Dalton, et al.
Published: (2025)
by: Bidleman, Dalton, et al.
Published: (2025)
Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)
by: Tabuguia, Bertrand Teguia
Published: (2024)
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
by: Tajima, Shinichi, et al.
Published: (2022)
by: Tajima, Shinichi, et al.
Published: (2022)
On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
by: Lyakhov, Dmitry A., et al.
Published: (2024)
by: Lyakhov, Dmitry A., et al.
Published: (2024)
A zero-test for D-algebraic transseries
by: Chen, Shaoshi, et al.
Published: (2026)
by: Chen, Shaoshi, et al.
Published: (2026)
Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
by: Anokhin, Mikhail
Published: (2025)
by: Anokhin, Mikhail
Published: (2025)
Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)
by: Rocchi, Elisabetta, et al.
Published: (2026)
Similar Items
-
A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025) -
Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023) -
Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023) -
On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024) -
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)