Bibliografias temáticas / Application de base de Gröbner

Literatura científica selecionada sobre o tema "Application de base de Gröbner"

Autor: Grafiati
Publicado: 25 de maio de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Índice

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Application de base de Gröbner".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Application de base de Gröbner"

1

Bokut, L. A., Yuqun Chen e Zerui Zhang. "Gröbner–Shirshov bases method for Gelfand–Dorfman–Novikov algebras". Journal of Algebra and Its Applications 16, n.º 01 (janeiro de 2017): 1750001. http://dx.doi.org/10.1142/s0219498817500013.

Texto completo da fonte
Resumo:
We establish Gröbner–Shirshov base theory for Gelfand–Dorfman–Novikov algebras over a field of characteristic [Formula: see text]. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem of Gelfand–Dorfman–Novikov algebras with finite homogeneous relations. We also construct a subalgebra of one generated free Gelfand–Dorfman–Novikov algebra which is not free.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Steiner, Matthias Johann. "Solving Degree Bounds for Iterated Polynomial Systems". IACR Transactions on Symmetric Cryptology 2024, n.º 1 (1 de março de 2024): 357–411. http://dx.doi.org/10.46586/tosc.v2024.i1.357-411.

Texto completo da fonte
Resumo:
For Arithmetization-Oriented ciphers and hash functions Gröbner basis attacks are generally considered as the most competitive attack vector. Unfortunately, the complexity of Gröbner basis algorithms is only understood for special cases, and it is needless to say that these cases do not apply to most cryptographic polynomial systems. Therefore, cryptographers have to resort to experiments, extrapolations and hypotheses to assess the security of their designs. One established measure to quantify the complexity of linear algebra-based Gröbner basis algorithms is the so-called solving degree. Caminata & Gorla revealed that under a certain genericity condition on a polynomial system the solving degree is always upper bounded by the Castelnuovo-Mumford regularity and henceforth by the Macaulay bound, which only takes the degrees and number of variables of the input polynomials into account. In this paper we extend their framework to iterated polynomial systems, the standard polynomial model for symmetric ciphers and hash functions. In particular, we prove solving degree bounds for various attacks on MiMC, Feistel-MiMC, Feistel-MiMC-Hash, Hades and GMiMC. Our bounds fall in line with the hypothesized complexity of Gröbner basis attacks on these designs, and to the best of our knowledge this is the first time that a mathematical proof for these complexities is provided. Moreover, by studying polynomials with degree falls we can prove lower bounds on the Castelnuovo-Mumford regularity for attacks on MiMC, Feistel-MiMC and Feistel-MiMCHash provided that only a few solutions of the corresponding iterated polynomial system originate from the base field. Hence, regularity-based solving degree estimations can never surpass a certain threshold, a desirable property for cryptographic polynomial systems.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Çelik, Ercan, e Mustafa Bayram. "Application of Gröbner basis techniques to enzyme kinetics". Applied Mathematics and Computation 153, n.º 1 (maio de 2004): 97–109. http://dx.doi.org/10.1016/s0096-3003(03)00612-x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Yunus, Gulshadam, Zhenzhen Gao e Abdukadir Obul. "Gröbner-Shirshov Basis of Quantum Groups". Algebra Colloquium 22, n.º 03 (14 de julho de 2015): 495–516. http://dx.doi.org/10.1142/s1005386715000449.

Texto completo da fonte
Resumo:
In this paper, by using the Ringel-Hall algebra method, we prove that the set of the skew-commutator relations of quantum root vectors forms a minimal Gröbner-Shirshov basis for the quantum groups of Dynkin type. As an application, we give an explicit basis for the types E7 and Dn.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

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

Texto completo da fonte
Resumo:
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).
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Li, Huishi. "The General PBW Property". Algebra Colloquium 14, n.º 04 (dezembro de 2007): 541–54. http://dx.doi.org/10.1142/s1005386707000508.

Texto completo da fonte
Resumo:
For ungraded quotients of an arbitrary ℤ-graded ring, we define the general PBW property, that covers the classical PBW property and the N-type PBW property studied via the N-Koszulity by several authors (see [2–4]). In view of the noncommutative Gröbner basis theory, we conclude that every ungraded quotient of a path algebra (or a free algebra) has the general PBW property. We remark that an earlier result of Golod [5] concerning Gröbner bases can be used to give a homological characterization of the general PBW property in terms of Shafarevich complex. Examples of application are given.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Chaharbashloo, Mohammad Saleh, Abdolali Basiri, Sajjad Rahmany e Saber Zarrinkamar. "An Application of Gröbner Basis in Differential Equations of Physics". Zeitschrift für Naturforschung A 68, n.º 10-11 (1 de novembro de 2013): 646–50. http://dx.doi.org/10.5560/zna.2013-0044.

Texto completo da fonte
Resumo:
We apply the Gröbner basis to the ansatz method in quantum mechanics to obtain the energy eigenvalues and the wave functions in a very simple manner. There are important physical potentials such as the Cornell interaction which play significant roles in particle physics and can be treated via this technique. As a typical example, the algorithm is applied to the semi-relativistic spinless Salpeter equation under the Cornell interaction. Many other applications of the idea in a wide range of physical fields are listed as well.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Teses / dissertações sobre o assunto "Application de base de Gröbner"

1

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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

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

Texto completo da fonte
Resumo:
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)
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Vilanova, Fábio Fontes. "Sistemas de equações polinomiais e base de Gröbner". Universidade Federal de Sergipe, 2015. https://ri.ufs.br/handle/riufs/6524.

Texto completo da fonte
Resumo:
The main objective of this dissertation is to present an algebraic method capable of determining a solution, if any, of a non linear polynomial equation systems using Gröbner basis. In order to accomplish that, we first present some concepts and theorems linked to polynomial rings with several undetermined and monomial ideals where we highlight the division extended algorithm, the Hilbert Basis and the Buchberger´s algorithm. Beyond that, using basics of Elimination and Extension Theorems, we present an algebraic solution to the map coloring that use 3 colors as well as a general solution to the Sudoku puzzle.
O objetivo principal desse trabalho é, usando bases de Gröbner, apresentar um método algébrico capaz de determinar a solução, quando existir, de sistemas de equações polinomiais não necessariamente lineares. Para tanto, necessitamos inicialmente apresentar alguns conceitos e teoremas ligados a anéis de polinômios com várias indeterminadas e de ideais monomiais, dentre os quais destacamos o algoritmo extendido da divisão, o teorema da Base de Hilbert e o algoritmo de Buchberger. Além disso, usando noções básicas da Teoria de eliminação e extensão, apresentamos uma solução algébrica para o problema da coloração de mapas usando três cores, bem como um solução geral para o puzzle Sudoku.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Xiu, Xingqiang [Verfasser], e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

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.

Texto completo da fonte
Resumo:
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)
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Amendola, Teresa. "Basi di Gröbner e anelli polinomiali". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19458/.

Texto completo da fonte
Resumo:
In questo elaborato ci proponiamo di fornire alcuni strumenti utili per illustrare il collegamento tra varietà affini e ideali polinomiali. La tesi segue l'approccio computazionale e sfrutta quindi alcuni algoritmi per la dimostrazione dei risultati principali. Si prova il Teorema della Base di Hilbert e si introducono le basi di Gröbner per la dimostrazione del Nullstellensatz.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Livros sobre o assunto "Application de base de Gröbner"

1

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Basilio, C. I. Application of the acid-base theory to flotation systems. S.l: s.n, 1991.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Michel, Izygon, e United States. National Aeronautics and Space Administration., eds. Advanced software development workstation: Knowledge base design : design of knowledge base for flight planning application. [Houston, Tex.]: Research Institute for Computing and Information Systems, University of Houston-Clear Lake, 1992.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

United States. National Aeronautics and Space Administration., ed. Partial gravity habitat study with application to lunar base design. [Houston, Tex.]: Sasakawa International Center for Space Architecture, University of Houston, College of Architecture, 1989.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Bullock, Keith. An Application of high angle conveying in base metal mines. Sudbury, Ont: Laurentian University, School of Engineering, 1986.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

1964-, Kraft George, ed. Building applications with the Linux standard base. Upper Saddle River, NJ: IBM Press, 2005.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Donnelly, Dennis M. Selecting stands for the forest planning data base: Sampling background and application. Fort Collins, Colo: U.S. Dept. of Agriculture, Forest Service, Rocky Mountain Forest and Range Experiment Station, 1995.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Furuorasu kemisutorī no kiso to ōyō: Base and application of fluorous chemistry. Tōkyō: Shīemshī Shuppan, 2010.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Purasuchikku saishigenka no kiso to ōyō: Base and application of plastic recycling. Tōkyō: Shīemushī Shuppan, 2012.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Capítulos de livros sobre o assunto "Application de base de Gröbner"

1

Borges-Quintana, M., M. A. Borges-Trenard e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Becker, Thomas, e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Adams, William, e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

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

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Fajardo, William, Claudia Gallego, Oswaldo Lezama, Armando Reyes, Héctor Suárez e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Fajardo, William, Claudia Gallego, Oswaldo Lezama, Armando Reyes, Héctor Suárez e Helbert Venegas. "Matrix Computations Using Gröbner Bases". In Algebra and Applications, 335–53. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53378-6_17.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Application de base de Gröbner"

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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Wang, Hai, Lei Zhang, Qiong Wang e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

zhao, zhiqin, e 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), editado por Zhen Wang e Dunhui Xiao. SPIE, 2023. http://dx.doi.org/10.1117/12.2679167.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Levandovskyy, Viktor, Grischa Studzinski e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Hu, Jing, Yuheng Lin e Xiwei Zhang. "Reversible Logic Synthesis Using Gröbner Base". In 2019 IEEE 2nd International Conference on Electronics Technology (ICET). IEEE, 2019. http://dx.doi.org/10.1109/eltech.2019.8839444.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Sartayev, Bauyrzhan, e Abdibek Ydyrys. "Free products of operads and Gröbner base of some operads". In 2023 17th International Conference on Electronics Computer and Computation (ICECCO). IEEE, 2023. http://dx.doi.org/10.1109/icecco58239.2023.10147149.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

KURIKI, Satoshi, Tetsuhisa MIWA e 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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "Application de base de Gröbner"

1

R.J. Garrett. Nuclear Safety Design Base for License Application. Office of Scientific and Technical Information (OSTI), setembro de 2005. http://dx.doi.org/10.2172/895368.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Adve, R., P. Antonik, W. Baldygo, C. Capraro e G. Capraro. Knowledge-Base Application to Ground Moving Target Detection. Fort Belvoir, VA: Defense Technical Information Center, setembro de 2001. http://dx.doi.org/10.21236/ada388934.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Yazawa, Keisuke. AlN Base Material Development for High Temperature Application. Office of Scientific and Technical Information (OSTI), agosto de 2023. http://dx.doi.org/10.2172/1994804.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Lubell, Joshua. The application protocol information base world wide web gateway. Gaithersburg, MD: National Institute of Standards and Technology, 1996. http://dx.doi.org/10.6028/nist.ir.5868.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Decker, Robert K. Viscous Drag Measurement and Its Application to Base Drag Reduction. Fort Belvoir, VA: Defense Technical Information Center, maio de 2002. http://dx.doi.org/10.21236/ada403228.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

J.H. Zhu, M.P. Brady e H.U. Anderson. Tailoring Fe-Base Alloys for Intermediate Temperature SOFC Interconnect Application. Office of Scientific and Technical Information (OSTI), dezembro de 2007. http://dx.doi.org/10.2172/932217.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Binder, Michael J., Franklin H. Holcomb e William R. Taylor. Site Evaluation for Application of Fuel Cell Technology, Barksdale Air Force Base, LA. Fort Belvoir, VA: Defense Technical Information Center, março de 2001. http://dx.doi.org/10.21236/ada387497.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Binder, Michael J., Franklin H. Holcomb e William R. Taylor. Site Evaluation for Application of Fuel Cell Technology, Westover Air Reserve Base, MA. Fort Belvoir, VA: Defense Technical Information Center, fevereiro de 2001. http://dx.doi.org/10.21236/ada387572.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Binder, Michael J., Franklin H. Holcomb e William R. Taylor. Site Evaluation for Application of Fuel Cell Technology, Laughlin Air Force Base, TX. Fort Belvoir, VA: Defense Technical Information Center, abril de 2001. http://dx.doi.org/10.21236/ada387648.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Binder, Michael J., Franklin H. Holcomb e William R. Taylor. Site Evaluation for Application of Fuel Cell Technology, Nellis Air Force Base, NV. Fort Belvoir, VA: Defense Technical Information Center, março de 2001. http://dx.doi.org/10.21236/ada385549.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Você também pode estar interessado nas extensas listas de trabalhos sobre o assunto "Application de base de Gröbner":
Artigos de revistas Teses / dissertações Livros
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia