Mechveliani Sergei Davidovich

Publications in Math-Net.Ru

1. Constructing provable programs for arithmetic of natural numbers in binary representation
   
   Program Systems: Theory and Applications, 9:4 (2018),  509–560
2. Programming computer algebra with basing on constructive mathematics. Domains with factorization
   
   Program Systems: Theory and Applications, 8:1 (2017),  3–46
3. Programming basic computer algebra in a language with dependent types
   
   Program Systems: Theory and Applications, 6:4 (2015),  313–340
4. On dependent types and intuitionism in programming mathematics
   
   Program Systems: Theory and Applications, 5:3 (2014),  27–50
5. Cost bound for LLL–Grigoryev method for factoring in $GF(q)[x,y]$
   
   Fundam. Prikl. Mat., 8:1 (2002),  129–139