https://github.com/siraben/senior-thesis

LaTeX sources for my undergraduate thesis
https://github.com/siraben/senior-thesis

coq formalization graph-theory thesis

Last synced: 5 days ago
JSON representation

LaTeX sources for my undergraduate thesis

• Host: GitHub
• URL: https://github.com/siraben/senior-thesis
• Owner: siraben
• License: mit
• Created: 2023-02-23T16:28:34.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-05-11T04:10:45.000Z (over 1 year ago)
• Last Synced: 2024-11-17T05:46:05.458Z (2 months ago)
• Topics: coq, formalization, graph-theory, thesis
• Language: TeX
• Homepage:
• Size: 791 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md
  • License: LICENSE
  • Citation: citations.bib

Awesome Lists containing this project

README

        
# Formalizing graph theory in type theory

![Build status](https://github.com/siraben/senior-thesis/actions/workflows/build.yml/badge.svg)

This repository contains the source files for a formalization of graph

theory in type theory, including a review of various formalization

approaches found in the literature, an implementation of Wigderson's

graph coloring algorithm, and other related materials.

## Abstract

Despite the rich theory and extensive applications of graph theory in

computer science and mathematics, formal developments of graph theory

have mostly been restricted to specific applications or definitions of

graphs. In this work, we present progress towards the formalization of

Wigderson's graph coloring algorithm through our own novel

approach. We also provide a comprehensive review of various

formalization approaches found in the literature, examining their

motivations, theoretical design choices, and the robustness of their

conclusions.

## Requirements

- Emacs 26 or later

- LaTeX distribution (e.g., TeX Live, MacTeX)

## Usage

To generate the PDF file from the `.org` source file, simply run

make. This will generate the `.tex` file using Emacs, and then compile

it to a PDF using `latexmk`.

## Credits

This work was written by Siraphob (Ben) Phipathananunth.

## License

This work is licensed under the MIT License. See the `LICENSE` file

for details.