Pages that link to "Item:Q2544438"
From MaRDI portal
The following pages link to Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems (Q2544438):
Displaying 50 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Transforming problems from analysis to algebra: a case study in linear boundary problems (Q413404) (← links)
- New approaches to plactic monoid via Gröbner-Shirshov bases. (Q479745) (← links)
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (Q479803) (← links)
- Finite groups of Lie type as Galois groups over \(\mathbb{F}_p(t)\) (Q485965) (← links)
- Parametric FGLM algorithm (Q512366) (← links)
- On the homological dimensions of Leavitt path algebras with coefficients in commutative rings (Q527783) (← links)
- An improved semidefinite programming hierarchy for testing entanglement (Q529619) (← links)
- Gröbner-Shirshov bases of some monoids. (Q536241) (← links)
- Gröbner-Shirshov bases for Rota-Baxter algebras. (Q542177) (← links)
- Ideal intersections in rings of partial differential operators (Q544141) (← links)
- Extension of the Berlekamp-Massey algorithm to N dimensions (Q583882) (← links)
- Model checking in the modal \(\mu \)-calculus and generic solutions (Q633088) (← links)
- Gröbner-Shirshov bases for Lie algebras over a commutative algebra (Q657976) (← links)
- A spectral theory for tensors (Q661140) (← links)
- Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules (Q676765) (← links)
- Transforming differential equations of multi-loop Feynman integrals into canonical form (Q680599) (← links)
- An algebraic foundation for factoring linear boundary problems (Q731385) (← links)
- On the decoding of binary cyclic codes with the Newton identities (Q733502) (← links)
- An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography (Q733509) (← links)
- Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields (Q752692) (← links)
- On the Noetherianity of some associative finitely presented algebras (Q757557) (← links)
- Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures (Q780363) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- The reduction ring property is hereditary (Q809150) (← links)
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems (Q831995) (← links)
- Letterplace ideals and non-commutative Gröbner bases. (Q840707) (← links)
- The big mother of all dualities. 2: Macaulay bases (Q857881) (← links)
- On radical zero-dimensional ideals (Q908690) (← links)
- Gröbner bases and invariant theory (Q909717) (← links)
- Combinatorial dimension theory of algebraic varieties (Q911659) (← links)
- Word problems over traces which are solvable in linear time (Q914395) (← links)
- Stability and Buchberger criterion for standard bases in power series rings (Q919417) (← links)
- Standard bases and some computations in rings of power series (Q921065) (← links)
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras (Q928767) (← links)
- Universally defined representations of Lie conformal superalgebras (Q932796) (← links)
- Linearizability conditions of time-reversible quartic systems having homogeneous nonlinearities (Q938715) (← links)
- Parametrizing compactly supported orthonormal wavelets by discrete moments (Q945001) (← links)
- Gröbner-Shirshov basis of the Adyan extension of the Novikov group. (Q947815) (← links)
- Composition-diamond lemma for tensor product of free algebras. (Q974391) (← links)
- Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. (Q1012560) (← links)
- Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras. (Q1035672) (← links)
- Anti-commutative Gröbner-Shirshov basis of a free Lie algebra. (Q1042871) (← links)
- Linearizability conditions of time-reversible cubic systems (Q1043521) (← links)
- On constructing bases for ideals in polynomial rings over the integers (Q1052408) (← links)
- Identifiability and distinguishability testing via computer algebra (Q1063562) (← links)
- Some examples for solving systems of algebraic equations by calculating Gröbner bases (Q1082037) (← links)
- On the theory of graded structures (Q1086630) (← links)
