The following pages link to Bruno Buchberger (Q229598):
Displaying 50 items.
- Transforming problems from analysis to algebra: a case study in linear boundary problems (Q413404) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Using Gröbner bases for detecting polynomial identities: A case study on Fermat's ideal (Q1199983) (← links)
- Comments on the translation of my PhD thesis: ``An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal'' (Q2457344) (← links)
- 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) (← links)
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems (Q2544438) (← links)
- (Q2702494) (← links)
- (Q2751543) (← links)
- (Q2767913) (← links)
- (Q2767914) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Stam’s Identities Collection: A Case Study for Math Knowledge Bases (Q2819255) (← links)
- The GDML and EuKIM Projects: Short Report on the Initiative (Q2819256) (← links)
- (Q2847391) (← links)
- Soft Math Math Soft (Q2879089) (← links)
- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema (Q2879096) (← links)
- Groebner Bases in Theorema (Q2879150) (← links)
- (Q2902935) (← links)
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases (Q2912125) (← links)
- (Q3021905) (← links)
- An improved algorithmic construction of Gröbner-bases for polynomial ideals (Q3208083) (← links)
- (Q3208084) (← links)
- (Q3325832) (← links)
- (Q3336682) (← links)
- (Q3341887) (← links)
- (Q3416408) (← links)
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates (Q3454560) (← links)
- Mathematical Theory Exploration (Q3613395) (← links)
- A Symbolic Framework for Operations on Linear Boundary Problems (Q3644106) (← links)
- Algorithm 628 (Q3694691) (← links)
- (Q3714165) (← links)
- (Q3721811) (← links)
- (Q3745825) (← links)
- (Q3750117) (← links)
- (Q3789075) (← links)
- (Q3798767) (← links)
- (Q3798768) (← links)
- (Q3897991) (← links)
- A simplified proof of the characterization theorem for Gröbner-bases (Q3902472) (← links)
- (Q3911732) (← links)
- (Q3928206) (← links)
- (Q4026752) (← links)
- (Q4162643) (← links)
- INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS (Q4162665) (← links)
- (Q4179798) (← links)
- (Q4226993) (← links)
- (Q4357060) (← links)
- (Q4362892) (← links)
