1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Opción 2: Descargar recurso

Detalles del recurso

Descripción

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.

Pertenece a

ETD at Indian Institute of Science  

Autor(es)

Prathamesh, Turga Venkata Hanumantha - 

Id.: 70950701

Idioma: inglés (Estados Unidos)  - 

Versión: 1.0

Estado: Final

Palabras claveKnot Theory - 

Tipo de recurso: Thesis  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

Requerimientos técnicos:  Browser: Any - 

Relación: [References] G26934

Fecha de contribución: 01-feb-2018

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. A classification of Klein links as torus links We classify Klein links. In particular, we calculate the number and types of components in a [math] ...
  2. Concordance and mutation We provide a framework for studying the interplay between concordance and positive mutation and iden...
  3. Span of the Jones polynomial of an alternating virtual link For an oriented virtual link, L H Kauffman defined the [math] –polynomial (Jones polynomial). The su...
  4. Relationships between braid length and the number of braid strands For a knot [math] , let [math] be the minimum length of an [math] –stranded braid representative of ...
  5. Klein links and related torus links In this paper, we present our constructions and results leading up to our discovery of a class of Kl...

Otros recursos de la mismacolección

  1. A Multiscale Modeling Study of Iron Homeostasis in Mycrobacterium Tuberculosis Mycobacterium tuberculosis (M.tb), the causative agent of tuberculosis (TB), has remained the larges...
  2. On an ODE Associated to the Ricci Flow We discuss two topics in this talk. First we study compact Ricci-flat four dimensional manifolds wit...
  3. Single and Multi-player Stochastic Dynamic Optimization In this thesis we investigate single and multi-player stochastic dynamic optimization prob-lems. We ...
  4. Study of Higher Order Split-Step Methods for Stiff Stochastic Differential Equations Stochastic differential equations(SDEs) play an important role in many branches of engineering and s...
  5. Development of Efficient Computational Methods for Better Estimation of Optical Properties in Diffuse Optical Tomography Diffuse optical tomography (DOT) is one of the promising imaging modalities that pro- vides function...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.