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

    In Russian. Pereslavl-Zalessky, Russia, 2002.

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

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

  • "The Algebraic Domain Constructor DoCon". Manual manuscript and the source program.

    Pereslavl-Zalessky, 1997 -- 2014. docon

  • "On dependent types and intuitionism in programming mathematics".

    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.

  • "Programming basic computer algebra in a language with dependent types".

    In RUSSIAN. In electronic journal "Programmnye systemy: Theoria i prilozheniya". Vol. 6, No 4(27), 2015, pages 313 -- 340, progBasAlgDepType (1500 Kb)

  • "Programming computer algebra with basing on constructive mathematics. Domains with factorization".

    In RUSSIAN. In electronic journal "Programmnye systemy: Theoria i prilozheniya". Vol 8, No 1, 2017, 44 pages, provableFactor (1600 Kb)

  • "Geometry of the Discriminant Surface for Quadratic Forms". Manuscript. 26 pages.

    Electronic library of the Cornell University. October 2011. discrimSurf

  • "On a K5 problem by S. V. Duzhin".

    In Journal of Knot Theory and Its Ramifications, 2016, k5 (138 Kb)

  • "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

  • "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

  • "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