Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Alexandre Flegontov

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers
  • Alexandre Flegontov, Sergei Soloviev. Computer Algebra, Types and Proofs. Dans : Seventh International Workshop on Computer Algebra in Scientific Computing, St.Petersburg, Russia, 12/07/2004-19/07/2004, V. G. Ganzha, E. V. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 155-163, juillet 2004.
    Résumé
    BibTeX

  • Alexandre Flegontov, Sergei Soloviev. Type Theory in Differential Equations. Dans : International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT-2002), Moscow, Russia, 24/06/2002-28/06/2002, Elsevier Science, p. 649-650, juin 2002.
    Résumé
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings