Johnson, Jeremiah W. Weight ideals associated to regular and log-linear arrays. (English) Zbl 1325.16040 J. Symb. Comput. 67, 1-15 (2015). MSC: 16Z05 68W30 16S10 PDFBibTeX XMLCite \textit{J. W. Johnson}, J. Symb. Comput. 67, 1--15 (2015; Zbl 1325.16040) Full Text: DOI arXiv
Guo, Li; Sit, William Y.; Zhang, Ronghua Differential type operators and Gröbner-Shirshov bases. (English) Zbl 1290.16021 J. Symb. Comput. 52, 97-123 (2013). MSC: 16S32 16R50 16T30 05E15 16S10 68R15 16Z05 68Q42 PDFBibTeX XMLCite \textit{L. Guo} et al., J. Symb. Comput. 52, 97--123 (2013; Zbl 1290.16021) Full Text: DOI arXiv
La Scala, Roberto; Levandovskyy, Viktor Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. (English) Zbl 1272.16026 J. Symb. Comput. 48, 110-131 (2013). Reviewer: Leonid A. Bokut’ (Novosibirsk) MSC: 16S10 16Z05 13P10 16D25 16S36 16W50 68W30 PDFBibTeX XMLCite \textit{R. La Scala} and \textit{V. Levandovskyy}, J. Symb. Comput. 48, 110--131 (2013; Zbl 1272.16026) Full Text: DOI arXiv
Schulz, Christoph; Löwe, Michael; König, Harald A categorical framework for the transformation of object-oriented systems: models and data. (English) Zbl 1211.68259 J. Symb. Comput. 46, No. 3, 316-337 (2011). MSC: 68Q65 18A40 68P01 68Q60 PDFBibTeX XMLCite \textit{C. Schulz} et al., J. Symb. Comput. 46, No. 3, 316--337 (2011; Zbl 1211.68259) Full Text: DOI
Casas, José Manuel; Insua, Manuel A.; Ladra, Manuel Poincaré-Birkhoff-Witt theorem for Leibniz \(n\)-algebras. (English) Zbl 1131.17001 J. Symb. Comput. 42, No. 11-12, 1052-1065 (2007). Reviewer: Vesselin Drensky (Sofia) MSC: 17A32 17A42 17-08 16Z05 PDFBibTeX XMLCite \textit{J. M. Casas} et al., J. Symb. Comput. 42, No. 11--12, 1052--1065 (2007; Zbl 1131.17001) Full Text: DOI
Diaz-Toca, Gema M. Galois theory, splitting fields and computer algebra. (English) Zbl 1158.12004 J. Symb. Comput. 41, No. 11, 1174-1186 (2006). MSC: 12F10 12Y05 PDFBibTeX XMLCite \textit{G. M. Diaz-Toca}, J. Symb. Comput. 41, No. 11, 1174--1186 (2006; Zbl 1158.12004) Full Text: DOI
Drensky, Vesselin; La Scala, Roberto Gröbner bases of ideals invariant under endomorphisms. (English) Zbl 1125.16012 J. Symb. Comput. 41, No. 7, 835-846 (2006). MSC: 16S10 17B35 16R10 16D25 13P10 16Z05 PDFBibTeX XMLCite \textit{V. Drensky} and \textit{R. La Scala}, J. Symb. Comput. 41, No. 7, 835--846 (2006; Zbl 1125.16012) Full Text: DOI arXiv
García Román, Manuel; García Román, Socorro Gröbner bases and syzygies on bimodules over PBW algebras. (English) Zbl 1126.16014 J. Symb. Comput. 40, No. 3, 1039-1052 (2005). MSC: 16S30 17B35 16Z05 16E05 16S32 13P10 PDFBibTeX XMLCite \textit{M. García Román} and \textit{S. García Román}, J. Symb. Comput. 40, No. 3, 1039--1052 (2005; Zbl 1126.16014) Full Text: DOI
Sofronie-Stokkermans, Viorica Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. (English) Zbl 1043.03013 J. Symb. Comput. 36, No. 6, 891-924 (2003). MSC: 03B35 03B25 06D20 PDFBibTeX XMLCite \textit{V. Sofronie-Stokkermans}, J. Symb. Comput. 36, No. 6, 891--924 (2003; Zbl 1043.03013) Full Text: DOI
Månsson, Jonas; Nordbeck, Patrik Regular Gröbner bases. (English) Zbl 1011.16017 J. Symb. Comput. 33, No. 2, 163-181 (2002). Reviewer: F.J.Lobillo (Granada) MSC: 16S15 16Z05 68W30 16S10 PDFBibTeX XMLCite \textit{J. Månsson} and \textit{P. Nordbeck}, J. Symb. Comput. 33, No. 2, 163--181 (2002; Zbl 1011.16017) Full Text: DOI Link
Jara, P.; Jódar, J. \(\mathcal U_q(\operatorname{sl}(2))\) satisfies a Bernstein duality. (English) Zbl 1017.17014 J. Symb. Comput. 32, No. 6, 687-698 (2001). Reviewer: Victor Petrogradsky (Ulyanovsk) MSC: 17B37 17B35 16W35 17B10 PDFBibTeX XMLCite \textit{P. Jara} and \textit{J. Jódar}, J. Symb. Comput. 32, No. 6, 687--698 (2001; Zbl 1017.17014) Full Text: DOI
Couveignes, Jean-Marc Boundary of Hurwitz spaces and explicit patching. (English) Zbl 0973.12004 J. Symb. Comput. 30, No. 6, 739-759 (2000). Reviewer: Michael Dettweiler (Heidelberg) MSC: 12F12 14H30 11G99 14H10 14G32 14Q05 PDFBibTeX XMLCite \textit{J.-M. Couveignes}, J. Symb. Comput. 30, No. 6, 739--759 (2000; Zbl 0973.12004) Full Text: DOI
Borges-Trenard, M. A.; Borges-Quintana, M.; Mora, T. Computing Gröbner bases by FGLM techniques in a non-commutative setting. (English) Zbl 0996.16033 J. Symb. Comput. 30, No. 4, 429-449 (2000). MSC: 16Z05 68W30 13P10 16D25 16S10 16S36 PDFBibTeX XMLCite \textit{M. A. Borges-Trenard} et al., J. Symb. Comput. 30, No. 4, 429--449 (2000; Zbl 0996.16033) Full Text: DOI Link
Brown, Ronald; Heyworth, Anne Using rewriting systems to compute left Kan extensions and induced actions of categories. (English) Zbl 0941.18005 J. Symb. Comput. 29, No. 1, 5-31 (2000). MSC: 18A40 68Q42 18-04 PDFBibTeX XMLCite \textit{R. Brown} and \textit{A. Heyworth}, J. Symb. Comput. 29, No. 1, 5--31 (2000; Zbl 0941.18005) Full Text: DOI arXiv
Baader, Franz; Schulz, Klaus U. Unification in the union of disjoint equational theories: Combining decision procedures. (English) Zbl 0851.68055 J. Symb. Comput. 21, No. 2, 211-243 (1996). MSC: 68V15 03B35 03C05 PDFBibTeX XMLCite \textit{F. Baader} and \textit{K. U. Schulz}, J. Symb. Comput. 21, No. 2, 211--243 (1996; Zbl 0851.68055) Full Text: DOI Link
Carmody, S.; Leeming, M.; Walters, R. F. C. The Todd-Coxeter procedure and left Kan extensions. (English) Zbl 0838.18002 J. Symb. Comput. 19, No. 5, 459-488 (1995). Reviewer: N.Bergeron (North York) MSC: 18A40 18B20 68W30 18-04 20B40 PDFBibTeX XMLCite \textit{S. Carmody} et al., J. Symb. Comput. 19, No. 5, 459--488 (1995; Zbl 0838.18002) Full Text: DOI
Larsen, Kim S.; Schwartzbach, Michael I. Injectivity of composite functions. (English) Zbl 0805.68074 J. Symb. Comput. 17, No. 5, 393-408 (1994). MSC: 68W30 03E20 68Q25 68P10 68Q65 08A70 68T15 PDFBibTeX XMLCite \textit{K. S. Larsen} and \textit{M. I. Schwartzbach}, J. Symb. Comput. 17, No. 5, 393--408 (1994; Zbl 0805.68074) Full Text: DOI
Takayama, Yukihide \(QPC_ 2\): A constructive calculus with parameterized specifications. (English) Zbl 0804.68085 J. Symb. Comput. 15, No. 5-6, 641-672 (1993). MSC: 68Q60 68Q65 68N17 03F35 03F50 68T15 PDFBibTeX XMLCite \textit{Y. Takayama}, J. Symb. Comput. 15, No. 5--6, 641--672 (1993; Zbl 0804.68085) Full Text: DOI
Freese, Ralph; Ježek, J.; Nation, J. B. Term rewrite systems for lattice theory. (English) Zbl 0790.06008 J. Symb. Comput. 16, No. 3, 279-288 (1993). MSC: 06B99 68Q42 03C05 PDFBibTeX XMLCite \textit{R. Freese} et al., J. Symb. Comput. 16, No. 3, 279--288 (1993; Zbl 0790.06008) Full Text: DOI Link
McNulty, George F. A field guide to equational logic. (English) Zbl 0781.03011 J. Symb. Comput. 14, No. 4, 371-397 (1992). Reviewer: S.Oates-Williams (St.Lucia) MSC: 03C05 08B05 03-01 08-01 03B25 68Q42 68W30 PDFBibTeX XMLCite \textit{G. F. McNulty}, J. Symb. Comput. 14, No. 4, 371--397 (1992; Zbl 0781.03011) Full Text: DOI
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao Automating inductionless induction using test sets. (English) Zbl 0724.68079 J. Symb. Comput. 11, No. 1-2, 83-111 (1991). MSC: 68T15 03C05 68Q42 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 11, No. 1--2, 83--111 (1991; Zbl 0724.68079) Full Text: DOI
Ganzinger, Harald A completion procedure for conditional equations. (English) Zbl 0724.68053 J. Symb. Comput. 11, No. 1-2, 51-81 (1991). MSC: 68Q42 03C05 PDFBibTeX XMLCite \textit{H. Ganzinger}, J. Symb. Comput. 11, No. 1--2, 51--81 (1991; Zbl 0724.68053) Full Text: DOI
Nipkow, Tobias Combining matching algorithms: The regular case. (English) Zbl 0767.68069 J. Symb. Comput. 12, No. 6, 633-653 (1991). MSC: 68W30 03C05 PDFBibTeX XMLCite \textit{T. Nipkow}, J. Symb. Comput. 12, No. 6, 633--653 (1991; Zbl 0767.68069) Full Text: DOI
Kandri-Rody, A.; Weispfenning, Volker Non-commutative Gröbner bases in algebras of solvable type. (English) Zbl 0715.16010 J. Symb. Comput. 9, No. 1, 1-26 (1990). Reviewer: D.Krob MSC: 16S36 68W30 13P10 16S32 16S10 16-04 03D40 PDFBibTeX XMLCite \textit{A. Kandri-Rody} and \textit{V. Weispfenning}, J. Symb. Comput. 9, No. 1, 1--26 (1990; Zbl 0715.16010) Full Text: DOI
Schmidt-Schauß, Manfred Unification in a combination of arbitrary disjoint equational theories. (English) Zbl 0691.03003 J. Symb. Comput. 8, No. 1-2, 51-99 (1989). Reviewer: C.Masalagiu MSC: 03B35 03C05 08B05 PDFBibTeX XMLCite \textit{M. Schmidt-Schauß}, J. Symb. Comput. 8, No. 1--2, 51--99 (1989; Zbl 0691.03003) Full Text: DOI
Schmidt-Schauss, Manfred Unification in permutative equational theories is undecidable. (English) Zbl 0684.03019 J. Symb. Comput. 8, No. 4, 415-421 (1989). MSC: 03D35 03C05 68Q65 03D10 68Q05 PDFBibTeX XMLCite \textit{M. Schmidt-Schauss}, J. Symb. Comput. 8, No. 4, 415--421 (1989; Zbl 0684.03019) Full Text: DOI
Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauss, Manfred On equational theories, unification, and (un)decidability. (English) Zbl 0684.03004 J. Symb. Comput. 8, No. 1-2, 3-49 (1989). Reviewer: H.-J.Bürckert MSC: 03B35 03C05 03B25 PDFBibTeX XMLCite \textit{H.-J. Bürckert} et al., J. Symb. Comput. 8, No. 1--2, 3--49 (1989; Zbl 0684.03004) Full Text: DOI
Armbruster, D.; Kredel, H. Constructing universal unfoldings using Gröbner bases. (English) Zbl 0629.68039 J. Symb. Comput. 2, 383-388 (1986). MSC: 68W30 58C25 58K99 57R45 13F20 PDFBibTeX XMLCite \textit{D. Armbruster} and \textit{H. Kredel}, J. Symb. Comput. 2, 383--388 (1986; Zbl 0629.68039) Full Text: DOI
Paul, Etienne Equational methods in first order predicate calculus. (English) Zbl 0577.03003 J. Symb. Comput. 1, 7-29 (1985). Reviewer: H.P.Schmitt MSC: 03B35 03C05 68T15 03B20 PDFBibTeX XMLCite \textit{E. Paul}, J. Symb. Comput. 1, 7--29 (1985; Zbl 0577.03003) Full Text: DOI