scientific article; zbMATH DE number 517393
From MaRDI portal
Publication:4282674
Recommendations
Cited in
(only showing first 100 items - show all)- Investigations on algorithmic questions of algebra
- Sign determination in residue number systems
- Notes on the complexity of exact view graph algorithms for piecewise smooth algebraic surfaces
- Gröbner bases of characteristic ideals of LRS over UFD
- A solution to Kronecker's problem
- Minimal involutive bases
- Equilibrium behavior in markets and games: Testable restrictions and identification.
- Testable restrictions on the equilibrium manifold under random preferences.
- Observable implications of equilibrium behavior on finite data.
- An effective decision method for semidefinite polynomials
- Computing triangular systems and regular systems
- Computer algebra and algebraic geometry -- achievements and perspectives
- Computing with quadratic forms over number fields
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces
- A deductive approach towards reasoning about algebraic transition systems
- Word problems in Elliott monoids
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
- Elimination theory in differential and difference algebra
- A new algorithm for symbolic integration with application
- Gröbner bases, invariant theory and equivariant dynamics
- Normal parametrizations of algebraic plane curves
- Parameter identifiability of nonlinear systems: The role of initial conditions.
- Alphabet operators and algorithms
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Deformation techniques for efficient polynomial equation solving.
- Determining the limits of bivariate rational functions by Sturm's theorem
- Solving the equality-constrained minimization problem of polynomial functions
- A proximal DC approach for quadratic assignment problem
- The second discriminant of a univariate polynomial
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
- A logic and computation for Popper's conditional probabilities
- Pegasus: sound continuous invariant generation
- An inexact proximal DC algorithm with sieving strategy for rank constrained least squares semidefinite programming
- Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity
- Facility location problems: a parameterized view
- Bifurcation analysis on a class of three-dimensional quadratic systems with twelve limit cycles
- A verified implementation of algebraic numbers in Isabelle/HOL
- Generic regular decompositions for generic zero-dimensional systems
- Center conditions in a switching Bautin system
- Subresultants in multiple roots: an extremal case
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
- Identification of focus and center in a 3-dimensional system
- Determination of the limits for multivariate rational functions
- Algebraic closure of a rational function
- Computing the asymptotes for a real plane algebraic curve
- Identification of Pareto-improving policies: Information as the real invisible hand
- Computations of multi-resultant with mechanization
- Strongly Noetherian rings and constructive ideal theory
- Quantifier elimination theory and maps which preserve semipositivity
- An incremental algorithm for computing cylindrical algebraic decompositions
- An algebraic approach to computations with progress
- Difference algebra
- scientific article; zbMATH DE number 3875525 (Why is no real title available?)
- Algebraic phase unwrapping along the real axis: extensions and stabilizations
- Decidability of univariate real algebra with predicates for rational and integer powers
- Real ideal and the duality of semidefinite programming for polynomial optimization
- Berlekamp Zassenhaus
- Perron Frobenius
- Algebraic Numbers
- An improved algorithm for deciding semi-definite polynomials
- Algorithms for computing triangular decomposition of polynomial systems
- scientific article; zbMATH DE number 1273691 (Why is no real title available?)
- Alcuni metodi computazionali in algebra
- Elliptic curves and Fibonacci numbers arising from Lindenmayer system with symbolic computation
- Algorithmic Thomas decomposition of algebraic and differential systems
- Classification of direct kinematics to planar generalized Stewart platforms
- Twelve Limit Cycles in 3D Quadratic Vector Fields with Z3 Symmetry
- On polynomial semantics for propositional logics
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
- scientific article; zbMATH DE number 1446863 (Why is no real title available?)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers
- Ascending chains of ideals in the polynomial ring
- Thomas decomposition and nonlinear control systems
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}
- Cylinders Through Five Points: Complex and Real Enumerative Geometry
- Globally optimizing small codes in real projective spaces
- A chain rule for subresultants
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
- New algorithms for the perspective-three-point problem
- On the links between triangular sets and dynamic constructible closure
- The testable implications of competitive equilibrium in economies with externalities
- Computing the topology of the image of a parametric planar curve under a birational transformation
- The invertibility of rational univariate representations
- scientific article; zbMATH DE number 7779293 (Why is no real title available?)
- Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals
- An algorithm for determining copositive matrices
- Difference algebra and system identification
- Is every nonsingular matrix diagonally equivalent to a matrix with all distinct eigenvalues?
- Pegasus: a framework for sound continuous invariant generation
- Decomposing the radicals of polynomial ideals by rational univariate representations
- Morse inequalities for ordered eigenvalues of generic self-adjoint families
- Complex matrix inversion via real matrix inversions
- Global attractor and its 1D and 2D structures of Beverton-Holt Ricker competition model
- Subresultants of several univariate polynomials in Newton basis
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading
- Irredundant decomposition of the radicals of polynomial ideals based on rational univariate representations
- Implicitization of 3D rational surfaces using iterated univariate resultants and avoiding extraneous factors
- Separability in Büchi VASS and singly nonlinear systems of inequalities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282674)
