- 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