Sergey Sinchuk

According to our database, Sergey Sinchuk authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Decompositions of congruence subgroups of Chevalley groups.

Sergey Sinchuk, Andrei Smolensky

Int. J. Algebra Comput., 2018

2016

Verified Operational Transformation for Trees.

Sergey Sinchuk, Pavel Chuprikov, Konstantin Solomatov

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016