Bibtex de la publication

@Article{ FlFeSo2003.1,
author = {Flegontov, Alexandre and Fedorchenko, Ludmila and Soloviev, Sergei},
title = "{The use of type theory in symbolic computations. (Russian)}",
journal = {Informatica i svyaz (Informatics and communication.)},
year = {2003},
volume = {1},
number = {2003},
pages = {68--76},
abstract = {Survey of problems appearing in use of type theory and proof-assistants in symbolic computations (with examples from the theory of differential equations).}