Matrix-F5 algorithms and tropical Gröbner bases computation (Q1635284): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(6 intermediate revisions by 5 users not shown)
aliases / en / 0aliases / en / 0
 
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation
description / endescription / en
scientific article
scientific article; zbMATH DE number 6631283
Property / title
 
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation (English)
Property / title: Matrix-F5 Algorithms and Tropical Gröbner Bases Computation (English) / rank
 
Normal rank
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1346.13061 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1145/2755996.2756665 / rank
 
Normal rank
Property / published in
 
Property / published in: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation / rank
 
Normal rank
Property / publication date
 
29 September 2016
Timestamp+2016-09-29T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / publication date: 29 September 2016 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11E95 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14T05 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6631283 / rank
 
Normal rank
Property / zbMATH Keywords
 
\(p\)-adic precison
Property / zbMATH Keywords: \(p\)-adic precison / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Gfan / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2772282234 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3105533578 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1402.6675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gröbner bases over fields with valuations / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Essay on the Riemann Hypothesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-archimedean amoebas and tropical varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to the solution of polynomial systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4660688 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial discontinuities of single-parametric Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pivoting in extended rings for computing approximate Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient computation of zero-dimensional Gröbner bases by change of ordering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325833 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5251430 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856855 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix-F5 algorithms over finite-precision complete discrete valuation fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix-F5 algorithms and tropical Gröbner bases computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Tropical F5 Algorithm / rank
 
Normal rank

Latest revision as of 19:31, 15 July 2024

scientific article; zbMATH DE number 6631283
  • Matrix-F5 Algorithms and Tropical Gröbner Bases Computation
Language Label Description Also known as
English
Matrix-F5 algorithms and tropical Gröbner bases computation
scientific article; zbMATH DE number 6631283
  • Matrix-F5 Algorithms and Tropical Gröbner Bases Computation

Statements

Matrix-F5 algorithms and tropical Gröbner bases computation (English)
0 references
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation (English)
0 references
0 references
6 June 2018
0 references
29 September 2016
0 references
This paper is a minimal extension of [\textit{T. Vaccon}, in: Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015. New York, NY: Association for Computing Machinery (ACM). 355--362 (2015; Zbl 1346.13061)]. The author designs strategies to compute tropical Gröbner bases of homogeneous ideals with respect to a monomial ordering in \(A=K[X_1,\ldots,X_n]\), where \(K\) is a field equipped with a valuation, by adapting the F5 algorithm of Faugère. For example, Algorithm 3.4.1. computes a tropical D-Gröbner basis by tropical row-echelon form computations, but it has already introduced in [loc. cit.] with its complexity. However, as in the classical case, Section 3.7 introduces a new algorithm to compute the reduced tropical Gröbner basis of an homogeneous ideal. Subsection 4.6 analyses the stability of this algorithm over inexact fields with complete, discrete valuations, such as \(Q_p\). This is an important issue because it is known that, in inexact fields, the difficulty lies in certifying when an element is zero or not. Another novelty of the article is Subsection 4.7, which is devoted to the analysis of the loss in precision for the special case \(w = (0,\dots,0)\). Moreover, Section 6 presents more numerical examples than [loc. cit.], showing loss in precision and timings, and an explicit example is provided throughout the article to show how the computations are done, which is always appreciated.
0 references
tropical geometry
0 references
Gröbner bases
0 references
\(p\)-adic precision
0 references
\(p\)-adic algorithm
0 references
F5 algorithm
0 references
approximate Gröbner basis
0 references
\(p\)-adic precison
0 references
0 references
0 references

Identifiers

0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references