https://github.com/athanclark/simplex-bland-coq
https://github.com/athanclark/simplex-bland-coq
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/athanclark/simplex-bland-coq
- Owner: athanclark
- License: mit
- Created: 2016-03-19T19:35:33.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2016-03-19T19:42:14.000Z (about 10 years ago)
- Last Synced: 2025-05-20T01:14:00.741Z (about 1 year ago)
- Language: Coq
- Size: 1.95 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Simplex: Bland's Finite Pivoting Method
This repository aims to formalize [Robert Bland's Finite Pivoting Method](http://www.ohio.edu/people/melkonia/math4620/bland.pdf)
for use in simplical optimization algorithms; as is used in the
[Cassowary Incremental Constraint Solver](https://constraints.cs.washington.edu/solvers/cassowary-tochi.pdf).
We aim to both implement (with termination proof implicit) the algorithm, and
_prove_ it's correct optimization. This is to support the design and implementation
of the Cassowary constraint solver - which additionally adds _weights_ with constraints,
which further convolutes the intended meaning and obvious design of the algorithm.
This project aims to clarify the behaviour of this simplical optimization.