Search results
From MaRDI portal
- reducibility and inductively complete positions 2022-12-09 Paper Simulating Buchberger's algorithm by Knuth-Bendix completion 2022-12-09 Paper Applying term rewriting...10 bytes (16 words) - 13:15, 24 September 2023
- Publication Date of Publication Type A parallel implementation of Buchberger's algorithm over \(\mathbb{Z}_p\) for \(p\leq 31991\) 2000-06-27 Paper https://portal...10 bytes (19 words) - 11:07, 12 December 2023
- generalization of reduction rings 1987-01-01 Paper On the application of Buchberger's algorithm to automated geometry theorem proving 1986-01-01 Paper...10 bytes (16 words) - 16:11, 12 December 2023
- Publication Date of Publication Type On an installation of Buchberger's algorithm 1988-01-01 Paper...10 bytes (16 words) - 10:36, 24 September 2023
- Publication Date of Publication Type Buchberger's Algorithm and the Two-Locus, Two-Allele Model 2007-09-07 Paper Constructing Loops From Groups 1981-01-01...10 bytes (21 words) - 23:15, 12 December 2023
- Publication Date of Publication Type An extension of buchberger's algorithm to compute all reduced gröbner bases of a polynomial ideal 2011-04-16 Paper...10 bytes (18 words) - 02:22, 28 December 2023
- Publication Date of Publication Type Relative reduction and Buchberger's algorithm in filtered free modules 2018-02-27 Paper Computation of Dimension in...10 bytes (16 words) - 18:24, 24 September 2023
- Type On Buchberger's method of solving systems of algebraic equations 2015-02-20 Paper On improving approximate results of Buchberger's algorithm by Newton's...10 bytes (16 words) - 11:48, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q3999788 1992-09-17 Paper An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras 1988-01-01...10 bytes (16 words) - 09:53, 13 December 2023
- 2018-08-13 Paper A verified common lisp implementation of Buchberger's algorithm in ACL2 2009-11-06 Paper Artificial Intelligence and Symbolic Computation 2005-08-19...10 bytes (18 words) - 21:18, 22 September 2023
- Publication Type Learning a performance metric of Buchberger's algorithm 2023-07-19 Paper An algorithm for enumerating difference sets 2019-09-25 Paper...10 bytes (16 words) - 02:29, 7 October 2023
- mardi4nfdi.de/entity/Q4011813 1992-09-27 Paper On the application of Buchberger's algorithm to automated geometry theorem proving 1986-01-01 Paper https://portal...10 bytes (17 words) - 09:44, 24 September 2023
- de/entity/Q3408130 2010-02-24 Paper A verified common lisp implementation of Buchberger's algorithm in ACL2 2009-11-06 Paper ACL2 Verification of Simplicial Degeneracy...10 bytes (20 words) - 00:42, 12 December 2023
- nodes 2018-08-13 Paper A verified common lisp implementation of Buchberger's algorithm in ACL2 2009-11-06 Paper Artificial Intelligence and Symbolic Computation...10 bytes (19 words) - 21:19, 22 September 2023
- de/entity/Q4425667 2003-09-11 Paper Continuously parameterized symmetries and Buchberger's algorithm 2002-06-11 Paper...10 bytes (16 words) - 16:12, 24 September 2023
- with Weighted Translations 2019-03-14 Paper Relative reduction and Buchberger's algorithm in filtered free modules 2018-02-27 Paper Difference dimension quasi-polynomials...10 bytes (18 words) - 17:26, 9 December 2023
- Markov chains 2023-10-11 Paper Learning a performance metric of Buchberger's algorithm 2023-07-19 Paper Threaded Gröbner bases: a Macaulay2 package 2022-05-12...10 bytes (17 words) - 03:52, 10 December 2023
- Gröbner bases using syzygies 1988-01-01 Paper On an installation of Buchberger's algorithm 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4725605 1987-01-01...10 bytes (18 words) - 11:28, 9 December 2023
- aberration. II. Helmholtz wave optics 1989-01-01 Paper An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras 1988-01-01...10 bytes (16 words) - 10:26, 24 September 2023
- and parametrization 1994-02-22 Paper A MIMD implementation of the Buchberger algorithm for Boolean polynomials 1991-01-01 Paper Computer algebra on MIMD...10 bytes (16 words) - 22:04, 12 December 2023
