Giving a knot, there are three rules to help us finding the Kauffman bracket polynomial. Choosing knot’s orientation, then applying the Seifert algorithm to find the Euler characteristic and genus of its surface. Finally finding the relationship of the Kauffman bracket polynomial and the genus of the alternating links is the main goal of this paper.

Mechanisation of Mathematics refers to use of computers to generate or check proofs in Mathematics. It involves translation of relevant mathematical theories from one system of logic to another, to render these theories implementable in a computer. This process is termed formalisation of mathematics. Two among the many ways of mechanising are: 1 Generating results using automated theorem provers. 2 Interactive theorem proving in a proof assistant which involves a combination of user intervention and automation. In the first part of this thesis, we reformulate the question of equivalence of two Links in first order logic using braid groups. This is achieved by developing a set of axioms whose canonical model is the braid group on infinite strands B∞. This renders the problem of distinguishing knots and links, amenable to implementation in first order logic based automated theorem provers. We further state and prove results pertaining to models of braid axioms. The second part of the thesis deals with formalising knot Theory in Higher Order Logic using the interactive proof assistant -Isabelle. We formulate equivalence of links in higher order logic. We obtain a construction of Kauffman bracket in the interactive proof assistant called Isabelle proof assistant. We further obtain a machine checked proof of invariance of Kauffman bracket.

Cette thèse se divise en trois parties qui peuvent être toutes regroupées autour d'une même bannière : l'étude de structures algébriques reliées aux algèbres de type Askey–Wilson. Alors que dans la première partie on s'efforce d'obtenir des interprétations duales (au sens de Howe) de ces algèbres, dans les autres parties on étudie des généralisations de ces algèbres. Des dégénérations de l'algèbre de Sklyanin, générées par des blocs plus fondamentaux que ceux générant les algèbres de type Askey–Wilson, sont étudiées dans la deuxième partie et des généralisations de plus haut rang des algèbres de type Askey–Wilson sont étudiées dans la troisième partie. Dans la première partie, en invoquant la dualité de Howe, deux interprétations duales sont obtenues pour les algèbres de Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Hahn et dual \(-1\) Hahn. La façon dont la dualité de Howe opère est rendue explicite par l'examen de processus de réduction dimensionnelle. Un modèle superintégrable 2D de mécanique quantique superconforme dont l'algèbre de symétrie est celle de type dual \(-1\) Hahn est également introduit et solutionné. Dans la deuxième partie, des algèbres générées par des opérateurs de contiguïté et d'échelle encodant des propriétés de familles de polynômes sont étudiées. Ces opérateurs appartiennent à la classe des opérateurs de Sklyanin–Heun, qui peuvent être définis sur plusieurs grilles diverses. On découvre qu'ils génèrent des dégénérations de l'algèbre de Sklyanin. On démontre que les représentations irréductibles de dimension finie de ces algèbres ont pour base des familles de para-polynômes. Les grilles linéaires, quadratiques, exponentielles et d'Askey–Wilson sont étudiées et mènent respectivement aux polynômes orthogonaux des familles de para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk et \(q\)-para-Racah. Enfin, la façon dont les polynômes de para-Krawtchouk et d'autres familles de polynômes orthogonaux sont reliées aux représentations tridiagonales du plan de Jordan déformé est présentée. Dans la dernière partie, on explore des généralisations à plus haut rang pour les algèbres de Racah et Askey–Wilson. Pour ce faire, on étudie les réalisations de ces algèbres en termes de Casimirs intermédiaires. Le rôle de la matrice \(R\) tressée est élucidé : celle-ci permet de relier divers Casimirs intermédiaires entre eux par conjugaison. Un isomorphisme entre l'algèbre de skein du crochet de Kauffman de la sphère à 4 trous et l'algèbre engendrée par les Casimir intermédiaires dans \(U_q(\mathfrak{sl}_2)^{\otimes 3}\) est présenté et permet d'interpréter de façon diagrammatique la conjugaison par la matrice \(R\) tressée mentionnée ci-haut. Finalement, une présentation du centralisateur \(Z_n(\mathfrak{sl}_2)\) de \(U(\mathfrak{sl}_2)\) dans \(U(\mathfrak{sl}_2)^{\otimes n}\) par générateurs et relations est obtenue et on montre que ce centralisateur est isomorphe à un quotient (obtenu explicitement) de l'algèbre de Racah de plus haut rang \(R(n)\). / This thesis is divided in three parts which all orbit around the same theme: the study of algebraic structures related to the algebras of Askey–Wilson type. In the first part we obtain two interpretations that are dual in the sense of Howe for the algebras of Askey–Wilson type. Meanwhile, the other two parts are concerned with generalizations of these algebras. In the second part, we study degenerations of the Sklyanin algebra, which are built out of generators that are more fundamental than those of the Askey–Wilson algebra. In the last part, generalizations of the Askey–Wilson type algebras to higher rank are studied. In the first part, dual interpretations are obtained for the Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Higgs and dual \(-1\) Hahn algebras by invoking Howe duality. The way that this Howe duality operates is made explicit through the examination of a dimensional reduction procedure. A 2D superintegrable superconformal quantum mechanics model, whose symmetry algebra is the one of dual \(-1\) Hahn type, is also introduced and solved. In the second part, we study algebras that are generated by contiguity and ladder operators that encode properties of families of orthogonal polynomials. We show that these operators belong to the Sklyanin–Heun class of operators, which can be defined for various grids. We also show how their algebraic relations correspond to those of degenerations of the Sklyanin algebra. Then, we show how various families of para-polynomials support finite-dimensional irreducible representations of these degenerate algebras. From the linear, quadratic, exponential and Askey–Wilson grids, we are respectively led to the para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk and \(q\)-para-Racah polynomials. Later, we connect the para-Krawtchouk polynomials (and other families of orthogonal polynomials) to tridiagonal representations of the deformed Jordan plane. In the final part, we explore higher rank generalizations of the Racah and Askey–Wilson algebras. To that end, their realizations in terms of intermediate Casimir elements are studied. The role of the braided \(R\)-matrix is understood as follows: it connects various intermediate Casimir elements through conjugation. We obtain an isomorphism between the Kauffman bracket skein algebra of the four-punctured sphere and the algebra generated by the intermediate Casimir elements in \(U_q(\mathfrak{sl}_2)^{\otimes3}\). This leads to a diagrammatic interpretation of the conjugation by the braided \(R\)-matrix mentioned in the above. Lastly, a presentation of the centralizer \(Z_n(\mathfrak{sl}_2)\) of \(U(\mathfrak{sl}_2)\) in \(U(\mathfrak{sl}_2)^{\otimes n}\) by generators and relations is obtained and we show that this centralizer is isomorphic to a quotient (which we provide explicitly) of the higher rank Racah algebra \(R(n)\).