Pages that link to "Item:Q2457345"
From MaRDI portal
The following pages link to Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German (Q2457345):
Displaying 50 items.
- Random sampling in computational algebra: Helly numbers and violator spaces (Q277210) (← links)
- Estimating the number of tetrahedra determined by volume, circumradius and four face areas using Groebner basis (Q277227) (← links)
- Infinite orders and non-\(D\)-finite property of 3-dimensional lattice walks (Q311562) (← links)
- Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
- Cryptanalysis of HFE, multi-HFE and variants for odd and even characteristic (Q356715) (← links)
- Grade filtration of linear functional systems. (Q385589) (← links)
- Transforming problems from analysis to algebra: a case study in linear boundary problems (Q413404) (← links)
- On the relation between the MXL family of algorithms and Gröbner basis algorithms (Q414624) (← links)
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- An autocorrelation term method for curve fitting (Q469818) (← links)
- Delsarte method in the problem on kissing numbers in high-dimensional spaces (Q483413) (← links)
- Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow (Q484466) (← links)
- Resultants over commutative idempotent semirings. I: Algebraic aspect (Q507140) (← links)
- Computation of Jeffrey-Kirwan residues using Gröbner bases (Q507144) (← links)
- List decoding algorithm based on voting in Gröbner bases for general one-point AG codes (Q507148) (← links)
- Computation of isotopisms of algebras over finite fields by means of graph invariants (Q507895) (← links)
- Parametric FGLM algorithm (Q512366) (← links)
- Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory (Q513343) (← links)
- Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity (Q629349) (← links)
- Cyclotomic Hecke algebras of \(G(r,p,n)\). (Q630072) (← links)
- Triangularizing kinematic constraint equations using Gröbner bases for real-time dynamic simulation (Q632158) (← links)
- The F\(_{4}\)-algorithm for Euclidean rings (Q632251) (← links)
- An approach to solving systems of polynomials via modular arithmetics with applications (Q645703) (← links)
- A portable knowledge-based system for car breakdown evaluation (Q669782) (← links)
- A Gröbner-bases algorithm for the computation of the cohomology of Lie (super) algebras (Q691060) (← links)
- Pivoting in extended rings for computing approximate Gröbner bases (Q691644) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- Classification of asexual diploid organisms by means of strongly isotopic evolution algebras defined over any field (Q729755) (← links)
- An algebraic foundation for factoring linear boundary problems (Q731385) (← links)
- An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography (Q733509) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Noether normalization guided by monomial cone decompositions (Q840706) (← links)
- Letterplace ideals and non-commutative Gröbner bases. (Q840707) (← links)
- An algorithm for the construction of matrix representations for finitely presented non-commutative algebras (Q914800) (← 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)
- Parametrizing compactly supported orthonormal wavelets by discrete moments (Q945001) (← links)
- Estimating the number of limit cycles in polynomial systems (Q973978) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- A generalization of Castelnuovo-Mumford regularity for representations of noncommutative algebras. (Q994276) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Efficient computation of dual space and directional multiplicity of an isolated point (Q1634816) (← links)
- Gröbner bases and cocyclic Hadamard matrices (Q1635271) (← links)
- On evaluation codes coming from a tower of function fields (Q1635278) (← links)
- Some enumeration problems on central configurations at the bifurcation points (Q1653674) (← links)
- Resultant elimination via implicit equation interpolation (Q1691953) (← links)
- Solving a binary puzzle (Q1701670) (← links)
- A survey on signature-based algorithms for computing Gröbner bases (Q1711995) (← links)
