Persons: Mechveliani, Sergei Davidovich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Mechveliani, Sergei Davidovich

Senior Researcher

Candidate of physico-mathematical sciences (2002)

Speciality:

01.01.09 (Discrete mathematics and mathematical cybernetics)

E-mail:

Website:

Keywords:

symbolic computation, computer algebra.

UDC:

519.6, 512.62

Subject:

Symbolic computation. Computer algebra.

Main publications:

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

	Publications in Math-Net.Ru	Citations
	2018
1.	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	1
	2014
4.	S. D. Meshveliani, “On dependent types and intuitionism in programming mathematics”, Program Systems: Theory and Applications, 5:3 (2014), 27–50	3
	2002
5.	S. D. Mechveliani, “Cost bound for LLL–Grigoryev method for factoring in $GF(q)[x,y]$”, Fundam. Prikl. Mat., 8:1 (2002), 129–139

Organisations