• Ph.D dissertation "Functional programming and categorial approach in computer algebra" ouvrage (250 Kb)

    In Russian. Pereslavl-Zalessky, Russia, 2002.

  • "An Experience with Term Rewriting for Program Verification".

    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)

  • "From a computer algebra library to a system with an equational prover"

    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.

  • "On research in automating computation and proofs" (in Russian).

    In Proceedings of the conference "Program systems: theory and applications" (in Russian), Pereslavl-Zalessky, 2004, Volum 1, pages 487-507.

  • "Cost bound for LLL-Grigoryev method for factoring in GF(q)[x,y]"

    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

  • "Computer algebra with Haskell: applying functional-categorial-`lazy' programming"

    In Proceedings of International Workshop CAAP-2001, Dubna, Russia. hscaDub (40 Kb)

  • "Haskell and computer algebra". haskellInCA (62 Kb) Pereslavl-Zalessky, 2000.

    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.

  • "The Algebraic Constructor CAC : computing in Construction-Defined Domains".

    Lecture Notes in Computer Science, Vol.722 (1993), pp.354-358

  • "What should be a universal functional language?" Manuscipt. Pereslavl-Zalessky, 2002. whatsh (40 Kb)

  • "The Algebraic Domain Constructor DoCon, version 2.10". Manual manuscript and source program.

    Pereslavl-Zalessky, 2007. docon-2.10 (1214Kb).

    See manual.ps in the archive docon-2.10.zip

  • "Term rewriting, Equational reasoning, Automatic proofs."

    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