Algorithms in real algebraic geometry
From MaRDI portal
Publication:5920628
DOI10.1007/3-540-33099-2zbMath1102.14041OpenAlexW4255213956MaRDI QIDQ5920628
Saugata Basu, Marie-Françoise Roy, Richard Pollack
Publication date: 13 September 2006
Published in: Algorithms and Computation in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-33099-2
quantifier eliminationreal closed fieldscomplexity of algorithmsalgorithmic real algebraic geometryreal semi-algebraic sets
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99)
Related Items
Highly symmetric POVMs and their informational power, Geometric permutations of non-overlapping unit balls revisited, Derandomization and absolute reconstruction for sums of powers of linear forms, A new general formula for the Cauchy index on an interval with subresultants, Measuring the local non-convexity of real algebraic curves, Measuring the constrained reachability in quantum Markov chains, Continuous amortization and extensions: with applications to bisection-based root isolation, Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems, Interpolation and model checking for nonlinear arithmetic, Fraction-free unit circle stability tests, Metric properties of semialgebraic mappings, Space exploration via proximity search, Semidefinite programming and sums of Hermitian squares of noncommutative polynomials, Stabbing simplices by points and flats, Solving bivariate systems using rational univariate representations, Polynomial-time approximation schemes for circle and other packing problems, Bounding the equivariant Betti numbers of symmetric semi-algebraic sets, On the solvability of derived matrix problems, including completions and duals, Random generation of periodic hard ellipsoids based on molecular dynamics: a computationally-efficient algorithm, Real ideal and the duality of semidefinite programming for polynomial optimization, Semi-algebraic functions have small subdifferentials, A constructive algebraic strategy for interpolatory subdivision schemes induced by bivariate box splines, A deterministic algorithm for isolating real roots of a real polynomial, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, Alternating projections on nontangential manifolds, Exact symbolic-numeric computation of planar algebraic curves, On real one-sided ideals in a free algebra, Revisiting Zariski main theorem from a constructive point of view, Tight bounds for rational sums of squares over totally real fields, Incidence bounds on multijoints and generic joints, Semi-algebraic Ramsey numbers, Representing simple \(d\)-dimensional polytopes by \(d\) polynomials, Computing isolated roots of sparse polynomial systems in affine space, Refined bounds on the number of connected components of sign conditions on a variety, Sphere and dot product representations of graphs, Faster \(p\)-adic feasibility for certain multivariate sparse polynomials, Coloring \(K_{k}\)-free intersection graphs of geometric objects in the plane, A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces, Solving the implicitization, inversion and reparametrization problems for rational curves through subresultants, Nearly optimal refinement of real roots of a univariate polynomial, Real root finding for determinants of linear matrices, Arrangements on parametric surfaces. II: Concretizations and applications, CAD and topology of semi-algebraic sets, On the topology of real algebraic plane curves, Root isolation of zero-dimensional polynomial systems with linear univariate representation, Variant quantifier elimination, A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface, Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian, Computing the Fréchet distance between folded polygons, Application of Sturm theorem in the global controllability of a class of high dimensional polynomial systems, Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\), Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces, An algorithm for determining copositive matrices, Real radical initial ideals, Linear solving for sign determination, Computational geometry of positive definiteness, Geodesic diameter of sets defined by few quadratic equations and inequalities, Uniqueness of equilibrium in the haber synthesis of ammonia, Segregation of stability domains of the Hamilton nonlinear system, Solving parametric piecewise polynomial systems, A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set, Divide and conquer roadmap for algebraic sets, The dimension of semialgebraic subdifferential graphs, On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials, A nonparametric analysis of multi-product oligopolies, Design of Marx generators as a structured eigenvalue assignment, Exponentially more concise quantum recognition of non-RMM regular languages, A note on the complexity of real algebraic hypersurfaces, Separating linear forms and rational univariate representations of bivariate systems, Quantifier elimination for a class of exponential polynomial formulas, Separating inequalities for nonnegative polynomials that are not sums of squares, A baby step-giant step roadmap algorithm for general algebraic sets, Computing the top Betti numbers of semialgebraic sets defined by quadratic inequalities in polynomial time, Counting multijoints, Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy, Proving inequalities and solving global optimization problems via simplified CAD projection, A systematic approach for doing an a priori identifiability study of dynamical nonlinear models, Curvature of Hessian manifolds, Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis, Bivariate triangular decompositions in the presence of asymptotes, Analyzing restricted fragments of the theory of linear arithmetic, Tractability conditions for numeric CSPs, New error measures and methods for realizing protein graphs from distance data, Fixed points, Nash equilibria, and the existential theory of the reals, On the complexity of minimizing probabilistic and quantum automata, Elementary recursive quantifier elimination based on Thom encoding and sign determination, Direct symbolic transformation from 3D Cartesian into hyperboloidal coordinates, An algebraic certificate for Budan's theorem, Evaluating geometric queries using few arithmetic operations, An algebraic approach to continuous collision detection for ellipsoids, Solution formulas for cubic equations without or with constraints, Applications of dimensionality reduction and exponential sums to graph automorphism, Some new results on decidability for elementary algebra and geometry, A Szemerédi-Trotter type theorem in \(\mathbb R^4\), Stress matrices and global rigidity of frameworks on surfaces, Quadratic growth and critical point stability of semi-algebraic functions, On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems, A worst-case bound for topology computation of algebraic curves, Multi-letter quantum finite automata: decidability of the equivalence and minimization of states, Algebraic varieties are homeomorphic to varieties defined over number fields, Model checking QCTL plus on quantum Markov chains, Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems, Level lines of a polynomial on a plane, High-order quadrature on multi-component domains implicitly defined by multivariate polynomials, Disguised toric dynamical systems, When a system of real quadratic equations has a solution, Describing amoebas, Complexity of linear relaxations in integer programming, Auxetic deformations and elliptic curves, Algebraic degrees of 3-dimensional polytopes, An approximate characterisation of the set of feasible trajectories for constrained flat systems, On the Reeb spaces of definable maps, On generalizing Descartes' rule of signs to hypersurfaces, Real root finding for low rank linear matrices, Numerical roadmap of smooth bounded real algebraic surface, Generically globally rigid graphs have generic universally rigid frameworks, A transfer method from bounded existential Diophantine equations to Tarski algebra formulas, Separation bounds for polynomial systems, Real closures of models of weak arithmetic, Decomposing arrangements of hyperplanes: VC-dimension, combinatorial dimension, and point location, Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization, NP-hardness of deciding convexity of quartic polynomials and related problems, Source localization and denoising: a perspective from the TDOA space, Efficient evaluation of specific queries in constraint databases, Analyticity of the planar limit of a matrix model, Geometric and combinatorial properties of well-centered triangulations in three and higher dimensions, On solving parametric polynomial systems, Numerically computing real points on algebraic sets, Matroids over partial hyperstructures, Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL, Lengths of developments in \(K((G))\), Global optimization of polynomials over real algebraic sets, Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials, Anderson localization for two interacting quasiperiodic particles, Density of algebraic points on Noetherian varieties, A sharper estimate on the Betti numbers of sets defined by quadratic inequalities, Certificates of positivity in the Bernstein basis, The complexity of dominating set in geometric intersection graphs, Improving the topology computation of an arrangement of cubics, Tropical spectrahedra, Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications, Orderability and Dehn filling, Imaginary projections of polynomials, On sum of squares certificates of non-negativity on a strip, Grid methods in computational real algebraic (and semialgebraic) geometry, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Automatic generation of bounds for polynomial systems with application to the Lorenz system, Univariate real root isolation in an extension field and applications, Parametrized homology via zigzag persistence, \(L^3\) estimates for an algebraic variable coefficient Wolff circular maximal function, Certified non-conservative tests for the structural stability of discrete multidimensional systems, Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials, Using machine learning to improve cylindrical algebraic decomposition, Characteristic polynomials of symmetric matrices over the univariate polynomial ring, A parametric representation of totally mixed Nash equilibria, Motion planning via manifold samples, Tools for analyzing the intersection curve between two quadrics through projection and lifting, An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions, Sturm and Sylvester algorithms revisited via tridiagonal determinantal representations, On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms, On the intrinsic complexity of point finding in real singular hypersurfaces, Invariant coordinate subspaces of normal form of a system of ordinary differential equations, A local maximizer for lattice width of 3-dimensional hollow bodies, Semialgebraic sets and real binary forms decompositions, On exact Reznick, Hilbert-Artin and Putinar's representations, Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves, Solutions to a system of equations for \(C^m\) functions, Generators for the \(C^m\)-closures of ideals, Some lower bounds for the complexity of the linear programming feasibility problem over the reals, Efficiently and effectively recognizing toricity of steady state varieties, Tournament quasirandomness from local counting, Graph reconstruction from unlabeled edge lengths, VC density of definable families over valued fields, On the number of topological types occurring in a parameterized family of arrangements, Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials, First-order orbit queries, The impact on the properties of the EFGM copulas when extending this family, Correction to: ``Tropical varieties for exponential sums, The set of separable states has no finite semidefinite representation except in dimension \(3\times 2\), On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond, Sampling polynomial trajectories for LTL verification, Revisiting reachability in polynomial interrupt timed automata, Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials, On the asymptotic and practical complexity of solving bivariate systems over the reals, Subset selection for matrices with fixed blocks, On tameness of zonoids, On algorithms testing positivity of real symmetric polynomials, An efficient algorithm for the stratification and triangulation of an algebraic surface, Computing the topology of an arrangement of implicitly defined real algebraic plane curves, An algebraic method to fidelity-based model checking over quantum Markov chains, On the equality of periods of Kontsevich-Zagier, Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets, Subquadratic algorithms for some \textsc{3sum}-hard geometric problems in the algebraic decision-tree model, Interactions of zeros of polynomials and multiplicity matrices, Smooth points on semi-algebraic sets, Computing critical points for invariant algebraic systems, Half-trek criterion for identifiability of latent variable models, Quantitative curve selection lemma, Solving parametric systems of polynomial equations over the reals through Hermite matrices, Bounds for polynomials on algebraic numbers and application to curve topology, On the Davenport-Mahler bound, The `life machine': a quantum metaphor for living matter, Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic, Space Crossing Numbers, Wilkie's conjecture for restricted elementary functions, A semi-algebraic version of Zarankiewicz's problem, Parameterization of the discriminant set of a polynomial, Real algebraic numbers and polynomial systems of small degree, Complexity of real root isolation using continued fractions, The landscape of G-structures in eight-manifold compactifications of M-theory, Internal circle uplifts, transversality and stratified G-structures, Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry, Reaching generalized critical values of a polynomial, Cell decomposition of almost smooth real algebraic surfaces, Algebraic boundaries of \(\mathrm{SO}(2)\)-orbitopes, Some independent bounds on the number of variables of quadratic polynomials, Identifying and approximating monotonous segments of algebraic curves using support function representation, On the realisability of double-cross matrices by polylines in the plane, Numerical stability of Euclidean algorithm over ultrametric fields, Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions, On the complexity of computing the topology of real algebraic space curves, Polynomial interrupt timed automata: verification and expressiveness, Phase portraits, Lyapunov functions, and projective geometry. Lessons learned from a differential equations class and its aftermath, Interlacing Ehrhart polynomials of reflexive polytopes, Subquadratic algorithms for algebraic 3SUM, Permutations encoding the local shape of level curves of real polynomials via generic projections, A mathematical model for a transmissible disease with a variant, Time and space efficient collinearity indexing, Computer algebra methods for searching the stationary motions of the connected bodies system moving in gravitational field, A Polynomial Regularity Lemma for Semialgebraic Hypergraphs and Its Applications in Geometry and Property Testing, Tropical combinatorial Nullstellensatz and sparse polynomials, Certified Hermite matrices from approximate roots, On \(\epsilon\)-sensitive monotone computations, Distinct distances on non-ruled surfaces and between circles, An optimal quantum error-correcting procedure using quantifier elimination, Homogeneous selections from hyperplanes, Zero-nonzero and real-nonreal sign determination, Hermitian matrices with a bounded number of eigenvalues, A census of zeta functions of quartic K surfaces over, Certified rational parametric approximation of real algebraic space curves with local generic position method, Dynamic planar Voronoi diagrams for general distance functions and their algorithmic applications, Topology of real multi-affine hypersurfaces and a homological stability property, Invariance of a class of semi-algebraic sets for polynomial systems with dynamic compensators, Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems, Parameterization of a set determined by the generalized discriminant of a polynomial, Computation of the fundamental units of number rings using a generalized continued fraction, On the complexity of the Descartes method when using approximate arithmetic, On multicorns and unicorns II: bifurcations in spaces of antiholomorphic polynomials, Equivalence checking of quantum finite-state machines, Computing the first few Betti numbers of semi-algebraic sets in single exponential time, A condition for multiplicity structure of univariate polynomials, Exact algorithms for semidefinite programs with degenerate feasible set, On the sensitivity of the optimal partition for parametric second-order conic optimization, On the uniqueness problem for quadrature domains, Algebraic conditions and the sparsity of spectrally arbitrary patterns, Advice Coins for Classical and Quantum Computation, Polynomial bivariate copulas of degree five: characterization and some particular inequalities, Lengths of roots of polynomials in a Hahn field, Algebraic cycles from a computational point of view, Intrinsic complexity estimates in polynomial optimization, From approximate factorization to root isolation with application to cylindrical algebraic decomposition, Detecting similarity of rational plane curves, On the complexity of computing with planar algebraic curves, On projections of semi-algebraic sets defined by few quadratic inequalities, On the intersection of a sparse curve and a low-degree curve: a polynomial version of the lost theorem, On the minimum of a positive polynomial over the standard simplex, Optimized parametrization of systems of incidences between rigid bodies, A Note on Polynomial Solvability of the CDT Problem, On a concept of genericity for RLC networks, On the extended Hensel construction and its application to the computation of real limit points, On types of degenerate critical points of real polynomial functions, First-order continuous induction and a logical study of real closed fields, Ball packings with periodic constraints, Sublinear Root Detection and New Hardness Results for Sparse Polynomials over Finite Fields, Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL, ORBITOPES, On the Feasibility of Semi-algebraic Sets in Poisson Regression, Connectedness of the solution set of the tensor complementarity problem, A classical proof that the algebraic homotopy class of a rational function is the residue pairing, Cylindrical algebraic decomposition with equational constraints, A formal study of Bernstein coefficients and polynomials, A Formal Proof of Cauchy’s Residue Theorem, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, Computing Sparse Representations of Systems of Rational Fractions, A Survey of Satisfiability Modulo Theory, Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\), Semi-algebraic sets of \(f\)-vectors, Exact Algorithms for Linear Matrix Inequalities, On Searching for Small Kochen-Specker Vector Systems, Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems, Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\), A complexity theory of constructible functions and sheaves, Special algorithm for stability analysis of multistable biological regulatory systems, A combinatorial formula for principal minors of a matrix with tree-metric exponents and its applications, Towards semantic mathematical editing, Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity, Unifying known lower bounds via geometric complexity theory, Theorem of three circles in Coq, Overdetermined strata for degree 5 hyperbolic polynomials, Computing real witness points of positive dimensional polynomial systems, A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization, On Isolating Roots in a Multiple Field Extension, Faster real root decision algorithm for symmetric polynomials, Persistent Homology of Semialgebraic Sets, Hausdorff approximations and volume of tubes of singular algebraic sets, What is \(-Q\) for a poset \(Q\)?, Quartic and Quintic Hypersurfaces with Dense Rational Points, A tropical count of real bitangents to plane quartic curves, More on lines in Euclidean Ramsey theory, On the complexity of analyticity in semi-definite optimization, Tameness in geometry and arithmetic: beyond o-minimality, Decision problem for a class of univariate Pfaffian functions, Investigation of the dynamics of two connected bodies in the plane of a circular orbit using computer algebra methods, Stability of singular limit cycles for Abel equations revisited, Throwing a sofa through the window, Topological classification of the intersection curves of two quadrics using a set of discriminants, The complexity of the Hausdorff distance, Completeness for the complexity class \(\forall \exists \mathbb{R}\) and area-universality, Complexity of optimizing over the integers, Calculation of a strong resonance condition in a Hamiltonian system, Counting Zeros of Random Functions, Estimation under group actions: recovering orbits from invariants, On the Topology of the Intersection Curve of Two Real Parameterized Algebraic Surfaces, What to expect from a set of itemsets?, Trilateration using unlabeled path or loop lengths, Asymmetric tropical distances and power diagrams, The computability of LQR and LQG control, On the decidability of reachability in continuous time linear time-invariant systems, Hilbert number for a family of piecewise nonautonomous equations, Unnamed Item, Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field, On μ-symmetric polynomials, Stickelberger and the Eigenvalue Theorem, Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets, Recent Advances in Real Geometric Reasoning, Soft Subdivision Search in Motion Planning, II: Axiomatics, On topological structure of some sets related to the normalized Ricci flow on generalized Wallach spaces, Tropicalizing the Simplex Algorithm, Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers, Ramsey-type results for semi-algebraic relations, Numerical and Symbolic Studies of the Peaceable Queens Problem, Smoothing the Gap Between NP and ER, AN ALGEBRAIC APPROACH FOR A MALARIA TRANSMISSION MODEL WITH ENVIRONMENTAL SANITATION, Analytic expressions for the positive definite and unimodal regions of Gram-Charlier series, Geometry of Linear Convolutional Networks, On polynomial images of a closed ball, Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size, Stability analysis of a bacterial growth model through computer algebra, Fast Algorithms for Discrete Differential Equations, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Fast evaluation and root finding for polynomials with floating-point coefficients, Algorithm for Connectivity Queries on Real Algebraic Curves, Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations, On the zeros of univariate E-polynomials, Conormal spaces and Whitney stratifications, The visible-volume function of a set of cameras is continuous, piecewise rational, locally Lipschitz, and semi-algebraic in all dimensions, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Monomial Tropical Cones for Multicriteria Optimization, Unnamed Item, Spectrahedral Shadows, Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability, Distinct Distances on Algebraic Curves in the Plane, A fraction-free unit-circle zero location test for a polynomial with any singularity profile, Primitive recursive ordered fields and some applications, Constructive Polynomial Partitioning for Algebraic Curves in $\mathbb{R}^3$ with Applications, A Symbolic Computation Approach Towards the Asymptotic Stability Analysis of Differential Systems with Commensurate Delays, Exact upper bound on the sum of squared nearest-neighbor distances between points in a rectangle, Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets, Quantitative fundamental theorem of algebra, Two conjectures on the arithmetic in ℝ and ℂ, On the Complexity of Reachability in Parametric Markov Decision Processes, DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS, Invariant theoretic characterization of subdiscriminants of matrices, Computing totally real hyperplane sections and linear series on algebraic curves, Unnamed Item, The Smallest Multistationary Mass-Preserving Chemical Reaction Network, Unnamed Item, Unnamed Item, Lopsided approximation of amoebas, Validating numerical semidefinite programming solvers for polynomial invariants, Block LU factorization of Hankel and Bezout matrices and Euclidean algorithm, Unnamed Item, Summary on non-Archimedean valued fields, Unnamed Item, A topological method for finding invariant sets of continuous systems, Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry, Cylindrical algebraic decomposition using local projections, Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions, Zero counting for a class of univariate Pfaffian functions, Identifiability of directed Gaussian graphical models with one latent source, Symbolic computation of Drazin inverses by specializations, Complexity, exactness, and rationality in polynomial optimization, Complexity, exactness, and rationality in polynomial optimization, Anti-commuting varieties, Multiparameter perturbation theory of matrices and linear operators, Error Bounds, Quadratic Growth, and Linear Convergence of Proximal Methods, Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs., A proof of the matrix version of Baker's conjecture in Diophantine approximation, GENERIC UNLABELED GLOBAL RIGIDITY, Rods and Rings: Soft Subdivision Planner for R^3 x S^2., On the Complexity of Reliable Root Approximation, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications, Convex Algebraic Geometry of Curvature Operators, Unnamed Item, Resonance Set of a Polynomial and Problem of Formal Stability, Computation of generalized discriminant of a real polynomial, Fp is locally like ℂ, Approximating functions on stratified sets, Representations and evaluation strategies for feasibly approximable functions, Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision, Separately Nash and arc‐Nash functions over real closed fields, Verified computations for closed hyperbolic 3‐manifolds, Geometric optimization and sums of algebraic functions, Approximating Minimization Diagrams and Generalized Proximity Search, Division-free computation of subresultants using Bezout matrices, Unnamed Item, Zero Counting and Invariant Sets of Differential Equations, A Hurwitz Like Characterization of GUAS Planar Switched Systems, Quantitative Result on the Deviation of a Real Algebraic Curve from Its Vertical Tangents, Reflection groups, reflection arrangements, and invariant real varieties, Symbolic Proof of Bistability in Reaction Networks, Certified Hermite Matrices from Approximate Roots - Univariate Case, Generic Global Rigidity in Complex and Pseudo-Euclidean Spaces, On the Central Path of Semidefinite Optimization: Degree and Worst-Case Convergence Rate, Which Small Reaction Networks Are Multistationary?, On Computing the Nonlinearity Interval in Parametric Semidefinite Optimization, Algebro-Geometric Equisingularity of Zariski, Quantifier elimination for elementary geometry and elementary affine geometry
Uses Software
