Publications

Publications de

Articles dans une revue
Communications dans un congrès
  • Alexandre Flegontov, Sergei Soloviev

    Computer Algebra, Types and Proofs

    Dans : Seventh International Workshop on Computer Algebra in Scientific Computing, St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. V. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 155-163, juillet 2004.

    Résumé
    BibTeX

  • Ludmila Fedorchenko, Alexandre Flegontov, Sergei Soloviev

    Type theory, computer algebra and computer-assisted proofs. (In Russian.)

    Dans : 8-th St. Petersbourg International Conference “Regional Informatics-2002”, St. Petersbourg, Russie, 26/11/02-28/11/02.

    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/02-28/06/02, Elsevier Science, p. 649-650, juin 2002.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par