Publications of
Alexandre Flegontov, Ludmila Fedorchenko, Sergei Soloviev
The use of type theory in symbolic computations. (Russian)
In : Informatica i svyaz (Informatics and communication.), Vol. 1, N. 2003, pp. 68-76, 2003.
Alexandre Flegontov, Sergei Soloviev
Computer Algebra, Types and Proofs
In : 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, pp. 155-163, July 2004.
Ludmila Fedorchenko, Alexandre Flegontov, Sergei Soloviev
Type theory, computer algebra and computer-assisted proofs. (In Russian.)
In : 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
In : International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT-2002), Moscow, Russia, 24/06/02-28/06/02, Elsevier Science, pp. 649-650, June 2002.