Buchumschlag

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Din, Mohab Safey El, Scholten, Georgy, Trélat, Emmanuel
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
von: Gopalakrishnan, Sriram, et al.
Veröffentlicht: (2024)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
von: Magron, Victor, et al.
Veröffentlicht: (2018)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
von: Berthomieu, Jérémy, et al.
Veröffentlicht: (2026)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
von: Prébet, Rémi, et al.
Veröffentlicht: (2024)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
von: Kouba, Robin, et al.
Veröffentlicht: (2026)

Solving parameter-dependent semi-algebraic systems
von: Gaillard, Louis, et al.
Veröffentlicht: (2024)

Computing the connected components of real algebraic curves
von: Rocchi, Elisabetta, et al.
Veröffentlicht: (2026)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
von: Elliott, Jesse, et al.
Veröffentlicht: (2025)

Solving generic parametric linear matrix inequalities
von: Naldi, Simone, et al.
Veröffentlicht: (2025)

Certificates for nonnegativity of multivariate integer polynomials under perturbations
von: Bender, Matías R, et al.
Veröffentlicht: (2025)

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
von: Henrion, Didier, et al.
Veröffentlicht: (2024)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
von: Cory-Wright, Ryan, et al.
Veröffentlicht: (2023)

Certified bounds on optimization problems in quantum theory
von: Naceur, Younes, et al.
Veröffentlicht: (2025)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
von: Magron, Victor, et al.
Veröffentlicht: (2020)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
von: Li, Xiakun, et al.
Veröffentlicht: (2026)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
von: Younes, Grace, et al.
Veröffentlicht: (2025)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
von: Gimelfarb, Michael, et al.
Veröffentlicht: (2024)

A linear-time algorithm to compute the conjugate of nonconvex bivariate piecewise linear-quadratic functions
von: Karmarkar, Tanmaya, et al.
Veröffentlicht: (2025)

An $O(n$)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists
von: Mueller, Andreas
Veröffentlicht: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

SMLP: Symbolic Machine Learning Prover
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

On semidefinite-representable sets over valued fields
von: Cornou, Corentin, et al.
Veröffentlicht: (2026)

Certifying solutions of degenerate semidefinite programs
von: Kolmogorov, Vladimir, et al.
Veröffentlicht: (2024)

Turnpike in optimal control and beyond: a survey
von: Trélat, Emmanuel, et al.
Veröffentlicht: (2025)

Polynomial Turnpike Property for a Class of Infinite-Dimensional Oscillating Systems
von: Zuyev, Alexander, et al.
Veröffentlicht: (2026)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
von: Hong, Shengxin, et al.
Veröffentlicht: (2024)

How to generate all possible rational Wilf-Zeilberger forms?
von: Chen, Shaoshi, et al.
Veröffentlicht: (2024)

Large-time optimal observation domain for linear parabolic systems
von: Mazari-Fouquer, Idriss, et al.
Veröffentlicht: (2024)

Some Computational Tools for Solving a Selection of Problems in Control Theory
von: Demin, Alexander, et al.
Veröffentlicht: (2025)

Generalized ODE reduction algorithm for bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)

On the computation of Gröbner bases for matrix-weighted homogeneous systems
von: Verron, Thibaut
Veröffentlicht: (2022)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
von: Aso-Mollar, Ángel, et al.
Veröffentlicht: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
von: Dzafic, Izudin, et al.
Veröffentlicht: (2025)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
von: Wang, Sen, et al.
Veröffentlicht: (2023)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
von: Feng, Jie, et al.
Veröffentlicht: (2024)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
von: Scherb, Christopher, et al.
Veröffentlicht: (2023)

Dissipative quadratizations of polynomial ODE systems
von: Cai, Yubo, et al.
Veröffentlicht: (2023)

Explorations on the number of realizations of minimally rigid graphs
von: Grasegger, Georg
Veröffentlicht: (2025)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
von: Oaku, Toshinori
Veröffentlicht: (2026)