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.
- New constructive methods in classical ideal theory (Q1090369) (← links)
- Constructing universal unfoldings using Gröbner bases (Q1094134) (← links)
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- Using Gröbner bases to reason about geometry problems (Q1094150) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- Normal Rees algebras (Q1100518) (← links)
- Proving geometry theorems with rewrite rules (Q1101255) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array (Q1104749) (← links)
- Solving systems of algebraic equations by a general elimination method (Q1104981) (← links)
- A generalization of reduction rings (Q1109083) (← links)
- On recognisable properties of associative algebras (Q1115181) (← links)
- A multi-level geometric reasoning system for vision (Q1116357) (← links)
- Gröbner bases and primary decomposition of polynomial ideals (Q1117277) (← links)
- The Gröbner fan of an ideal (Q1117983) (← links)
- Lifting canonical algorithms from a ring R to the ring R[x] (Q1121016) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- The membership problem for unmixed polynomial ideals is solvable in single exponential time (Q1180154) (← links)
- A new method for solving algebraic systems of positive dimension (Q1180160) (← links)
- Computing combinatorial decompositions of rings (Q1180429) (← links)
- Application of ordered standard bases to catastrophe theory (Q1186706) (← links)
- A new notion of reduction: Generating universal Gröbner bases of ideals in \(K[x,y]\) (Q1186721) (← links)
- Solutions of systems of algebraic equations and linear maps on residue class rings (Q1201351) (← links)
- Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen (Q1256518) (← links)
- Standard bases, critical tropisms and flatness (Q1261197) (← links)
- On the Knuth-Bendix completion for concurrent processes (Q1262753) (← links)
- Runge-Kutta methods for quadratic ordinary differential equations (Q1267024) (← links)
- On infinite Gröbner bases in free algebras (Q1279721) (← links)
- A new efficient algorithm for computing Gröbner bases \((F_4)\) (Q1295781) (← links)
- Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras (Q1305008) (← links)
- On Gröbner bases under specialization (Q1311607) (← links)
- Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients (Q1343501) (← links)
- An algorithm of computing \(b\)-functions (Q1355292) (← links)
- Bernstein inequalities and applications to analytic geometry and differential equations (Q1355463) (← links)
- Gotzmann theorems for exterior algebras and combinatorics (Q1357556) (← links)
- Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial (Q1358926) (← links)
- Polar varieties, real equation solving, and data structures: the hypersurface case (Q1361872) (← links)
- Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety (Q1362574) (← links)
- Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules (Q1364324) (← links)
- Ladder determinantal rings have rational singularities (Q1378457) (← links)
- Ritt's algorithm, Gröbner basis and discretization (Q1381803) (← links)
- On the walk (Q1389631) (← links)
- Composition-diamond lemma for associative conformal algebras. (Q1427371) (← links)
- Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey (Q1581129) (← links)
- Computer algebra and algebraic geometry -- achievements and perspectives (Q1587227) (← links)
- Computing ideals of points (Q1588025) (← links)
- Computing Gröbner bases by FGLM techniques in a non-commutative setting (Q1588032) (← links)
- Multivariate Hermite interpolation by algebraic polynomials: A survey (Q1590782) (← links)
- Adaptive integrand decomposition in parallel and orthogonal space (Q1639118) (← links)
- A topological view on algebraic computation models (Q1679677) (← links)
