English
Related papers

Related papers: Groebner Bases for Everyone with CoCoA-5 and CoCoA…

200 papers

In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…

Commutative Algebra · Mathematics 2013-04-10 Stefan Steidel

This paper is a detailed description of an algorithm based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. The algorithm is used for calculating Feynman integrals…

High Energy Physics - Phenomenology · Physics 2009-11-11 A. V. Smirnov

This paper presents a conception for computing gr\"{o}bner basis. We convert some of gr\"{o}bner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem…

Symbolic Computation · Computer Science 2010-12-30 Lei Huang

The theory of Groebner Bases originated in the work of Buchberger and is now considered to be one of the most important and useful areas of symbolic computation. A great deal of effort has been put into improving Buchberger's algorithm for…

Rings and Algebras · Mathematics 2007-05-23 Gareth Alun Evans

This work studies gradient coding (GC) in the context of distributed training problems with unreliable communication. We propose cooperative GC (CoGC), a novel gradient-sharing-based GC framework that leverages cooperative communication…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-08 Shudi Weng , Ming Xiao , Chao Ren , Mikael Skoglund

Obtaining standardized crowdsourced benchmark of computational methods is a major issue in data science communities. Dedicated frameworks enabling fair benchmarking in a unified environment are yet to be developed. Here we introduce…

Machine Learning · Computer Science 2022-06-28 Zhen Xu , Sergio Escalera , Isabelle Guyon , Adrien Pavão , Magali Richard , Wei-Wei Tu , Quanming Yao , Huan Zhao

One of the main contributions which Volker Weispfenning made to mathematics is related to Groebner bases theory. In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational…

Symbolic Computation · Computer Science 2008-05-15 Jaime Gutierrez , David Sevilla

This paper presents an algorithm for computing Groebner bases based upon labeled polynomials and ideas from the algorithm F5. The main highlights of this algorithm compared with analogues are simplicity both of the algorithm and of the its…

Commutative Algebra · Mathematics 2012-05-29 Vasily Galkin

Research collaborations are continuously emerging catalyzed by online platforms, where people can share their codes, calculations, data and results. These virtual research platforms are innovative, community oriented, flexible and secure as…

In 2019, Kaveh and Manon introduced Khovanskii bases as a special 'Gr\"obner-like' generating system of an algebra. We extend their work by considering an arbitrary grading on the algebra and propose a definition for a 'homogeneous…

Commutative Algebra · Mathematics 2025-12-03 Johannes Schmitt

We propose a novel encoding scheme for algebraic codes such as codes on algebraic curves, multidimensional cyclic codes, and hyperbolic cascaded Reed-Solomon codes and present numerical examples. We employ the recurrence from the Gr\"obner…

Information Theory · Computer Science 2007-07-13 Hajime Matsui , Seiichi Mita

This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety. 1. A geometric introduction to Grobner bases. 2. An algebraic…

alg-geom · Mathematics 2015-06-30 Dave Bayer , David Mumford

As AI agents take on increasingly long-running tasks involving sophisticated planning and execution, there is a corresponding need for novel interaction designs that enable deeper human-agent collaboration. However, most prior works…

Human-Computer Interaction · Computer Science 2026-02-19 K. J. Kevin Feng , Kevin Pu , Matt Latzke , Tal August , Pao Siangliulue , Jonathan Bragg , Daniel S. Weld , Amy X. Zhang , Joseph Chee Chang

Distributed optimization methods for large-scale machine learning suffer from a communication bottleneck. It is difficult to reduce this bottleneck while still efficiently and accurately aggregating partial work from different machines. In…

Machine Learning · Computer Science 2015-07-06 Chenxin Ma , Virginia Smith , Martin Jaggi , Michael I. Jordan , Peter Richtárik , Martin Takáč

This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way…

Combinatorics · Mathematics 2019-07-03 Guadalupe Márquez-Campos , José M. Tornero

Assuming sufficiently many terms of a n-dimensional table defined over a field are given, we aim at guessing the linear recurrence relations with either constant or polynomial coefficients they satisfy. In many applications, the table terms…

Symbolic Computation · Computer Science 2021-11-19 Jérémy Berthomieu , Mohab Safey El Din

In this paper we consider systems of partial (multidimensional) linear difference equations. Specifically, such systems arise in scientific computing under discretization of linear partial differential equations and in computational high…

Symbolic Computation · Computer Science 2007-05-23 V. P. Gerdt

Gr\"obner bases are an important tool in computational algebra and, especially in cryptography, often serve as a boilerplate for solving systems of polynomial equations. Research regarding (efficient) algorithms for computing Gr\"obner…

Commutative Algebra · Mathematics 2022-08-02 Manuel Hauke , Lukas Lamster , Reinhard Lüftenegger , Christian Rechberger

We present a short description on how to fine-tune the modular algorithm implemented in the Giac computer algebra system to reconstruct huge Groebner basis over $\Q$.The classical cyclic10 benchmark will serve as example.

Symbolic Computation · Computer Science 2019-04-01 Bernard Parisse

Faithful generation in large language models (LLMs) is challenged by knowledge conflicts between parametric memory and external context. Existing contrastive decoding methods tuned specifically to handle conflict often lack adaptability and…

Computation and Language · Computer Science 2025-08-28 Anant Khandelwal , Manish Gupta , Puneet Agrawal