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 / 0 | aliases / en / 0 | ||||||||||||||
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation | |||||||||||||||
description / en | description / 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
| |||||||||||||||
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 |
|
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
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