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.
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.
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.
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.