- 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

- "About dependent types and intuitionism in programming mathematics".
**In Russian**.Electroinic journal "Programmnye systemy: Theoria i prilozheniya". ISSN 2079-3316. 2014. Vol. 5, No 3(21), pages 27 - 50.

depTsIntuit. Pereslavl-Zalessky, Russia, 2014.

- "Geometry of the Discriminant Surface for Quadratic Forms".
**Manuscript**. 26 pages.Electronic library of the Cornell University. October 2011. discrimSurf

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