Cover Image

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Promies, Valentin, Nalbach, Jasper, Ábrahám, Erika, Kobialka, Paul
Format:	Preprint
Published:	2023
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)

Levelwise construction of a single cylindrical algebraic cell
by: Nalbach, Jasper, et al.
Published: (2022)

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

On Projective Delineability
by: Michel, Lucas, et al.
Published: (2024)

Tree-indexed sums of Catalan numbers
by: Bostan, Alin, et al.
Published: (2025)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
by: Rossel, Marcus, et al.
Published: (2024)

Exploring the Meta Flip Graph for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

A note on a paper by Hashemi and Kapur
by: Heisel, Anna Nymann, et al.
Published: (2025)

Computing a holonomic submodule of the partial Weyl closure
by: Brochet, Hadrien
Published: (2026)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Differentiation methods as a systematic uncertainty source in equation discovery
by: Khilchuk, Maria, et al.
Published: (2025)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

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

Computing change of level and isogenies between abelian varieties
by: Dequay, Antoine, et al.
Published: (2025)

In-place accumulation of fast multiplication formulae
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

Fast in-place accumulation
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
by: Hong, Hoon, et al.
Published: (2023)

Short proofs of ideal membership
by: Hofstadler, Clemens, et al.
Published: (2023)

On the dimension of the solution space of linear difference equations over the ring of infinite sequences
by: Abramov, Sergei, et al.
Published: (2023)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Huang, Hui
Published: (2026)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)