some python code for revenue management
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A tool for teaching simplex and branch & bound methods. Simplex tableau will be shown and may be saved to excel file. For the branch and bound method, a binary tree shows the branches. A simple format is used to specify models. You need Python to run.
Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also able to deduce correctness of certain simplification steps that would otherwise not be performed.
Public repository.