Academic literature on the topic 'Gröbner bases application'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Gröbner bases application.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Gröbner bases application"

1

Xia, Shengxiang, and Gaoxiang Xia. "AN APPLICATION OF GRÖBNER BASES." Mathematics Enthusiast 6, no. 3 (July 1, 2009): 381–94. http://dx.doi.org/10.54870/1551-3440.1159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

HASHEMI, AMIR, and PARISA ALVANDI. "APPLYING BUCHBERGER'S CRITERIA FOR COMPUTING GRÖBNER BASES OVER FINITE-CHAIN RINGS." Journal of Algebra and Its Applications 12, no. 07 (May 16, 2013): 1350034. http://dx.doi.org/10.1142/s0219498813500345.

Full text
Abstract:
Norton and Sălăgean [Strong Gröbner bases and cyclic codes over a finite-chain ring, in Proc. Workshop on Coding and Cryptography, Paris, Electronic Notes in Discrete Mathematics, Vol. 6 (Elsevier Science, 2001), pp. 391–401] have presented an algorithm for computing Gröbner bases over finite-chain rings. Byrne and Fitzpatrick [Gröbner bases over Galois rings with an application to decoding alternant codes, J. Symbolic Comput.31 (2001) 565–584] have simultaneously proposed a similar algorithm for computing Gröbner bases over Galois rings (a special kind of finite-chain rings). However, they have not incorporated Buchberger's criteria into their algorithms to avoid unnecessary reductions. In this paper, we propose the adapted version of these criteria for polynomials over finite-chain rings and we show how to apply them on Norton–Sălăgean algorithm. The described algorithm has been implemented in Maple and experimented with a number of examples for the Galois rings.
APA, Harvard, Vancouver, ISO, and other styles
3

Kolesnikov, P. S. "Gröbner–Shirshov Bases for Replicated Algebras." Algebra Colloquium 24, no. 04 (November 15, 2017): 563–76. http://dx.doi.org/10.1142/s1005386717000372.

Full text
Abstract:
We establish a universal approach to solutions of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows us to apply Gröbner–Shirshov bases method for Lie algebras to solve the ideal membership problem in free Leibniz algebras (Lie di-algebras). As another application, we prove an analogue of the Poincaré–Birkhoff–Witt Theorem for universal enveloping associative tri-algebra of a Lie tri-algebra (CTD!-algebra).
APA, Harvard, Vancouver, ISO, and other styles
4

BORISOV, A. V., A. V. BOSOV, and A. V. IVANOV. "APPLICATION OF COMPUTER SIMULATION TO THE ANONYMIZATION OF PERSONAL DATA: STATE-OF-THE-ART AND KEY POINTS." Программирование, no. 4 (July 1, 2023): 58–74. http://dx.doi.org/10.31857/s0132347423040040.

Full text
Abstract:
A new version of GInv (Gröbner Involutive) for computing involutive Gröbner bases is presented as a library in C++11. GInv uses object-oriented memory reallocation for dynamic data structures, such as lists, red-black trees, binary trees, and GMP libraries for arbitrary-precision integer calculations. The interface of the package is designed as a Python3 module.
APA, Harvard, Vancouver, ISO, and other styles
5

Ohsugi, Hidefumi, and Takayuki Hibi. "Prestable ideals and Sagbi bases." MATHEMATICA SCANDINAVICA 96, no. 1 (March 1, 2005): 22. http://dx.doi.org/10.7146/math.scand.a-14942.

Full text
Abstract:
In order to find a reasonable class of squarefree monomial ideals $I$ for which the toric ideal of the Rees algebra of $I$ has a quadratic Gröbner basis, the concept of prestable ideals will be introduced. Prestable ideals arising from finite pure posets together with their application to Sagbi bases will be discussed.
APA, Harvard, Vancouver, ISO, and other styles
6

Qiu, Jianjun, and Yuqun Chen. "Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases." International Journal of Algebra and Computation 27, no. 08 (December 2017): 1041–60. http://dx.doi.org/10.1142/s0218196717500485.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Conca, A., E. De Negri, and E. Gorla. "Universal Gröbner Bases and Cartwright–Sturmfels Ideals." International Mathematics Research Notices 2020, no. 7 (April 25, 2018): 1979–91. http://dx.doi.org/10.1093/imrn/rny075.

Full text
Abstract:
Abstract The main theoretical contribution of the paper is the description of two classes of multigraded ideals named after Cartwright and Sturmfels and the study of their surprising properties. Among other things we prove that these classes of ideals have very special multigraded generic initial ideals and are closed under several operations including arbitrary multigraded hyperplane sections. As a main application we describe the universal Gröbner basis of the ideal of maximal minors and the ideal of 2-minors of a multigraded matrix of linear forms generalizing earlier results of various authors including Bernstein, Sturmfels, Zelevinsky, and Boocher.
APA, Harvard, Vancouver, ISO, and other styles
8

Gao, Xing, and Tianjie Zhang. "Averaging algebras, rewriting systems and Gröbner–Shirshov bases." Journal of Algebra and Its Applications 17, no. 07 (June 13, 2018): 1850130. http://dx.doi.org/10.1142/s021949881850130x.

Full text
Abstract:
In this paper, we study the averaging operator by assigning a rewriting system to it. We obtain some basic results on the kind of rewriting system we used. In particular, we obtain a sufficient and necessary condition for the confluence. We supply the relationship between rewriting systems and Gröbner–Shirshov bases based on bracketed polynomials. As an application, we give a basis of the free unitary averaging algebra on a nonempty set.
APA, Harvard, Vancouver, ISO, and other styles
9

Matsuda, Kazunori, Hidefumi Ohsugi, and Kazuki Shibata. "Toric Rings and Ideals of Stable Set Polytopes." Mathematics 7, no. 7 (July 10, 2019): 613. http://dx.doi.org/10.3390/math7070613.

Full text
Abstract:
In the present paper, we study the normality of the toric rings of stable set polytopes, generators of toric ideals of stable set polytopes, and their Gröbner bases via the notion of edge polytopes of finite nonsimple graphs and the results on their toric ideals. In particular, we give a criterion for the normality of the toric ring of the stable set polytope and a graph-theoretical characterization of the set of generators of the toric ideal of the stable set polytope for a graph of stability number two. As an application, we provide an infinite family of stable set polytopes whose toric ideal is generated by quadratic binomials and has no quadratic Gröbner bases.
APA, Harvard, Vancouver, ISO, and other styles
10

BOKUT, L. A., and A. A. KLEIN. "SERRE RELATIONS AND GRÖBNER-SHIRSHOV BASES FOR SIMPLE LIE ALGEBRAS II." International Journal of Algebra and Computation 06, no. 04 (August 1996): 401–12. http://dx.doi.org/10.1142/s0218196796000234.

Full text
Abstract:
Gröbner-Shirshov bases for the Lie algebras Bn, Cn, Dn, abstractly defined by generators and the Serre relations for the corresponding Cartan matrices over a field of characteristic ≠2, 3, are constructed. As an application, we obtain that each of the previous algebras is isomorphic to a classical simple Lie algebra so2n+1(k), sp2n(k), so2nk respectively.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Gröbner bases application"

1

Verron, Thibaut. "Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066355.

Full text
Abstract:
La résolution de systèmes polynomiaux est un problème aux multiples applications, et les bases de Gröbner sont un outil important dans ce cadre. Il est connu que de nombreux systèmes issus d'applications présentent une structure supplémentaire par rapport à des systèmes arbitraires, et que ces structures peuvent souvent être exploitées pour faciliter le calcul de bases de Gröbner.Dans cette thèse, on s'intéresse à deux exemples de telles structures, pour différentes applications. Tout d'abord, on étudie les systèmes homogènes avec poids, qui sont homogènes si on calcule le degré en affectant un poids à chaque variable. Cette structure apparaît naturellement dans de nombreuses applications, dont un problème de cryptographie (logarithme discret). On montre comment les algorithmes existants, efficaces pour les polynômes homogènes, peuvent être adaptés au cas avec poids, avec des bornes de complexité générique divisées par un facteur polynomial en le produit des poids.Par ailleurs, on étudie un problème de classification de racines réelles pour des variétés définies par des déterminants. Ce problème a une application directe en théorie du contrôle, pour l'optimisation de contraste de l'imagerie à résonance magnétique. Ce système particulier s'avère insoluble avec les stratégies générales pour la classification. On montre comment ces stratégies peuvent tirer profit de la structure déterminantielle du système, et on illustre ce procédé en apportant des réponses aux questions posées par le problème d'optimisation de contraste
Polynomial system solving is a problem with numerous applications, and Gröbner bases are an important tool in this context. Previous studies have shown that systèmes arising in applications usually exhibit more structure than arbitrary systems, and that these structures can be used to make computing Gröbner bases easier.In this thesis, we consider two examples of such structures. First, we study weighted homogeneous systems, which are homogeneous if we give to each variable an arbitrary degree. This structure appears naturally in many applications, including a cryptographical problem (discrete logarithm). We show how existing algorithms, which are efficient for homogeneous systems, can be adapted to a weighted setting, and generically, we show that their complexity bounds can be divided by a factor polynomial in the product of the weights.Then we consider a real roots classification problem for varieties defined by determinants. This problem has a direct application in control theory, for contrast optimization in magnetic resonance imagery. This specific system appears to be out of reach of existing algorithms. We show how these algorithms can benefit from the determinantal structure of the system, and as an illustration, we answer the questions from the application to contrast optimization
APA, Harvard, Vancouver, ISO, and other styles
2

Verron, Thibaut. "Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066355/document.

Full text
Abstract:
La résolution de systèmes polynomiaux est un problème aux multiples applications, et les bases de Gröbner sont un outil important dans ce cadre. Il est connu que de nombreux systèmes issus d'applications présentent une structure supplémentaire par rapport à des systèmes arbitraires, et que ces structures peuvent souvent être exploitées pour faciliter le calcul de bases de Gröbner.Dans cette thèse, on s'intéresse à deux exemples de telles structures, pour différentes applications. Tout d'abord, on étudie les systèmes homogènes avec poids, qui sont homogènes si on calcule le degré en affectant un poids à chaque variable. Cette structure apparaît naturellement dans de nombreuses applications, dont un problème de cryptographie (logarithme discret). On montre comment les algorithmes existants, efficaces pour les polynômes homogènes, peuvent être adaptés au cas avec poids, avec des bornes de complexité générique divisées par un facteur polynomial en le produit des poids.Par ailleurs, on étudie un problème de classification de racines réelles pour des variétés définies par des déterminants. Ce problème a une application directe en théorie du contrôle, pour l'optimisation de contraste de l'imagerie à résonance magnétique. Ce système particulier s'avère insoluble avec les stratégies générales pour la classification. On montre comment ces stratégies peuvent tirer profit de la structure déterminantielle du système, et on illustre ce procédé en apportant des réponses aux questions posées par le problème d'optimisation de contraste
Polynomial system solving is a problem with numerous applications, and Gröbner bases are an important tool in this context. Previous studies have shown that systèmes arising in applications usually exhibit more structure than arbitrary systems, and that these structures can be used to make computing Gröbner bases easier.In this thesis, we consider two examples of such structures. First, we study weighted homogeneous systems, which are homogeneous if we give to each variable an arbitrary degree. This structure appears naturally in many applications, including a cryptographical problem (discrete logarithm). We show how existing algorithms, which are efficient for homogeneous systems, can be adapted to a weighted setting, and generically, we show that their complexity bounds can be divided by a factor polynomial in the product of the weights.Then we consider a real roots classification problem for varieties defined by determinants. This problem has a direct application in control theory, for contrast optimization in magnetic resonance imagery. This specific system appears to be out of reach of existing algorithms. We show how these algorithms can benefit from the determinantal structure of the system, and as an illustration, we answer the questions from the application to contrast optimization
APA, Harvard, Vancouver, ISO, and other styles
3

García, Fontán Jorge. "Singularity and Stability Analysis of vision-based controllers." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS015.

Full text
Abstract:
L’objectif de cette thèse doctoral est d’explorer les cas d’échec de l’asservissement visuel, d’un point de vue mathématique rigoureux et à l’aide d’outils de calcul exact issus de la géométrie algébrique et du calcul formel. Les cas d’échec possibles proviennent de deux sources : les singularités des équations cinématiques, et l’existence de multiples points d’équilibre, ce qui affecte la stabilité asymptotique globale des lois de contrôle. Dans cette thèse, nous avons atteint deux objectifs principaux. Le premier est de calculer les conditions de singularité pour le modèle d’interaction lié à l’observation de plus de trois droites 3D, en étendant les résultats des publications antérieurs pour trois droites. Le deuxième est le calcul des points critiques en IBVS dans l’observation de quatre points de référence, comme première étape vers l’analyse de la stabilité globale des méthodes d’asservissement visuel
The objective of this PhD thesis is to explore the failure cases of Image-Based Visual Servoing (IBVS), a class of Robotics controllers based on computer vision data. The failure cases arise from two sources: the singularities of the governing kinematic equations, and the existance of multiple stable points of equilibrium, which impacts the global asymptotic stability of the control laws. In this thesis, we study these two problems from a rigurous mathematical perspective and with the help of exact computational tools from algebraic geometry and computer algebra. Two main objectives were achieved. The first is to determine the conditions for singularity for the interaction model related to the observation of more than three straight lines in space, which extends the previous existing results for three lines. The second is the computation of the critical points (the equilibrium points) of IBVS in the observation of four reference points, as a first step towards an analysis of the global stability behaviour of visual servoing
APA, Harvard, Vancouver, ISO, and other styles
4

Ars, Gwénolé. "Applications des bases de Gröbner à la cryptograhie." Rennes 1, 2005. http://www.theses.fr/2005REN1S039.

Full text
Abstract:
Cette thèse est dédiée à la cryptanalyse algébrique par les bases de Gröbner. Nous avons justifié l'usage des bases de Gröbner par une comparaison théorique et expérimentale avec l'algorithme XL utilisé en cryptographie. Cette thèse a aussi pour objet l'étude de deux problèmes: les registres filtrés et l'AES. Pour prédire le résolution de ces systèmes, nous avons généralisé la notion d'Immunité Algébrique à tout corps fini et étudié les propriétés de cette notion (stabilité, bornes, relation avec d'autres critères cryptographiques). Pour les registres filtrés, une nouvelle représentation a explicité les relations linéaires de la mise en équations. Elle a permi d'obtenir une borne de complexité des attaques algébriques qui ont été vérifiées expérimentalement sur des registres de tailles réelles. Enfin, à travers des résolutions expérimentales d'une simplification appropriée de l'AES, nous avons déterminé des facteurs limitants (taille de la Sbox) ou non (nombre de cycles)
APA, Harvard, Vancouver, ISO, and other styles
5

Xiu, Xingqiang [Verfasser], and Martin [Akademischer Betreuer] Kreuzer. "Non-commutative Gröbner Bases and Applications / Xingqiang Xiu. Betreuer: Martin Kreuzer." Passau : Universitätsbibliothek der Universität Passau, 2012. http://d-nb.info/1024803708/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Spaenlehauer, Pierre-Jean. "Résolution de systèmes multi-homogènes et déterminantiels algorithmes - complexité - applications." Paris 6, 2012. http://www.theses.fr/2012PA066467.

Full text
Abstract:
De nombreux systèmes polynomiaux multivariés apparaissant en Sciences de l'Ingénieur possèdent une structure algébrique spécifique. En particulier, les structures multi-homogènes, déterminantielles et les systèmes booléens apparaissent dans une variété d'applications. Une méthode classique pour résoudre des systèmes polynomiaux passe par le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés. D'une part, ces outils permettent d'obtenir sousdes hypothèses de généricité des bornes de complexité du calcul debase de Gröbner de plusieurs familles de systèmes polynomiauxstructurés (systèmes bilinéaires, systèmes déterminantiels, systèmesdéfinissant des points critiques, systèmes booléens). Ceci permetd'identifier des familles de systèmes pour lequels la complexité arithmétique de résolution est polynomiale en le nombre de solutions. D'autre part, cette thèse propose de nouveaux algorithmequi exploitent ces structures algébriques pour améliorer l'efficacité du calcul de base de Gröbner et de la résolution (systèmes multi-homogènes, systèmes booléens). Ces résultats sontillustrés par des applications concrètes en cryptologie (cryptanalyse des systèmes MinRank et ASC), en optimisation et en géométrie réelle effective (calcul de points critiques)
Multivariate polynomial systems arising in Engineering Science often carryalgebraic structures related to the problems they stem from. Inparticular, multi-homogeneous, determinantal structures and booleansystems can be met in a wide range of applications. A classical method to solve polynomial systems is to compute a Gröbner basis ofthe ideal associated to the system. This thesis provides new tools forsolving such structured systems in the context of Gröbner basis algorithms. On the one hand, these tools bring forth new bounds on the complexity of thecomputation of Gröbner bases of several families of structured systems(bilinear systems, determinantal systems, critical point systems,boolean systems). In particular, it allows the identification of families ofsystems for which the complexity of the computation is polynomial inthe number of solutions. On the other hand, this thesis provides new algorithms which takeprofit of these algebraic structures for improving the efficiency ofthe Gröbner basis computation and of the whole solving process(multi-homogeneous systems, boolean systems). These results areillustrated by applications in cryptology (cryptanalysis of MinRank),in optimization and in effective real geometry (critical pointsystems)
APA, Harvard, Vancouver, ISO, and other styles
7

Chenavier, Cyrille. "Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC334.

Full text
Abstract:
Dans cette thèse, on étudie les algèbres associatives unitaires par des méthodes de réécriture. La théorie des bases de \G\ non commutatives permet de résoudre des problèmes de décidabilité ou de calculer des invariants homologiques par de telles méthodes. Motivé par des questions d'algèbre homologique, Berger caractérise les bases de \G\ quadratiques en termes de treillis. Cette caractérisation a pour base les opérateurs de réduction. Ceux-ci sont des projecteurs particuliers d'un espace vectoriel admettant une base totalement ordonnée. Berger montre que, dans le cas où cet espace vectoriel est de dimension finie, l'ensemble des opérateurs de réduction admet une structure de treillis. Il en déduit une formulation de la confluence en termes de treillis lui permettant de caractériser les bases de \G\ quadratiques. Dans ce travail, on étend l'approche par les opérateurs de réduction en l'appliquant au cas des algèbres non nécessairement quadratiques. Pour cela, on montre qu'en dimension quelconque l'ensemble des opérateurs de réduction admet également une structure de treillis. En dimension finie, celle-ci coïncide avec celle exhibée par Berger. On en déduit une formulation de la confluence en termes de treillis généralisant celle de Berger. En outre, on donne une interprétation de la complétion en termes de treillis.La formulation algébrique de la confluence permet en particulier des caractériser les bases de \G\ non commutatives en termes de treillis. De plus, la formulation algébrique de la complétion, nous permet de montrer que celle-ci peut être obtenue via une construction dans le treillis des opérateurs de réduction. On en déduit une méthode pour construire des bases de \G\ non commutatives.On construit également une homotopie contractante du complexe de Koszul en termes d'opérateurs de réduction. La formulation de la confluence en termes de treillis nous permet de caractériser celle-ci par des équations. Ces équations induisent des représentations d'une famille d'algèbres que sont les algèbres de confluence. L'homotopie contractante est construite à partir de ces représentations
In this thesis, we study associative unitary algebras with rewriting methods. \G\ bases theory enables us to solve decision problems and to compute homological invariants with such methods. In order to study homological problems, Berger characterises quadratic \G\ bases in a lattice way. This characterisationis obtained using reduction operators. The latter ones are specific projectors of a vector space equipped with a wellfounded basis. When this vector space is finite-dimensional, Berger proves that the associated set of reduction operators admits a lattice structure. Using it, he deduces the lattice characterisation of quadratic \G\ bases. In this thesis, we extend the approach in terms of reduction operators applying it to not necessarily quadratic algebras.For that, we show that the set of reduction operators relative to a not necessarily finite-dimensional vector space admitsa lattice structure. In the finite-dimensional case, we obtain the same lattice structure than Berger's one. We provide a lattice formulation of confluence generalizing Berger's one. Moreover, we provide a lattice characterisation of completion.We use the lattice formulation of confluence to characterise non commutative \G\ bases. Moreover, we deduce from the lattice formulation of confluence a procedure to construct non commutative \G\ bases.We also construct a contracting homotopt for the Koszul complex using reduction operators. The lattice formulation of confluence enables us to characterise it with algebraic equations. These equations induce representations of a family of algebras called confluence algebras. Our contracting homotopy is built using these representations
APA, Harvard, Vancouver, ISO, and other styles
8

Al-Kaabi, Mahdi Jasim Hasan. "Bases de monômes dans les algèbres pré-Lie libres et applications." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22599/document.

Full text
Abstract:
Dans cette thèse, nous étudions le concept d’algèbre pré-Lie libre engendrée par un ensemble (non-vide). Nous rappelons la construction par A. Agrachev et R. Gamkrelidze des bases de monômes dans les algèbres pré-Lie libres. Nous décrivons la matrice des vecteurs d’une base de monômes en termes de la base d’arbres enracinés exposée par F. Chapoton et M. Livernet. Nous montrons que cette matrice est unipotente et trouvons une expression explicite pour les coefficients de cette matrice, en adaptant une procédure suggérée par K. Ebrahimi-Fard et D. Manchon pour l’algèbre magmatique libre. Nous construisons une structure d’algèbre pré-Lie sur l’algèbre de Lie libre $\mathcal{L}$(E) engendrée par un ensemble E, donnant une présentation explicite de $\mathcal{L}$(E) comme quotient de l’algèbre pré-Lie libre $\mathcal{T}$^E, engendrée par les arbres enracinés (non-planaires) E-décorés, par un certain idéal I. Nous étudions les bases de Gröbner pour les algèbres de Lie libres dans une présentation à l’aide d’arbres. Nous décomposons la base d’arbres enracinés planaires E-décorés en deux parties O(J) et $\mathcal{T}$(J), où J est l’idéal définissant $\mathcal{L}$(E) comme quotient de l’algèbre magmatique libre engendrée par E. Ici, $\mathcal{T}$(J) est l’ensemble des termes maximaux des éléments de J, et son complément O(J) définit alors une base de $\mathcal{L}$(E). Nous obtenons un des résultats importants de cette thèse (Théorème 3.12) sur la description de l’ensemble O(J) en termes d’arbres. Nous décrivons des bases de monômes pour l’algèbre pré-Lie (respectivement l’algèbre de Lie libre) $\mathcal{L}$(E), en utilisant les procédures de bases de Gröbner et la base de monômes pour l’algèbre pré-Lie libre obtenue dans le Chapitre 2. Enfin, nous étudions les développements de Magnus classique et pré-Lie, discutant comment nous pouvons trouver une formule de récurrence pour le cas pré-Lie qui intègre déjà l’identité pré-Lie. Nous donnons une vision combinatoire d’une méthode numérique proposée par S. Blanes, F. Casas, et J. Ros, sur une écriture du développement de Magnus classique, utilisant la structure pré-Lie de $\mathcal{L}$(E)
In this thesis, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction by A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial basis vectors in terms of the rooted trees basis exhibited by F. Chapoton and M. Livernet. Also, we show that this matrix is unipotent and we find an explicit expression for its coefficients, adapting a procedure implemented for the free magmatic algebra by K. Ebrahimi-Fard and D. Manchon. We construct a pre-Lie structure on the free Lie algebra $\mathcal{L}$(E) generated by a set E, giving an explicit presentation of $\mathcal{L}$(E) as the quotient of the free pre-Lie algebra $\mathcal{T}$^E, generated by the (non-planar) E-decorated rooted trees, by some ideal I. We study the Gröbner bases for free Lie algebras in tree version. We split the basis of E- decorated planar rooted trees into two parts O(J) and $\mathcal{T}$(J), where J is the ideal defining $\mathcal{L}$(E) as a quotient of the free magmatic algebra generated by E. Here $\mathcal{T}$(J) is the set of maximal terms of elements of J, and its complement O(J) then defines a basis of $\mathcal{L}$(E). We get one of the important results in this thesis (Theorem 3.12), on the description of the set O(J) in terms of trees. We describe monomial bases for the pre-Lie (respectively free Lie) algebra $\mathcal{L}$(E), using the procedure of Gröbner bases and the monomial basis for the free pre-Lie algebra obtained in Chapter 2. Finally, we study the so-called classical and pre-Lie Magnus expansions, discussing how we can find a recursion for the pre-Lie case which already incorporates the pre-Lie identity. We give a combinatorial vision of a numerical method proposed by S. Blanes, F. Casas, and J. Ros, on a writing of the classical Magnus expansion in $\mathcal{L}$(E), using the pre-Lie structure
APA, Harvard, Vancouver, ISO, and other styles
9

Sénéchaud, Pascale. "Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul : applications, parallélisation." Grenoble INPG, 1990. http://tel.archives-ouvertes.fr/tel-00337227.

Full text
Abstract:
Nous présentons les bases de Grobner, leur utilisation et la parallélisation des algorithmes qui les calculent dans le cas de polynômes booléens. Une première partie est consacrée à la présentation théorique des bases de Grobner dans le cas général. Cette présentation se veut accessible a des non-spécialistes. Une étude bibliographique de la complexité est faite. Une deuxième partie concerne les applications des bases de Grobner booléennes en calcul propositionnel et en preuve de circuits combinatoires. Nous proposons un algorithme de preuve formelle de circuits combinatoires hiérarchisés. Dans la troisième partie nous adaptons l'algorithme séquentiel au cas booléen et nous étudions plus en détail la normalisation. Nous proposons deux méthodes de parallélisation a granularité différentes. Nous analysons et comparons plusieurs implantations parallèles et présentons des résultats expérimentaux. Les algorithmes sont généralisables au cas des polynômes a coefficients rationnels. Nous soulignons l'influence de la répartition des données sur le temps d'exécution. Nous présentons une methode de répartition des polynômes basée sur la recherche de chemins de longueur donnée dans un graphe oriente. Cette répartition nous permet d'obtenir des résultats interpretables et de conclure sur les différents algorithmes
APA, Harvard, Vancouver, ISO, and other styles
10

Mou, Chenqi. "Solving polynomial systems over finite fields : Algorithms, Implementations and applications." Paris 6, 2013. http://www.theses.fr/2013PA066805.

Full text
Abstract:
Résolution de systèmes polynomiaux sur les corps finis est d’un intérêt particulier en raison de ses applications en Cryptographie, Théorie du Codage, et d’autres domaines de la science de l’information. Dans cette thèse, nous étudions plusieurs aspects importants théoriques et informatiques pour résolution de systèmes polynomiaux sur les corps finis, en particulier sur les deux outils largement utiliss: bases de Gröbner et ensembles triangulaires. Nous proposons des algorithmes efficaces pour le changement de l’ordre des bases de Gröbner d’idéaux de dimension zéro en utilisant le faible densité des matrices de multiplication et d’évaluer telle faible densité pour les systèmes de polynômes génériques. Algorithmes originaux sont présentés pour la décomposition des ensembles de polynômes en ensembles triangulaires simples sur les corps finis. Nous définissons également décomposition sans carré et factorisation des polynômes sur produits non mélangés d’extensions des corps et proposons des lgorithmes pour les calculer. L’efficacité et l’efficience de ces algorithmes ont été vérifiées par des expériences avec nos implémentations. Méthodes de résolution de systèmes polynomiaux sur les corps finis sont également appliquées pour résoudre les problèmes pratiques posés par la Biologie et la Théorie du Codage
Polynomial system solving over finite fields is of particular interest because of its applications in Cryptography, Coding Theory, and other areas of information science and technologies. In this thesis we study several important theoretical and computational aspects for solving polynomial systems over finite fields, in particular on the two widely used tools Gröbner bases and triangular sets. We propose efficient algorithms for change of ordering of Gröbner bases of zero-dimensional ideals by using the sparsity of multiplication matrices and evaluate such sparsity for generic polynomial systems. Original algorithms are presented for decomposing polynomial sets into simple triangular sets over finite fields. We also define squarefree decomposition and factorization of polynomials over unmixed products of field extensions and propose algorithms for computing them. The effectiveness and efficiency of these algorithms have been verified by experiments with our implementations. Methods for polynomial system solving over finite fields are also applied to solve practical problems arising from Biology and Coding Theory
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Gröbner bases application"

1

Bruno, Buchberger, and Winkler Franz 1955-, eds. Gröbner bases and applications. Cambridge, U.K: Cambridge University Press, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

1947-, Herzog Jürgen, ed. Gröbner bases in commutative algebra. Providence, R.I: American Mathematical Society, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1962-, Sturmfels Bernd, ed. Introduction to tropical geometry. Providence, Rhode Island: American Mathematical Society, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Buchberger, Bruno, and Franz Winkler, eds. Gröbner Bases and Applications. Cambridge University Press, 1998. http://dx.doi.org/10.1017/cbo9780511565847.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Buchberger, Bruno, and Franz Winkler. Gröbner Bases and Applications. Cambridge University Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Buchberger, Bruno, and Franz Winkler. Gröbner Bases and Applications. Cambridge University Press, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Buchberger, Bruno, and Franz Winkler. Gröbner Bases and Applications. Cambridge University Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Elkadi, Mohamed, and Bernard Mourrain. Introduction à la résolution des systèmes polynomiaux (Mathématiques et Applications). Springer, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Algebraic Statistics. American Mathematical Society, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Gröbner bases application"

1

Borges-Quintana, M., M. A. Borges-Trenard, and E. Martínez-Moro. "An Application of Möller’s Algorithm to Coding Theory." In Gröbner Bases, Coding, and Cryptography, 379–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-93806-4_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bahloul, Rouchdi. "Gröbner Bases in D-Modules: Application to Bernstein-Sato Polynomials." In Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers, 75–93. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-26454-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Becker, Thomas, and Volker Weispfenning. "First Applications of Gröbner Bases." In Gröbner Bases, 243–92. New York, NY: Springer New York, 1993. http://dx.doi.org/10.1007/978-1-4612-0913-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Takayama, Nobuki. "Gröbner Basis for Rings of Differential Operators and Applications." In Gröbner Bases, 279–344. Tokyo: Springer Japan, 2013. http://dx.doi.org/10.1007/978-4-431-54574-3_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Adams, William, and Philippe Loustaunau. "Applications of Gröbner bases." In An Introduction to Gröbner Bases, 53–112. Providence, Rhode Island: American Mathematical Society, 1994. http://dx.doi.org/10.1090/gsm/003/02.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Göbel, Manfred. "Symideal Gröbner bases." In Rewriting Techniques and Applications, 48–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61464-8_42.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Robertz, Daniel. "Janet Bases and Applications." In Gröbner Bases in Symbolic Analysis, edited by Markus Rosenkranz and Dongming Wang, 139–68. Berlin, Boston: DE GRUYTER, 2007. http://dx.doi.org/10.1515/9783110922752.139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fajardo, William, Claudia Gallego, Oswaldo Lezama, Armando Reyes, Héctor Suárez, and Helbert Venegas. "Gröbner Bases of Modules." In Algebra and Applications, 261–86. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53378-6_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Monfroy, Eric. "Gröbner bases: Strategies and applications." In Artificial Intelligence and Symbolic Mathematical Computing, 133–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57322-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pommaret, Jean-François. "Gröbner Bases in Algebraic Analysis: New Perspectives for Applications." In Gröbner Bases in Symbolic Analysis, edited by Markus Rosenkranz and Dongming Wang, 1–22. Berlin, Boston: DE GRUYTER, 2007. http://dx.doi.org/10.1515/9783110922752.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Gröbner bases application"

1

Ohsugi, Hidefumi. "Gröbner bases of toric ideals and their application." In the 39th International Symposium. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2608628.2627495.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Arikawa, Keisuke. "Kinematic Analysis of Mechanisms Based on Parametric Polynomial System." In ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/detc2018-85347.

Full text
Abstract:
Many kinematic problems of mechanisms can be expressed in the form of polynomial systems. Gröbner Bases computation is effective for algebraically analyzing such systems. In this research, we discuss the cases in which the parameters are included in the polynomial systems. The parameters are used to express the link lengths, the displacements of active joints, hand positions, and so on. By calculating Gröbner Cover of the parametric polynomial system that expresses kinematic constraints, we obtain segmentation of the parameter space and valid Gröbner Bases for each segment. In the application examples, we use planar linkages to interpret the meanings of the algebraic equations that define the segments and the Gröbner Bases. Using these interpretations, we confirmed that it was possible to enumerate the assembly and working modes and to identify the geometrical conditions that enable overconstrained motions.
APA, Harvard, Vancouver, ISO, and other styles
3

Wang, Hai, Lei Zhang, Qiong Wang, and Shi Yan. "The Gröbner Bases Algorithm and its Application in Polynomial Ideal Theory." In 2019 Chinese Control And Decision Conference (CCDC). IEEE, 2019. http://dx.doi.org/10.1109/ccdc.2019.8833013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Pethö, Attila. "Application of Gröbner bases to the resolution of systems of norm equations." In the 1991 international symposium. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/120694.120713.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

zhao, zhiqin, and xuewei xiong. "Gröbner bases method for solving N-path in finite graph and its application." In International Conference on Pure, Applied, and Computational Mathematics (PACM 2023), edited by Zhen Wang and Dunhui Xiao. SPIE, 2023. http://dx.doi.org/10.1117/12.2679167.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Levandovskyy, Viktor, Grischa Studzinski, and Benjamin Schnitzler. "Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm." In the 38th international symposium. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2465506.2465948.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Arikawa, Keisuke. "Improving the Method for Kinematic Analysis of Mechanisms That Was Based on Parametric Polynomial System With Gröbner Cover." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-97679.

Full text
Abstract:
Abstract A polynomial system that contains parameters is termed a parametric polynomial system (PPS). We had previously proposed a method of kinematic analysis of mechanisms based on PPS with Gröbner cover, where the parameters are used to express link lengths, displacements of active joints, and so on. Calculating Gröbner cover of PPS that expresses kinematic constraints, and interpreting the segments of the parameter space that are generated by Gröbner cover, it is possible to gain an insight for comprehensively understanding kinematic properties of mechanisms characterized by the parameters. In this study, certain improvements to the method were made to enhance its practical application. The validity check of the segments in the real domain using quantifier elimination provides an automatic reliable check even for a large number of segments. The evaluation of the solution spaces in the segments using primary decomposition facilitates the kinematic interpretation of the complex solution spaces. The active joint selection based on the variable order in Gröbner cover enables the analyses without explicitly specifying active joints. Moreover, the alternative algebraic formulation of kinematic problems based on a homogeneous transformation matrix provides further insight regarding the mechanisms containing zero-length links. The effectiveness of these improvements was verified by the analyses of the configurations of 3RPR mechanism and five-bar linkage.
APA, Harvard, Vancouver, ISO, and other styles
8

KURIKI, Satoshi, Tetsuhisa MIWA, and Anthony J. HAYTER. "Abstract Tubes Associated with Perturbed Polyhedra with Applications to Multidimensional Normal Probability Computations." In Harmony of Gröbner Bases and the Modern Industrial Society - The Second CREST-CSBM International Conference. Singapore: World Scientific Publishing Co. Pte. Ltd., 2012. http://dx.doi.org/10.1142/9789814383462_0010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

SATO, Y., and A. SUZUKI. "GRÖBNER BASES IN POLYNOMIAL RINGS OVER VON NEUMANN REGULAR RINGS — THEIR APPLICATIONS." In Proceedings of the Fourth Asian Symposium (ASCM 2000). WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789812791962_0007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sulandra, I. Made, and Gamal Abdul Aziz. "Efficiency strong Gröbner bases computation over principal ideal ring." In THE 3RD INTERNATIONAL CONFERENCE ON MATHEMATICS AND ITS APPLICATIONS (ICOMATHAPP) 2022: The Latest Trends and Opportunities of Research on Mathematics and Mathematics Education. AIP Publishing, 2024. http://dx.doi.org/10.1063/5.0193640.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography