Philippe Batifoulier (dir.), Théorie des conventions

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...

Une Théorie des Constructions Inductives

Journal de Théorie des Nombres

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Génèse de la théorie des Réseaux de Petri 1962-1973

La théorie des réseaux de Petri est née de la thèse de Carl Adam Petri [PE 62]. Mais, bien d’autres chercheurs ont contribué à ce qui est devenu “les réseaux de Petri”. Certains sont explicitement partis des travaux de Carl Adam Petri, les ont légèrement modifiés et ont développé les notions que ce dernier avait introduites. D’autres ont menés indépendamment des travaux sur la représentation et...