If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Сергей Сергеевич Синчук is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 8 Similar Profiles
Chevalley Groups Математика
Centrality Математика
Injective Математика
Root System Математика
Groupware Технические дисциплины и материаловедение
Concurrency control Технические дисциплины и материаловедение
Decompose Математика
Factorization Математика

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2019 2019

Dog_2019: Разработка методов увеличения прогнозной способности трёхмерных цифровых геологических моделей

Тихомиров, С. Б., Баранов, А. Д., Лифшиц, М. А., Платонова, М. В., Ананьевский, А. С., Боровицкий, В. А., Гаваза, К. Г., Иконникова, Е. В., Мостовский, П. А., Апушкинская, Д. Е., Белов, Ю. С., Романов, Р. В., Бахарев, Ф. Л., Енин, А. И., Крицкий, М. М., Матвеенко, С. Г., Россомахина, М. В., Фадеева, О. В., Ковылина, Е. О., Загороднюк, А. А., Давыдов, Ю. А., Гвоздевский, П. Б., Камполи, Л., Лишанский, А. А., Петрова, Ю. П., Растегаев, Н. В., Синчук, С. С., Теплицкая, Я. И., Якубович, Ю. В., Чухров, А. К. & Туник, М. Ю.

31/05/1930/09/19

Project

Research Output 2009 2018

  • 13 Citations
  • 2 h-Index
  • 17 статья
  • 1 статья в сборнике материалов конференции
Chevalley Groups
Congruence Subgroups
Decompose
Commutative Ring
Factorization
Smith Normal Form
Integer Matrix
Computing
1 Citation (Scopus)

On centrality of even orthogonal K2

Lavrenov, A. & Sinchuk, S., 1 May 2017, In : Journal of Pure and Applied Algebra. 221, 5, p. 1134-1145 12 p.

Research output

Centrality
Root System

Verified operational transformation for trees

Sinchuk, S., Chuprikov, P. & Solomatov, K., 1 Jan 2016, Interactive Theorem Proving - 7th International Conference, ITP 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 358-373 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9807 LNCS).

Research outputpeer-review

Groupware
Concurrency control
Proof of correctness
Concurrency Control
2 Citations (Scopus)
Chevalley Groups
Centrality
Root System
Commutative Ring
Analogue