Daigle, Daniel - Department of Mathematics and Statistics, University of Ottawa

• Definition. Soit une theorie dans un langage L. On dit que est compl`ete si elle est consistante et satisfait : pour toute formule close de L, on a ou .
• HILBERT'S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS
• COMPLETE INTERSECTION SURFACES WITH TRIVIAL MAKAR-LIMANOV INVARIANT
• AFFINE RULINGS OF WEIGHTED PROJECTIVE PLANES DANIEL DAIGLE
• Nom de famille (MAJUSCULES) Numero d'etudiant
• Interpretations Exemple. Considerez le langage L qui comporte deux symboles P, Q de relations unaires.
• LOCALLY NILPOTENT DERIVATIONS AND DANIELEWSKI SURFACES
• A NOTE ON TRIANGULAR DERIVATIONS OF k[X 1 ; X 2 ; X 3 ; X 4 ] DANIEL DAIGLE AND GENE FREUDENBURG
• Locally nilpotent derivations Daniel Daigle
• A NECESSARY AND SUFFICIENT CONDITION FOR TRIANGULABILITY OF DERIVATIONS OF k[X; Y; Z]
• ON POLYNOMIALS IN THREE VARIABLES ANNIHILATED BY TWO LOCALLY NILPOTENT DERIVATIONS
• ON WEIGHTED PROJECTIVE PLANES AND THEIR AFFINE RULINGS
• AFFINE RULINGS OF NORMAL RATIONAL SURFACES DANIEL DAIGLE AND PETER RUSSELL
• Nom de famille (MAJUSCULES) Numero d'etudiant
• CLASSIFICATION OF LINEAR WEIGHTED GRAPHS UP TO BLOWINGUP AND BLOWINGDOWN
• Introduction to locally nilpotent derivations Daniel Daigle (U. Ottawa, Canada)
• HOMOGENEOUS LOCALLY NILPOTENT DERIVATIONS OF k[X; Y; Z]
• POLYNOMIALS f(X, Y, Z) OF LOW LND-DEGREE DANIEL DAIGLE
• TRIANGULAR DERIVATIONS OF k[X, Y, Z] DANIEL DAIGLE
• ON FINITE GENERATION OF KERNELS OF LOCALLY NILPOTENT R-DERIVATIONS OF R[X, Y, Z]
• AFFINE SURFACES WITH TRIVIAL MAKAR-LIMANOV INVARIANT
• Transformation Groups, Vol. ?, No. ?, ??, pp. 1?? c Birkhauser Boston (??) CLASSIFICATION OF HOMOGENEOUS
• CLASSIFICATION OF LINEAR WEIGHTED GRAPHS UP TO BLOWING-UP AND BLOWING-DOWN
• Some problems and methods of Affine Algebraic Geometry Daniel Daigle (U. Ottawa, Canada)
• HILBERT'S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS
• Locally nilpotent derivations Daniel Daigle
• Mat 2762 Automne 2010 Logique propositionnelle
• Logique des predicats : traductions Univers : U = ensemble de tous les ^etres humains
• Usage des quantificateurs en mathematiques (1) N = {0, 1, 2, 3, 4, . . . }, Z = {. . . , -3, -2, -1, 0, 1, 2, 3, 4, . . . }. Les elements de N sont
• Les ensembles 1. Notions de base
• Nom de famille (MAJUSCULES) Numero d'etudiant
• http://aix1.uottawa.ca/ddaigle/3761/3761.html Mat 3761 Hiver 2011
• Preliminaires 1. Plus petit sous-ensemble satisfaisant une condition
• Graduate studies in Affine Algebraic Geometry I wrote the text below for students who are considering the possibility of doing an
• ON LOG Q -HOMOLOGY PLANES AND WEIGHTED PROJECTIVE PLANES
• http://aix1.uottawa.ca/ddaigle/2748/2748.html Mat 2748 Hiver 2011
• Logique de premier ordre (syntaxe) 1. Definition de langage, terme, formule
• Nom de famille (MAJUSCULES) Numero d'etudiant
• ON KERNELS OF HOMOGENEOUS LOCALLY NILPOTENT DERIVATIONS OF k[X; Y;Z]
• AFFINE SURFACES WITH TRIVIAL MAKARLIMANOV INVARIANT
• TAME AND WILD DEGREE FUNCTIONS DANIEL DAIGLE
• Transformation Groups, Vol. ?, No. ?, ??, pp. 1--?? c #Birkhauser Boston (??)
• ON LOCALLY NILPOTENT DERIVATIONS OF k[X 1 ; X 2 ; Y ]=('(Y ) X 1 X 2
• A NOTE ON LOCALLY NILPOTENT DERIVATIONS AND VARIABLES OF k[X; Y; Z]
• ON POLYNOMIALS IN THREE VARIABLES ANNIHILATED BY TWO LOCALLY NILPOTENT DERIVATIONS
• ON WEIGHTED PROJECTIVE PLANES AND THEIR AFFINE RULINGS
• HOMOGENEOUS LOCALLY NILPOTENT DERIVATIONS OF k [X, Y, Z]
• A COUNTEREXAMPLE TO HILBERT'S FOURTEENTH PROBLEM IN DIMENSION FIVE
• AFFINE RULINGS OF WEIGHTED PROJECTIVE PLANES DANIEL DAIGLE
• LOCALLY NILPOTENT DERIVATIONS AND DANIELEWSKI SURFACES
• ON LOCALLY NILPOTENT DERIVATIONS OF k[X1, X2, Y ]=('(Y ) -X1X2)
• TRIANGULAR DERIVATIONS OF k[X1, X2, X3, X4] DANIEL DAIGLE AND GENE FREUDENBURG
• A NOTE ON TRIANGULAR DERIVATIONS OF k[X1, X2, X3, X4] DANIEL DAIGLE AND GENE FREUDENBURG
• D. Daigle and G. Freudenburg, Families of Affine Fibrations 1 Families of Affine Fibrations
• A COUNTEREXAMPLE TO HILBERT'S FOURTEENTH PROBLEM IN DIMENSION FIVE
• TRIANGULAR DERIVATIONS OF k[X 1 ; X 2 ; X 3 ; X 4 ] DANIEL DAIGLE AND GENE FREUDENBURG
• Nom de famille (MAJUSCULES) Numero d'etudiant
• ON LOG Q -HOMOLOGY PLANES AND WEIGHTED PROJECTIVE PLANES
• ON KERNELS OF HOMOGENEOUS LOCALLY NILPOTENT DERIVATIONS OF k[X, Y, Z]
• AFFINE RULINGS OF NORMAL RATIONAL SURFACES DANIEL DAIGLE AND PETER RUSSELL
• A NOTE ON LOCALLY NILPOTENT DERIVATIONS AND VARIABLES OF k[X, Y, Z]
• MAT 2762 --Fondements des mathematiques Devoir 1 --d^u le 1er octobre `a 10h (au debut du cours)
• http://aix1.uottawa.ca/ddaigle/2762/2762.html Mat 2762 Automne 2011
• Nom de famille (MAJUSCULES) Prenom (MAJUSCULES)
• Algbre linaire II (MAT 3541) Notes de cours ralises par Damien Roy
• http://aix1.uottawa.ca/ddaigle/3541/3541.html Mat 3541 Automne 2011
• `A remettre le vendredi 2 decembre. Devoir 3 : exercices 7.4.7 et 7.4.8 du manuel plus exercices (1), (2) et (3) ci-dessous.
• Solution du test 2 Repondez aux questions (1), (2) et (3), et `a une des questions (4), (5).
• 1. L'ordre lexicographique 1.1. Definition. Soient (A, A) et (B, B) deux ensembles partiellement ordonnes.
• Solution du devoir 1 (5) Soit K = {0, 1} le corps de deux elements (K = F2, voir page 222). Considerez la
• Exercices et devoir 1 Voici des suggestions d'exercices `a travailler, correspondant aux chapitres 14 du manuel.
• Les ensembles 1. Notions de base
• Nom de famille (MAJUSCULES) Prenom (MAJUSCULES)
• 1. Cardinalite Les ensembles N et Q ont-ils le m^eme nombre d'elements ?
• 1. Notes sur les relations d'ordre 1.1. Definition. Soient X un ensemble et n N. Une relation n-aire sur X est un
• Nom de famille (MAJUSCULES) Prenom (MAJUSCULES)
• MAT 2762 Automne 2009 La theorie des ensembles naive
• Exercices et devoir 2 Vous trouverez les questions du devoir 2 `a la fin de la liste.
• Nom de famille (MAJUSCULES) Prenom (MAJUSCULES)
• 1. Evaluation des polyn^omes Etant donnes un polyn^ome p A[x] et un element r d'un anneau R, comment
• MAT 2762 --Fondements des mathematiques --automne 2011 Solution du devoir 1
• Solution du devoir 2 (1) Soit K un corps fini.
• MAT 2762 --Fondements des mathematiques --automne 2011 Devoir 3 `A remettre mardi le 29 novembre
• 1. Forme normale de Smith Soit R un anneau commutatif.
• Remarques sur les preuves "par manipulations algebriques" (en logique propositionnelle)
• Comment prouver xA P(x) Preuve INCORRECTE
• Nom de famille (MAJUSCULES) Prenom (MAJUSCULES)
• MAT 2762 --Fondements des mathematiques --automne 2011 Solution du devoir 3 (remis le vendredi 2 decembre)
• MAT 2762 --Fondements des mathematiques --automne 2011 Devoir 1 --d^u le 30 septembre `a 10h (au debut du cours)
• MAT 2762 --Fondements des mathematiques --automne 2011 Solution du devoir 2 (devoir remis le 4 novembre)
• Mat 2762 Automne 2011 Reponses `a quelques exercices
• Solution du devoir 3 (remis le vendredi 2 decembre) Devoir 3 : exercices 7.4.7 et 7.4.8 du manuel plus exercices (1), (2) et (3) ci-dessous.
• MAT 2762 --Fondements des mathematiques --automne 2011 Devoir 2 `A remettre vendredi le 4 novembre
• MAT 2748 --Mathematiques discr`etes Devoir 2 --d^u le 9 fevrier au debut du cours
• MAT 2748 --Mathematiques discr`etes Devoir 1 --d^u le 26 janvier au debut du cours
• Mat1748: DGD du 8 fevrier 2012 (1) Soit A = {x R | il existe n Z satisfaisant (2n
• Mat1748: DGD du 29 fevrier 2012 Definition. Soit f : A B une fonction. Toute fonction g : B A satisfaisant
• 1. Equations de recurrence lineaire homog`ene de degre 2 Cas des racines complexes
• Mat 1748 Hiver 2012 `A remettre le 25 janvier au debut du DGD.
• Mat 1748 Hiver 2012 1. Les valuations
• Mat 1748 Hiver 2012 `A remettre soit le 7 mars au debut du DGD, soit le 8 mars avant 11:30 dans
• Mat1748: DGD du 7 mars 2012 (1) Soient R et S deux relations binaires sur un ensemble A. Montrez que R S est
• Mat 1748 Hiver 2012 Devoir 2 --Solution
• MAT 2748 --Mathematiques discr`etes Devoir 2 --d^u le 9 fevrier au debut du cours
• Mat 1748 Hiver 2012 `A remettre le 25 janvier au debut du DGD.
• MAT 2748 --Mathematiques discr`etes Examen de mi-session --le 16 fevrier 2012 --solution
• MAT 2748 --Mathematiques discr`etes Devoir 1 --d^u le 26 janvier au debut du cours
• MAT 2748 --Mathematiques discr`etes Devoir 3 --d^u le 15 mars au debut du cours
• LINEAR SYSTEMS OF RATIONAL CURVES ON RATIONAL SURFACES
• 1. Principe d'inclusion-exclusion Si E est un ensemble et k N, on ecrit k(E) = X (E) | |X| = k et
• Mat1748: DGD du 15 fevrier 2012 (1) Voici quelques tentatives de definitions de fonctions. Dans chaque cas, dites si oui
• MAT 1748 Mathematiques discr`etes pour l'informatique --hiver 2012 Professeur Daniel Daigle
• COMPLETE INTERSECTION SURFACES WITH TRIVIAL MAKAR-LIMANOV INVARIANT
• Mat 1748 Hiver 2012 `A remettre soit le 8 fevrier au debut du DGD, soit le 9 fevrier avant 11:30 dans
• Mat 1748 Hiver 2012 DGD du 25 janvier
• (1) Soit a R. Montrez que si a5 est irrationnel, alors a est irrationnel. (Suggestion
• Mat 1748 Hiver 2012 Logique propositionnelle
• Les ensembles 1. Notions de base
• Mat 1748 Hiver 2012 Methodes de preuve