Gröbner Basis Theory of Free Modules

2021 ◽  
pp. 49-86
Author(s):  
Huishi Li
Keyword(s):  
Gröbner Basis ◽  
Grobner Basis ◽  
Free Modules

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.

Sign in / Sign up

Export Citation Format

Share Document