The following pages link to (Q3714165):
Displaying 50 items.
- Decomposition of ordinary difference polynomials (Q840708) (← links)
- Computing generating sets of lattice ideals and Markov bases of lattices (Q840713) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point (Q907209) (← links)
- CAL: A theoretical background of constraint logic programming and its applications (Q908680) (← links)
- On radical zero-dimensional ideals (Q908690) (← links)
- Gröbner bases and invariant theory (Q909717) (← links)
- On the construction of Gröbner bases using syzygies (Q909718) (← links)
- On computing the intersection of a pair of algebraic surfaces (Q913442) (← links)
- On the computation of generalized standard bases (Q914763) (← links)
- An algorithm for the construction of matrix representations for finitely presented non-commutative algebras (Q914800) (← links)
- An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry (Q915799) (← links)
- Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm (Q915859) (← links)
- Generalised characteristic polynomials (Q916718) (← links)
- Computer classification of integrable coupled KdV-like systems (Q917316) (← links)
- A geometric consistency theorem for a symbolic perturbation scheme (Q918201) (← links)
- Kinematic analysis of linkages based on finite elements and the geometric stiffness matrix (Q933689) (← links)
- Looking for Gröbner basis theory for (almost) skew 2-nomial algebras. (Q987703) (← links)
- Counting positive solutions for polynomial systems with real coefficients (Q1004849) (← links)
- Forward displacement analysis of the general 6-6 Stewart mechanism using Gröbner bases (Q1032261) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- Three kinds of extraneous factors in Dixon resultants (Q1042868) (← links)
- Computer algebra application for classification of integrable non-linear evolution equations (Q1066018) (← links)
- An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations (Q1070778) (← links)
- Some examples for solving systems of algebraic equations by calculating Gröbner bases (Q1082037) (← links)
- On the theory of graded structures (Q1086630) (← links)
- 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)
- A note on output feedback stabilizability of multivariable 2D systems (Q1097858) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- Proving geometry theorems with rewrite rules (Q1101255) (← links)
- Small degree solutions for the polynomial Bezout equation (Q1101491) (← 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)
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain (Q1111629) (← links)
- Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE (Q1114194) (← links)
- An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras (Q1115179) (← links)
- Stability of Gröbner bases (Q1115488) (← links)
- Computing dimension and independent sets for polynomial ideals (Q1116332) (← links)
- A multi-level geometric reasoning system for vision (Q1116357) (← links)
- Algebraic decomposition of regular curves (Q1116997) (← links)
- Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods (Q1117275) (← links)
- Gröbner bases and primary decomposition of polynomial ideals (Q1117277) (← links)
- Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization (Q1118397) (← links)
- A p-adic approach to the computation of Gröbner bases (Q1118653) (← links)
- Analytic Bezout identities (Q1120699) (← links)
- Lifting canonical algorithms from a ring R to the ring R[x] (Q1121016) (← links)
