Academic literature on the topic 'Algèbre effective'

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 'Algèbre effective.'

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 "Algèbre effective"

1

Blanc, G., and N. Bleuzen-Guernalec. "Algèbres effectives dans la programmation logique avec contraintes." RAIRO - Theoretical Informatics and Applications 26, no. 3 (1992): 221–42. http://dx.doi.org/10.1051/ita/1992260302211.

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

Dissertations / Theses on the topic "Algèbre effective"

1

Sadi, Bounab. "Descente effective du corps de définition des revêtements." Lille 1, 1999. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-127.pdf.

Full text
Abstract:
Le thème général de ce travail est la descente du corps de définition des revêtements algébriques. Dans ce contexte, il est naturel d'introduire le corps des modules d'un revêtement. Ce n'est pas toujours un corps de définition mais si c'en est un, c'est le plus petit possible. Notre travail porte plus spécifiquement sur l'obstruction à ce que le corps des modules soit un corps de définition. Dans certaines circonstances, on sait qu'il n'y a pas d'obstruction. Notre but est de préciser les énoncés de descente connus en explicitant un modèle du revêtement en question qui soit défini sur son corps des modules. Ainsi un théorème de Coombes-Harbarter montre qu'un revêtement galoisien de P1 est défini sur son corps des modules. Grâce à une nouvelle approche qui utilise le lemme de Dedekind, nous en donnons une forme plus précise en le sens ci-dessous : notre méthode permet de construire effectivement un modèle sur le corps des modules ; par exemple, nous pouvons donner une borne pour le degré et la hauteur des équations définissant ce modèle. Nous obtenons des résultats similaires dans le cas général de revêtements non nécessairement galoisiens, supposés définis sur leur corps des modules. Ces résultats sont cependant un peu moins précis que dans le cas galoisien.
APA, Harvard, Vancouver, ISO, and other styles
2

Tête, Claire. "Profondeur, dimension et résolutions en algèbre commutative : quelques aspects effectifs." Thesis, Poitiers, 2014. http://www.theses.fr/2014POIT2288/document.

Full text
Abstract:
Cette thèse d'algèbre commutative porte principalement sur la théorie de la profondeur. Nous nous efforçons d'en fournir une approche épurée d'hypothèse noethérienne dans l'espoir d'échapper aux idéaux premiers et ceci afin de manier des objets élémentaires et explicites. Parmi ces objets, figurent les complexes algébriques de Koszul et de Cech dont nous étudions les propriétés cohomologiques grâce à des résultats simples portant sur la cohomologie du totalisé d'un bicomplexe. Dans le cadre de la cohomologie de Cech, nous avons établi la longue suite exacte de Mayer-Vietoris avec un traitement reposant uniquement sur le maniement des éléments. Une autre notion importante est celle de dimension de Krull. Sa caractérisation en termes de monoïdes bords permet de montrer de manière expéditive le théorème d'annulation de Grothendieck en cohomologie de Cech. Nous fournissons également un algorithme permettant de compléter un polynôme homogène en un h.s.o.p.. La profondeur est intimement liée à la théorie des résolutions libres/projectives finies, en témoigne le théorème de Ferrand-Vasconcelos dont nous rapportons une généralisation due à Jouanolou. Par ailleurs, nous revenons sur des résultats faisant intervenir la profondeur des idéaux caractéristiques d'une résolution libre finie. Nous revisitons, dans un cas particulier, une construction due à Tate permettant d'expliciter une résolution projective totalement effective de l'idéal d'un point lisse d'une hypersurface. Enfin, nous abordons la théorie de la régularité en dimension 1 via l'étude des idéaux inversibles et fournissons un algorithme implémenté en Magma calculant l'anneau des entiers d'un corps de nombres
This Commutative Algebra thesis focuses mainly on the depth theory. We try to provide an approach without noetherian hypothesis in order to escape prime ideals and to handle only basic and explicit concepts. We study the algebraic complexes of Koszul and Cech and their cohomological properties by using simple results on the cohomology of the totalization of a bicomplex. In the Cech cohomology context we established the long exact sequence of Mayer-Vietoris only with a treatment based on the elements. Another important concept is that of Krull dimension. Its characterization in terms of monoids allows us to show expeditiously the vanishing Grothendieck theorem in Cech cohomology.We also provide an algorithm to complete a omogeneous polynomial in a h.s.o.p.. The depth is closely related to the theory of finite free/projective resolutions. We report a generalization of the Ferrand-Vasconcelos theorem due to Jouanolou. In addition, we review some results involving the depth of the ideals of expected ranks in a finite free resolution.We revisit, in a particular case, a construction due to Tate. This allows us to give an effective projective resolution of the ideal of a point of a smooth hypersurface. Finally, we discuss the regularity theory in dimension 1 by studying invertible ideals and provide an algorithm implemented in Magma computing the ring of integers of a number field
APA, Harvard, Vancouver, ISO, and other styles
3

Abdeljaouad, Ines. "Théorie des Invariants et Application à la Théorie de Galois effective." Paris 6, 2000. http://www.theses.fr/2000PA066576.

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

Trébuchet, Philippe. "Vers une résolution stable et rapide des équations algébriques." Paris 6, 2002. http://www.theses.fr/2002PA066357.

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

Assi, Abdallah. "Constructions effectives en algèbre commutative." Grenoble 1, 1991. http://www.theses.fr/1991GRE10001.

Full text
Abstract:
Le but de ce travail est d'adapter au cadre algebrique affine la notion des tropismes critiques d'un ideal i definie par lejeune-teissier dans le cas analytique complexe local et tirer des criteres effectifs pour la platitude de spec kt,x/i sur spec kt,x. Dans le chapitre i, nous presentons deux algorithmes de calcul de la forme initiale d'un ideal i de l'anneau des polynomes a coefficients dans un anneau constructif. Dans le premier cas, la forme lineaire est a coefficients rationnels positifs ou nuls (base standard). Dans le deuxieme cas, les coefficients (rationnels) sont de signes quelconques (ensemble standard). Nous utilisons ces deux notions pour des applications geometriques (cone asymptote, cone tangent,. . . ). Le chapitre ii est consacre a l'etude des tropismes critiques d'un ideal de kt,x, k etant un corps. Il s'agit de generaliser la notion de polygone de newton d'un element de kt,x a un ideal i. Au paragraphe 1, nous obtenons un theoreme de finitude des t. C. . Au paragraphe 2, nous donnons un algorithme permettant de les calculer. Au paragraphe 3, nous utilisons le dernier t. C. Pour caracteriser dans certains cas importants, la platitude de spec kt,x/i sur spec kt au voisinage de 0
APA, Harvard, Vancouver, ISO, and other styles
6

Charles, Balthazar. "Combinatorics and computations : Cartan matrices of monoids & minimal elements of Shi arrangements." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG063.

Full text
Abstract:
Cette thèse présente le résultat de recherches sur deux thèmes combinatoires distincts: le calcul effectif des matrices de Cartan en théorie des représentations des monoïdes et l'exploration des propriétés des éléments minimaux dans les arrangements de Shi des groupes de Coxeter. Bien que disparates, ces deux domaines de recherche partagent l'utilisation de méthodes combinatoires et d'exploration informatique, soit en tant que fin en soi pour le premier domaine, soit comme aide à la recherche pour le second. Dans la première partie de la thèse, nous développons des méthodes pour le calcul effectif des tables de caractères et des matrices de Cartan dans la théorie des représentations des monoïdes. À cette fin, nous présentons un algorithme basé sur nos résultats pour le calcul efficace des points fixes sous une action similaire à une conjugaison, dans le but de mettre en œuvre la formule de [Thiéry '12] pour la matrice de Cartan. Après une introduction largement auto-contenue aux notions nécessaires, nous présentons nos résultats sur le comptage des points fixes, ainsi qu'une nouvelle formule pour la table de caractères des monoïdes finis. Nous évaluons les performances des algorithmes résultants en termes de temps d'exécution et d'utilisation mémoire. Nous observons qu'ils sont plus efficaces par plusieurs ordres de grandeur que les algorithmes non spécialisés pour les monoïdes. Nous espérons que l'implémentation (publique) résultant de ces travaux contribuera à la communauté des représentations des monoïdes en permettant des calculs auparavant difficiles. La deuxième partie de la thèse se concentre sur les propriétés des éléments minimaux dans les arrangements de Shi. Les arrangements de Shi ont été introduits dans [Shi '87] et sont l'objet de la Conjecture 2 dans [Dyer, Hohlweg '14]. Initialement motivés par cette conjecture, après une introduction aux notions nécessaires, nous présentons deux résultats. Premièrement, une démonstration directe dans le cas des groupes de rang 3. Deuxièmement, dans le cas particulier des groupes de Weyl, nous donnons une description des éléments minimaux des régions de Shi en étendant une bijection issue de [Athanasiadis, Linusson '99] et [Armstrong, Reiner, Rhoades '15] entre les fonctions de parking et les régions de Shi permettant d'effectuer le calcul pratique des éléments minimaux. Comme application, à partir des propriétés de ce calcul, nous donnons une démonstration de la conjecture pour les groupes de Weyl indépendante de leur classification. Ces résultats révèlent une interaction intrigante entre les partitions non-croisées et non-embrassées dans le cas des groupes de Weyl classiques
This thesis presents an investigation into two distinct combinatorial subjects: the effective computation of Cartan matrices in monoid representation theory and the exploration of properties of minimal elements in Shi arrangements of Coxeter groups. Although disparate, both of these research focuses share a commonality in the utilization of combinatorial methods and computer exploration either as an end in itself for the former or as a help to research for the latter. In the first part of the dissertation, we develop methods for the effective computation of character tables and Cartan matrices in monoid representation theory. To this end, we present an algorithm based on our results for the efficient computations of fixed points under a conjugacy-like action, with the goal to implement Thiéry's formula for the Cartan matrix from [Thiéry '12]. After a largely self-contained introduction to the necessary background, we present our results for fixed-point counting, as well as a new formula for the character table of finite monoids. We evaluate the performance of the resulting algorithms in terms of execution time and memory usage and find that they are more efficient than algorithms not specialized for monoids by orders of magnitude. We hope that the resulting (public) implementation will contribute to the monoid representation community by allowing previously impractical computations. The second part of the thesis focuses on the properties of minimal elements in Shi arrangements. The Shi arrangements were introduced in [Shi '87] and are the object of Conjecture 2 from [Dyer, Hohlweg '14]. Originally motivated by this conjecture, we present two results. Firstly, a direct proof in the case of rank 3 groups. Secondly, in the special case of Weyl groups, we give a description of the minimal elements of the Shi regions by extending a bijection from [Athanasiadis, Linusson '99] and [Armstrong, Reiner, Rhoades '15] between parking functions and Shi regions. This allows for the effective computation of the minimal elements. From the properties of this computation, we provide a type-free proof of the conjecture in Weyl groups as an application. These results reveal an intriguing interplay between the non-nesting and non-crossing worlds in the case of classical Weyl groups
APA, Harvard, Vancouver, ISO, and other styles
7

Razet, Benoit. "Machines d'Eilenberg Effectives." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00463049.

Full text
Abstract:
La théorie des automates est apparue pour résoudre des problèmes aussi bien pratiques que théoriques, et ceci dès le début de l'informatique. Désormais, les automates font partie des notions fondamentales de l'informatique, et se retrouvent dans la plupart des logiciels. En 1974, Samuel Eilenberg proposa un modèle de calcul qui unifie la plupart des automates (transducteurs, automates à pile et machines de Turing) et qui a une propriété de modularité intéressante au vu d'applications reposant sur différentes couches d'automates ; comme cela peut être le cas en linguistique computationnelle. Nous proposons d'étudier les techniques permettant d'avoir des machines d'Eilenberg effectives. Cette étude commence par la modélisation de relations calculables à base de flux, puis continue avec l'étude de la simulation des machines d'Eilenberg définies avec ces relations. Le simulateur est un programme fonctionnel énumérant progressivement les solutions, en explorant un espace de recherche selon différentes stratégies. Nous introduisons, en particulier, la notion de machine d'Eilenberg finie pour laquelle nous fournissons une preuve formelle de correction de la simulation. Les relations sont une première composante des machines d'Eilenberg, la deuxième composante étant son contrôle, qui est défini par un automate fini. Dans ce contexte, on peut utiliser une expression régulière comme syntaxe pour décrire la composante de contrôle d'une machine d'Eilenberg. Récemment, un ensemble de travaux exploitant la notion de dérivées de Brzozowski, a été la source d'algorithmes efficaces de synthèse d'automates non-déterministes à partir d'expressions régulières. Nous faisons l'état de l'art de ces algorithmes, tout en donnant une implémentation efficace en OCaml permettant de les comparer les uns aux autres.
APA, Harvard, Vancouver, ISO, and other styles
8

Busé, Laurent. "Représentations matricielles en théorie de l'élimination et applications à la géométrie." Habilitation à diriger des recherches, Université de Nice Sophia-Antipolis, 2011. http://tel.archives-ouvertes.fr/tel-00593603.

Full text
Abstract:
Ce mémoire d'habilitation présente des travaux qui développent une approche matricielle de la théorie de l'élimination et l'illustrent au travers d'applications à la modélisation géométrique. Cette approche matricielle, qui correspond essentiellement à un changement de représentation, permet de livrer des problèmes géométriques à la puissance des algorithmes d'algèbre linéaire numérique. Le premier chapitre traite de la représentation matricielle implicite d'une hypersurface rationnelle dans un espace projectif et propose une nouvelle méthode pour traiter le problème d'intersection entre une courbe et une surface rationnelles dans l'espace projectif de dimension trois. Le deuxième chapitre propose une représentation matricielle implicite d'une courbe rationnelle dans un espace projectif de dimension arbitraire, représentation qui est illustrée par un algorithme répondant au problème d'intersection entre deux courbes rationnelles. Le dernier chapitre est dédié à une approche matricielle du test d'irréductibilité de Ruppert qui conduit au raffinement du dénombrement des fibres réductibles dans un pinceau d'hypersurfaces algébriques génériquement irréductible.
APA, Harvard, Vancouver, ISO, and other styles
9

Ürgüplü, Belma Asli. "Contributions to symbolic effective qualitative analysis of dynamical systems : application to biochemical reaction networks." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10013/document.

Full text
Abstract:
Le but de mes travaux de recherche est de rendre, autant que possible, algorithmique l'étude des modèles composés par des équations différentielles paramétriques. Je me concentre aux algorithmes basés sur les symétries de Lie étendues pour les modèles de taille moyenne (environ vingt variables). Je présente deux méthodes de simplification exacte : la réduction du nombre des variables d'un modèle et sa reparamétrisation pour distinguer le rôle de ses paramètres. Les systèmes simplifiés sont équivalents aux systèmes originaux par des relations implicites ou explicites (suivant la méthode choisie). Ces algorithmes, grâce aux stratégies de calcul utilisées et aux restrictions sur les objets étudiés, ont une compléxité temporelle polynomiale en la taille de l'entrée. Ils sont implémentés dans les paquetages MABSys et ExpandedLiePointSymmetry. Les modèles simplifiés issus de ces algorithmes facilitent diverses études comme l'analyse qualitative symbolique ou numérique. J'illustre mes travaux sur une famille de réseaux génétiques avec un seul gène auto-régulé en faisant une analyse qualitative symbolique complète. Mon exemple principal appartient au domaine des réseaux de régulation génétique mais l'application des méthodes que je présente n'est pas limitée à la biologie intracellulaire
The goal of my research is to make algorithmic, as much as possible, the study of models composed by parametric differential equations. I focus on the algorithms based on expanded Lie point symmetries for medium size (about twenty variables) models. I present two exact simplification methods: the reduction of the number of variables of a model and its reparametrization in order to distinguish the roles of its parameters. Simplified systems are equivalent to the original ones by implicit or explicit relationships (according to the chosen method). These algorithms, thanks to some computational strategies and restriction of studied objects, are of polynomial time complexity in the input size. They are implemented in the MABSys and the ExpandedLiePointSymmetry packages. Simplified models resulting from these methods allow to perform more easily various studies such as symbolic or numerical qualitative analysis. I illustrate my work on a family of genetic networks with a single self-regulated gene by a complete symbolic qualitative analysis. Even if my principal application example belongs to genetic regulatory networks field, the methods presented in my work are not limited to intracellular biology
APA, Harvard, Vancouver, ISO, and other styles
10

Scarponi, Danny. "Formes effectives de la conjecture de Manin-Mumford et réalisations du polylogarithme abélien." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30100/document.

Full text
Abstract:
Dans cette thèse nous étudions deux problèmes dans le domaine de la géométrie arithmétique, concernant respectivement les points de torsion des variétés abéliennes et le polylogarithme motivique sur les schémas abéliens. La conjecture de Manin-Mumford (démontrée par Raynaud en 1983) affirme que si A est une variété abélienne et X est une sous-variété de A ne contenant aucune translatée d'une sous-variété abélienne de A, alors X ne contient qu'un nombre fini de points de torsion de A. En 1996, Buium présenta une forme effective de la conjecture dans le cas des courbes. Dans cette thèse, nous montrons que l'argument de Buium peut être utilisé aussi en dimension supérieure pour prouver une version quantitative de la conjecture pour une classe de sous-variétés avec fibré cotangent ample étudiée par Debarre. Nous généralisons aussi à toute dimension un résultat sur la dispersion des relèvements p-divisibles non ramifiés obtenu par Raynaud dans le cas des courbes. En 2014, Kings and Roessler ont montré que la réalisation en cohomologie de Deligne analytique de la part de degré zéro du polylogarithme motivique sur les schémas abéliens peut être reliée aux formes de torsion analytique de Bismut-Koehler du fibré de Poincaré. Dans cette thèse, nous utilisons la théorie de l'intersection arithmétique dans la version de Burgos pour raffiner ce résultat dans le cas où la base du schéma abélien est propre
In this thesis we approach two independent problems in the field of arithmetic geometry, one regarding the torsion points of abelian varieties and the other the motivic polylogarithm on abelian schemes. The Manin-Mumford conjecture (proved by Raynaud in 1983) states that if A is an abelian variety and X is a subvariety of A not containing any translate of an abelian subvariety of A, then X can only have a finite number of points that are of finite order in A. In 1996, Buium presented an effective form of the conjecture in the case of curves. In this thesis, we show that Buium's argument can be made applicable in higher dimensions to prove a quantitative version of the conjecture for a class of subvarieties with ample cotangent studied by Debarre. Our proof also generalizes to any dimension a result on the sparsity of p-divisible unramified liftings obtained by Raynaud in the case of curves. In 2014, Kings and Roessler showed that the realisation in analytic Deligne cohomology of the degree zero part of the motivic polylogarithm on abelian schemes can be described in terms of the Bismut-Koehler higher analytic torsion form of the Poincaré bundle. In this thesis, using the arithmetic intersection theory in the sense of Burgos, we give a refinement of Kings and Roessler's result in the case in which the base of the abelian scheme is proper
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Algèbre effective"

1

Perspectives on research on effective mathematics teaching. [Hillsdale, N.J.]: Lawrence Erlbaum Associates, 1988.

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

Grouws, Douglas A. Effective Mathematics Teaching (Research agenda for mathematics education). Lawrence Erlbaum Assoc Inc, 1988.

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

Cooney, Thomas J., and Douglas A. Grouws. Effective Mathematics Teaching (Research Agenda in Mathematics Education). Natl Council of Teachers of, 1988.

Find 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