Notions de géométrie algébrique

Test de conformité : une approche algébrique

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...

Géométrie Algébrique/algebraic Geometry Analytic Invariants in Arakelov Theory for Curves Invariants Analytiques Arakeloviens Pour Les Courbes

Arakelov theory for Riemann surfaces is based on two analytic invariants: the Green function and Faltings δ invariant. Both invariants are hard to compute and they are only known in a few cases (cf. [3],[1]). They are related by a formula of Faltings, which also involves the theta-function on the jacobian of the curve. In any case, it is an ineffective relation, because three of the four terms ...

Méthodes de géométrie de l'information pour les modèles de mélange. (Information-geometric methods for mixture models)

Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM

AROM est un système de représentation de connaissances reposant, à l’image des diagrammes de classes d’UML, sur deux types d’entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d’inférence. Ce langage permet l’écriture d’équations, de contraintes, et de requêtes, impliqua...

Résumés disponibles

Systèmes d'´ equations polynomiales : de la géométrie algébrique aux applications industrielles. Près de Buenos Aires, Argentine.