S. D. Meshveliani, “Otsenka slozhnosti sposoba LLL–Grigoreva faktorizatsii v GF(q)[x,y]”, Fundamentalnaya i prikladnaya matematika, 8:1 (2002), 129–139
S. D. Mechveliani, “Computer algebra with Haskell: applying functional-categorial-‘lazy’ programming”, Proceedings of International Workshop CAAP-2001 (Dubna, Russia), 2001, 203–211; http://ca-d.jinr.ru/confs/CAAP/Final/proceedings/proceed.ps
S. D. Mechveliani, “Constructing provable programs for arithmetic of natural numbers in binary representation”, Program Systems: Theory and Applications, 9:4 (2018), 509–560
2017
2.
S. D. Meshveliani, “Programming computer algebra with basing on constructive mathematics. Domains with factorization”, Program Systems: Theory and Applications, 8:1 (2017), 3–46
2015
3.
S. D. Meshveliani, “Programming basic computer algebra in a language with dependent types”, Program Systems: Theory and Applications, 6:4 (2015), 313–340