Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
André Hirschowitz
André Hirschowitz
at_id:
orcid_id:
Disciplines:
Common sciences and techniques
Mathematics
Edit
Merge
See Links
Directed Thesis:
Modèles de l'univalence dans le cadre équivariant
Initiality for typed syntax and semantics
Typed abstract syntax
Courbes elliptiques sur un anneau et applications cryptographiques
Formalisation en Coq de modèles cryptographiques idéalisés et application au cryptosystème ElGamal
Sur la formalisation des mathématiques dans le calcul des constructions inductives
Sur l'incidence des strates de Brill-Noether du schéma de Hilbert des points du plan projectif
Etude du résultant sur une variété algébrique
Systemes lineaires de courbes planes
Sur la resolution des fibres instantons generaux
Geometrie des varietes de iarrobino
Familles maximales de systèmes de points surabondants dans le plan projectif
Interpolation à plusieurs variables
Sur le schéma de Hilbert des courbes rationnelles de P3
La classe rationnelle des schémas de Hilbert des courbes planes ou gauches
On the homogeneous ideal of the generic union of lines in the projective 3-space
Postulation dans l'espace projectif de dimension quatre avec applications à la classification des surfaces rationnelles dans l'espace projectif de dimension quatre
Fibrés vectoriels algébriques de rang 3 sur le plan projectif à cohomologie naturelle
Points rationnels de courbes génériques et de leurs jacobiennes