In Russian. Pereslavl-Zalessky, Russia, 2002.
In Proceedings of International Workshop CAAP-2001, Dubna, Russia. hscaDub (40 Kb)
Pereslavl-Zalessky, 1997 -- 2014. docon
In e-library of Cornell University, 2017, depTypeAndIntu (300 Kb)
This is a revised version of the paper depTsIntuit written in Russian, Electroinic journal "Programmnye systemy: Theoria i prilozheniya". ISSN 2079-3316. 2014. Vol. 5, No 3(21), pages 27 - 50.
In RUSSIAN. In electronic journal "Programmnye systemy: Theoria i prilozheniya". Vol. 6, No 4(27), 2015, pages 313 -- 340, progBasAlgDepType (1500 Kb)
In RUSSIAN. In electronic journal "Programmnye systemy: Theoria i prilozheniya". Vol 8, No 1, 2017, 44 pages, provableFactor (1600 Kb)
Electronic library of the Cornell University. October 2011. discrimSurf
In Journal of Knot Theory and Its Ramifications, 2016, k5 (138 Kb)
In Proceedings of the First International Workshop on Metacomputation in Russia (edited by A.P. Nemytykh), pages 119-130.
Pereslavl-Zalessky, Russia, July 2008. Published by University of Pereslavl-Zalessky, 2008.
trwVerif(130 Kb)
In Proceedings of International Conference AISC-2004, edited by J.A. Campbell and B. Buchberger,
Linz, Austria, September 2004. LNAI, Volum 3249, pages 281-284, Springer Verlag, 2004.
In Proceedings of the conference "Program systems: theory and applications" (in Russian), Pereslavl-Zalessky, 2004, Volum 1, pages 487-507.
Russian version is in J. of Fundamental and Applied Mathematics ("Fundamentalnaya i prikladnaya matematika"), 2002, Vol. 8, release 1, MSU, Moscow.
Electronic copy: FPM English translation (draft): ovfEngDraft
Its short version "The Haskell functional language and computer algebra". is printed in
"Mathematics, informatics: theory and applications" (in Russian):
Proceedings of Program Systems Institute and University of Pereslavl-Zalessky, pages 56-64, 2003.
Lecture Notes in Computer Science, Vol.722 (1993), pp.354-358
Dumatel-1.02. Book manuscript and source program system.
Pereslavl-Zalessky, 2005. dumatel-1.02 (440 Kb).
See book.ps in the archive dumatel-1.02.zip