The following pages link to (Q3952057):
Displaying 49 items.
- On the reduction of the normality conditions in equality-constrained optimization problems in mechanics (Q399245) (← links)
- New approaches to plactic monoid via Gröbner-Shirshov bases. (Q479745) (← links)
- Local algebraic analysis of differential systems (Q499414) (← links)
- Gröbner-Shirshov bases for Lie algebras over a commutative algebra (Q657976) (← links)
- An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography (Q733509) (← links)
- The complexity of almost linear diophantine problems (Q753494) (← links)
- Computing with groups and their character tables (Q755890) (← links)
- Integration of rational functions: Rational computation of the logarithmic part (Q757064) (← links)
- Implementing a computer algebra system in Haskell (Q990498) (← links)
- Identifiability and distinguishability testing via computer algebra (Q1063562) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- A cluster-based cylindrical algebraic decomposition algorithm (Q1105372) (← links)
- A canonical simplifier for trigonometric expressions in the kinematic equation (Q1114390) (← links)
- A polynomial-time algorithm for the topological type of real algebraic curve (Q1115496) (← links)
- Algebraic decomposition of regular curves (Q1116997) (← links)
- An extended polynomial GCD algorithm using Hankel matrices (Q1186699) (← links)
- A review of Mathematica (Q1198247) (← links)
- Comprehensive Gröbner bases (Q1199704) (← links)
- Rank of a Hankel matrix over \({\mathbb{Z}{}} [x_ 1,{\cdots{}},x_ r]\) (Q1205122) (← links)
- Notes on the complexity of exact view graph algorithms for piecewise smooth algebraic surfaces (Q1275661) (← links)
- Linear recurring sequences for computing the resultant of multivariate polynomials (Q1318402) (← links)
- Symbolic incidence geometry and finite linear spaces (Q1329353) (← links)
- Symbolic and numeric methods for exploiting structure in constructing resultant matrices (Q1600039) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- Combinatorial relaxation algorithm for the maximum degree of subdeterminants: Computing Smith-McMillan form at infinity and structural indices in Kronecker form (Q1894574) (← links)
- Polynomial computability of fields of algebraic numbers (Q1994088) (← links)
- Checking existence of solutions of partial differential equations in the fields of Laurent series (Q2017771) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Gröbner-Shirshov bases for some Lie algebras (Q2360276) (← links)
- Gröbner-Shirshov bases for semirings. (Q2438451) (← links)
- The predicates of the Apollonius diagram: algorithmic analysis and implementation (Q2575585) (← links)
- The Computational Complexity of the Resolution of Plane Curve Singularities (Q3203147) (← links)
- Cryptanalysis of the TRMS Signature Scheme of PKC’05 (Q3506376) (← links)
- Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects (Q3593087) (← links)
- Relative class number of imaginary Abelian fields of prime conductor below 10000 (Q4257701) (← links)
- Checking properties of polynomials (Q4571953) (← links)
- Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras (Q4588382) (← links)
- Some new results on Gröbner–Shirshov bases for Lie algebras and around (Q4611333) (← links)
- Gröbner–Shirshov bases for brace algebras (Q4689798) (← links)
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision (Q4995607) (← links)
- Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras (Q5124587) (← links)
- Gröbner–Shirshov bases and their calculation (Q5172855) (← links)
- Gröbner–Shirshov bases for commutative dialgebras (Q5231173) (← links)
- Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras (Q5376005) (← links)
- A new Composition-Diamond lemma for associative conformal algebras (Q5739063) (← links)
- New algorithms for the perspective-three-point problem (Q5942695) (← links)
- Structural analysis by generalized embedding method for integro-differential-algebraic equations (Q6659752) (← links)
