Rectangular diagrams of knots and a 'brute force' method to distinguish Legendrian knots

The talk is based on a joint ongoing work with Maxim Prasolov. Our main objects of interest are rectangular diagrams of knots, which are a promising tool in knot theory. They appear to be intimately related to Legendrian knots.
Whereas the problem of comparing topological types of two knots is solvable both theoretically and—for a small number of crossings—practically, there is no regular method to decide whether two Legendrian knots having the same topological type and the same classical invariants are equivalent or not. A lot is known in particular cases, but there remain open questions even for knots with just six crossings.
Recently, we extended the formalism of rectangular diagrams to representations of surfaces. This formalism turned out to work nicely for Giroux's convex surfaces. The latter are very useful for distinguishing contact structures and Legendrian knots. By using our formalism and properties of Giroux's convex surfaces we introduce a combinatorial method to distinguish Legendrian knots.