Cover Image

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Younes, Grace, Quadrat, Alban, Rouillier, Fabrice
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Mathematical Software Symbolic Computation Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

Certified bounds on optimization problems in quantum theory
by: Naceur, Younes, et al.
Published: (2025)

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

Certificates for nonnegativity of multivariate integer polynomials under perturbations
by: Bender, Matías R, et al.
Published: (2025)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
by: Din, Mohab Safey El, et al.
Published: (2025)

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems
by: Rego, Brenner S., et al.
Published: (2025)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

Exact hierarchical reductions of dynamical models via linear transformations
by: Demin, Alexander, et al.
Published: (2023)

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

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

A Million-Point Fast Trajectory Optimization Solver
by: Javeed, A., et al.
Published: (2025)

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

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
by: Wang, Sen, et al.
Published: (2023)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
by: Gaudel, Bimal, et al.
Published: (2025)

Polylab: A MATLAB Toolbox for Multivariate Polynomial Modeling
by: Niu, Yi-Shuai, et al.
Published: (2026)

Parallel Redundancy Removal in lrslib with Application to Projections
by: Avis, David, et al.
Published: (2024)

Improved algorithms and novel applications of the FrankWolfe.jl library
by: Besançon, Mathieu, et al.
Published: (2025)

A Unified and Scalable Method for Optimization over Graphs of Convex Sets
by: Marcucci, Tobia
Published: (2025)

A Practical GPU-Enhanced Matrix-Free Primal-Dual Method for Large-Scale Conic Programs
by: Lin, Zhenwei, et al.
Published: (2025)

optHIM: Hybrid Iterative Methods for Continuous Optimization in PyTorch
by: Sridhar, Nikhil, et al.
Published: (2025)

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
by: Qu, Zheng, et al.
Published: (2025)

Cardinal Optimizer (COPT) User Guide
by: Ge, Dongdong, et al.
Published: (2022)

An efficient active-set method with applications to sparse approximations and risk minimization
by: Pougkakiotis, Spyridon, et al.
Published: (2024)

Solving the Convex Flow Problem
by: Diamandis, Theo, et al.
Published: (2024)

A Unified Funnel Restoration SQP Algorithm
by: Kiessling, David, et al.
Published: (2024)

Designing a Framework for Solving Multiobjective Simulation Optimization Problems
by: Chang, Tyler H., et al.
Published: (2023)

MindOpt Adapter for CPLEX Benchmarking Performance Analysis
by: Sun, Mou, et al.
Published: (2023)

Optimistix: modular optimisation in JAX and Equinox
by: Rader, Jason, et al.
Published: (2024)