On semigroups, Gröbner basis and algebras admitting a complete set of near weights

2015 ◽  
Vol 93 (1) ◽  
pp. 17-33
Author(s):  
Cícero Carvalho
Keyword(s):  
Gröbner Basis ◽  
Grobner Basis ◽  
Complete Set

scholarly journals On the first fall degree of summation polynomials

2019 ◽  
Vol 13 (3-4) ◽  
pp. 229-237
Author(s):  
Stavros Kousidis ◽  
Andreas Wiemers
Keyword(s):  
Elliptic Curve ◽  
Gröbner Basis ◽  
Discrete Logarithm ◽  
Polynomial Systems ◽  
Discrete Logarithm Problem ◽  
Grobner Basis ◽  
Weil Descent ◽  
Degree Bound

Abstract We improve on the first fall degree bound of polynomial systems that arise from a Weil descent along Semaev’s summation polynomials relevant to the solution of the Elliptic Curve Discrete Logarithm Problem via Gröbner basis algorithms.

scholarly journals On the relation between the MXL family of algorithms and Gröbner basis algorithms

2012 ◽  
Vol 47 (8) ◽  
pp. 926-941 ◽  
Author(s):  
Martin R. Albrecht ◽  
Carlos Cid ◽  
Jean-Charles Faugère ◽  
Ludovic Perret
Keyword(s):  
Gröbner Basis ◽  
Grobner Basis

scholarly journals Constructing Gröbner bases for Noetherian rings

2013 ◽  
Vol 24 (2) ◽  
Author(s):  
HERVÉ PERDRY ◽  
PETER SCHUSTER
Keyword(s):  
Gröbner Basis ◽  
Finite Depth ◽  
Commutative Rings ◽  
Polynomial Ideal ◽  
Constructive Proof ◽  
Noetherian Rings ◽  
Grobner Basis ◽  
Finitely Generated ◽  
Prime Decomposition ◽  
Separate Paper

We give a constructive proof showing that every finitely generated polynomial ideal has a Gröbner basis, provided the ring of coefficients is Noetherian in the sense of Richman and Seidenberg. That is, we give a constructive termination proof for a variant of the well-known algorithm for computing the Gröbner basis. In combination with a purely order-theoretic result we have proved in a separate paper, this yields a unified constructive proof of the Hilbert basis theorem for all Noether classes: if a ring belongs to a Noether class, then so does the polynomial ring. Our proof can be seen as a constructive reworking of one of the classical proofs, in the spirit of the partial realisation of Hilbert's programme in algebra put forward by Coquand and Lombardi. The rings under consideration need not be commutative, but are assumed to be coherent and strongly discrete: that is, they admit a membership test for every finitely generated ideal. As a complement to the proof, we provide a prime decomposition for commutative rings possessing the finite-depth property.

Gröbner basis and resultant method for the forward displacement of 3-DoF planar parallel manipulators in seven-dimensional kinematic space

Robotica ◽  
2015 ◽  
Vol 34 (11) ◽  
pp. 2610-2628 ◽  
Author(s):  
Davood Naderi ◽  
Mehdi Tale-Masouleh ◽  
Payam Varshovi-Jaghargh
Keyword(s):  
Euclidean Space ◽  
Gröbner Basis ◽  
Three Dimensional ◽  
Parallel Manipulators ◽  
Parallel Robots ◽  
Dimensional Euclidean Space ◽  
Grobner Basis ◽  
Kinematic Space ◽  
Forward Kinematic Problem ◽  
Forward Kinematic

SUMMARYIn this paper, the forward kinematic analysis of 3-degree-of-freedom planar parallel robots with identical limb structures is presented. The proposed algorithm is based on Study's kinematic mapping (E. Study, “von den Bewegungen und Umlegungen,” Math. Ann.39, 441–565 (1891)), resultant method, and the Gröbner basis in seven-dimensional kinematic space. The obtained solution in seven-dimensional kinematic space of the forward kinematic problem is mapped into three-dimensional Euclidean space. An alternative solution of the forward kinematic problem is obtained using resultant method in three-dimensional Euclidean space, and the result is compared with the obtained mapping result from seven-dimensional kinematic space. Both approaches lead to the same maximum number of solutions: 2, 6, 6, 6, 2, 2, 2, 6, 2, and 2 for the forward kinematic problem of planar parallel robots; 3-RPR, 3-RPR, 3-RRR, 3-RRR, 3-RRP, 3-RPP, 3-RPP, 3-PRR, 3-PRR, and 3-PRP, respectively.

scholarly journals Gröbner bases and products of coefficient rings

2002 ◽  
Vol 65 (1) ◽  
pp. 145-152 ◽  
Author(s):  
Graham H. Norton ◽  
Ana Sӑlӑgean
Keyword(s):  
Gröbner Basis ◽  
Chinese Remainder Theorem ◽  
Gröbner Bases ◽  
Commutative Rings ◽  
Grobner Bases ◽  
Grobner Basis ◽  
Know How ◽  
Elementary Method ◽  
Coefficient Ring ◽  
Finite Direct Product

Suppose that A is a finite direct product of commutative rings. We show from first principles that a Gröbner basis for an ideal of A[x1,…,xn] can be easily obtained by ‘joining’ Gröbner bases of the projected ideals with coefficients in the factors of A (which can themselves be obtained in parallel). Similarly for strong Gröbner bases. This gives an elementary method of constructing a (strong) Gröbner basis when the Chinese Remainder Theorem applies to the coefficient ring and we know how to compute (strong) Gröbner bases in each factor.

Sign in / Sign up

Export Citation Format

Share Document