×

Found 163 Documents (Results 1–100)

Newest Citations Relevance
Kreuzer, Martin; Xiu, Xingqiang

Noncommutative Gebauer-Möller criteria. (English) Zbl 1460.16029

Baginski, Paul (ed.) et al., Elementary theory of groups and group rings, and related topics. Proceedings of the conference held at Fairfield University and at the Graduate Center, CUNY, New York, NY, USA, November 1–2, 2018. Berlin: De Gruyter. De Gruyter Proc. Math., 149-176 (2020).
MSC:  16S36 16Z05
PDF BibTeX XML Cite
\textit{M. Kreuzer} and \textit{X. Xiu}, in: Elementary theory of groups and group rings, and related topics. Proceedings of the conference held at Fairfield University and at the Graduate Center, CUNY, New York, NY, USA, November 1--2, 2018. Berlin: De Gruyter. 149--176 (2020; Zbl 1460.16029)
Full Text: DOI arXiv
Geil, Olav; Özbudak, Ferruh

Bounding the minimum distance of affine variety codes using symbolic computations of footprints. (English) Zbl 1429.94104

Barbero, Ángela I. (ed.) et al., Coding theory and applications. 5th international castle meeting, ICMCTA 2017, Vihula, Estonia, August 28–31, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10495, 128-138 (2017).
MSC:  94B25
PDF BibTeX XML Cite
\textit{O. Geil} and \textit{F. Özbudak}, Lect. Notes Comput. Sci. 10495, 128--138 (2017; Zbl 1429.94104)
Full Text: DOI
Mora, Teo

Solving polynomial equation systems. Vol. IV. Buchberger theory and beyond. (English) Zbl 1362.12001

Encyclopedia of Mathematics and its Applications 158. Cambridge: Cambridge University Press (ISBN 978-1-107-10963-6/hbk; 978-1-316-27190-2/ebook). xi, 820 p. (2016).
Reviewer: Amir Hashemi (Isfahan)
MSC:  12-02 12Y05 13Pxx 14Qxx 68W30
PDF BibTeX XML Cite
\textit{T. Mora}, Solving polynomial equation systems. Vol. IV. Buchberger theory and beyond. Cambridge: Cambridge University Press (2016; Zbl 1362.12001)
Full Text: DOI
Maletzky, Alexander; Buchberger, Bruno

Complexity analysis of the bivariate Buchberger algorithm in Theorema. (English) Zbl 1403.68228

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 41-48 (2014).
MSC:  68T15 13P10 68W30
PDF BibTeX XML Cite
\textit{A. Maletzky} and \textit{B. Buchberger}, Lect. Notes Comput. Sci. 8592, 41--48 (2014; Zbl 1403.68228)
Full Text: DOI
Dotsenko, Vladimir; Johansson, Mikael Vejdemo

Implementing Gröbner bases for operads. (English) Zbl 1277.68301

Loday, Jean-Louis (ed.) et al., Operads 2009. Proceedings of the school and conference, Luminy, France, April 20–30, 2009. Paris: Société Mathématique de France (ISBN 978-2-85629-363-8/pbk). Séminaires et Congrès 26, 77-98 (2011).
MSC:  68W30 16S15 18D50 68N18
PDF BibTeX XML Cite
\textit{V. Dotsenko} and \textit{M. V. Johansson}, Sémin. Congr. 26, 77--98 (2011; Zbl 1277.68301)
Full Text: arXiv
Gao, Shuhong; Guan, Yinhua; Volny, Frank

A new incremental algorithm for computing Groebner bases. (English) Zbl 1321.68531

Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 13-19 (2010).
MSC:  68W30 13P10
PDF BibTeX XML Cite
\textit{S. Gao} et al., in: Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM). 13--19 (2010; Zbl 1321.68531)
Full Text: DOI
Abbott, J.

The design of CoCoALib. (English) Zbl 1230.13001

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 205-215 (2006).
MSC:  13-04 13P10 68W30
PDF BibTeX XML Cite
\textit{J. Abbott}, Lect. Notes Comput. Sci. 4151, 205--215 (2006; Zbl 1230.13001)
Full Text: DOI
Noro, Masayuki

An efficient implementation for computing Gröbner bases over algebraic number fields. (English) Zbl 1230.13027

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 99-109 (2006).
MSC:  13P10 68W30
PDF BibTeX XML Cite
\textit{M. Noro}, Lect. Notes Comput. Sci. 4151, 99--109 (2006; Zbl 1230.13027)
Full Text: DOI
Saccomani, Mariapia; Audoly, Stefania; Bellu, Giuseppina; D’Angiò, Leontina

Parameter identifiability of nonlinear biological systems. (English) Zbl 1070.93016

Benvenuti, Luca (ed.) et al., Positive systems. Proceedings of the first multidisciplinary international symposium on positive systems: Theory and applications (POSTA 2003), Rome, Italy, August 28–30, 2003. Berlin: Springer (ISBN 3-540-40342-6/pbk). Lecture Notes in Control and Information Sciences 294, 87-93 (2003).
Reviewer: A. Šwierniak (Gliwice)
MSC:  93B30 93C10 92C45 17B05 17B80 65H10 93B03
PDF BibTeX XML Cite
\textit{M. Saccomani} et al., Lect. Notes Control Inf. Sci. 294, 87--93 (2003; Zbl 1070.93016)
Kreuzer, Martin; Robbiano, Lorenzo

Basic tools for computing in multigraded rings. (English) Zbl 1048.13019

Herzog, Jürgen (ed.) et al., Commutative algebra, singularities and computer algebra. Proceedings of the NATO advanced research workshop, Sinaia, Romania, September 17–22, 2002. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1486-4/hbk; 1-4020-1487-2/pbk). NATO Sci. Ser. II, Math. Phys. Chem. 115, 197-216 (2003).
Reviewer: Gregor Kemper (Garching)
MSC:  13P10 13A02 68W30
PDF BibTeX XML Cite
\textit{M. Kreuzer} and \textit{L. Robbiano}, NATO Sci. Ser. II, Math. Phys. Chem. 115, 197--216 (2003; Zbl 1048.13019)
Caboara, Massimo; Kreuzer, Martin; Robbiano, Lorenzo

Minimal sets of critical pairs. (English) Zbl 1057.68136

Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17–19, 2002. Singapore: World Scientific (ISBN 981-238-048-5). 390-404 (2002).
MSC:  68W30 13P10
PDF BibTeX XML Cite
\textit{M. Caboara} et al., in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 390--404 (2002; Zbl 1057.68136)
Full Text: arXiv
Heyworth, Anne

Rewriting as a special case of non-commutative Gröbner basis theory. (English) Zbl 0996.16034

Atkinson, Michael (ed.) et al., Computational and geometric aspects of modern algebra. Proceedings of the workshop, Edinburgh, UK, July 23-31, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 275, 101-105 (2000).
MSC:  16Z05 16S10 16S36 68Q42 13P10 20M05 68W30
PDF BibTeX XML Cite
\textit{A. Heyworth}, Lond. Math. Soc. Lect. Note Ser. 275, 101--105 (2000; Zbl 0996.16034)
Full Text: arXiv
Bachmann, Olaf; Schönemann, Hans

Monomial representations of Gröbner bases computations. (English) Zbl 0924.68104

Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 309-316 (1998).
Reviewer: G.Pfister (Kaiserslautern)
MSC:  68W30 13P10
PDF BibTeX XML Cite
\textit{O. Bachmann} and \textit{H. Schönemann}, in: Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC '98, Rostock, Germany, August 13--15, 1998. New York, NY: ACM Press. 309--316 (1998; Zbl 0924.68104)
Buchberger, Bruno

An algorithmic criterion for the solvability of a system of algebraic equations. (English) Zbl 0906.13007

Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 535-545 (1998).
Reviewer: V.Trevisan (Porto Alegre)
MSC:  13P10 68W30 12E12 12Y05 13F20
PDF BibTeX XML Cite
\textit{B. Buchberger}, Lond. Math. Soc. Lect. Note Ser. 251, 535--545 (1998; Zbl 0906.13007)
Mora, Ferdinando

On the gags of Gröbner bases. I: Eagon, Northcott, Gröbner. (De nugis Groebnerialium. I: Eagon, Northcott, Gröbner.) (English) Zbl 0933.13013

Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 434-447 (1998).
Reviewer: A.Logar (Trieste)
MSC:  13P10 01A60 68W10
PDF BibTeX XML Cite
\textit{F. Mora}, Lond. Math. Soc. Lect. Note Ser. 251, 434--447 (1998; Zbl 0933.13013)
Lombardi, Henri; Perdry, Hervé

The Buchberger algorithm as a tool for ideal theory of polynomial rings in constructive mathematics. (English) Zbl 0926.13016

Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 393-407 (1998).
Reviewer: Emanuela De Negri (Genova)
MSC:  13P10 13F20
PDF BibTeX XML Cite
\textit{H. Lombardi} and \textit{H. Perdry}, Lond. Math. Soc. Lect. Note Ser. 251, 393--407 (1998; Zbl 0926.13016)
Sturmfels, Bernd; Takayama, Nobuki

Gröbner bases and hypergeometric functions. (English) Zbl 0918.33004

Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 246-258 (1998).
Reviewer: G.Zet (Iaşi)
MSC:  33C20 68W30 13P10
PDF BibTeX XML Cite
\textit{B. Sturmfels} and \textit{N. Takayama}, Lond. Math. Soc. Lect. Note Ser. 251, 246--258 (1998; Zbl 0918.33004)
Noro, Masayuki; McKay, John

Computation of replicable functions on Risa/Asir. (English) Zbl 0919.11089

Hitz, Markus (ed.) et al., Second international symposium on parallel symbolic computation, PASCO ’97, Maui, HI, USA, July 20–22, 1997. New York, NY: ACM Press. 130-138 (1997).
MSC:  11Y35 11F22 20D08 13P10
PDF BibTeX XML Cite
\textit{M. Noro} and \textit{J. McKay}, in: Second international symposium on parallel symbolic computation, PASCO '97, Maui, HI, USA, July 20--22, 1997. New York, NY: ACM Press. 130--138 (1997; Zbl 0919.11089)

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software