Publications de
Alexandre Flegontov, Ludmila Fedorchenko, Sergei Soloviev
The use of type theory in symbolic computations. (Russian)
Dans : Informatica i svyaz (Informatics and communication.), Vol. 1, N. 2003, p. 68-76, 2003.
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.