Software for proving inequalities
Project description
Shiro Inequality Prover (ShiroIn)
A Python library for proving polynomial inequalities. It uses SciPy and SymPy.
Prerequisites
- Python >=3.5
- pip
- git (if you install from GitHub)
- Jupyter Notebook (recommended way of using ShiroIn)
Installation
Copy one of these commands in terminal/cmd.
- Install from PyPI repository.
pip install shiroin - Install from GitHub.
pip install git+https://github.com/urojony/shiroin
If you can't install libraries (for example you don't have administrator rights), try to add --user to command.
Note that ShiroIn works only for python3, if your default python is python2, then you should probably write pip3 instead of pip.
You can also copy shiroin/init.py file to your computer and rename it to shiroin.py, but then you have to add directory with this file to PYTHONPATH or navigate to this directory each time before running python in terminal/cmd.
Tutorial
The tutorial is in the tutorial.ipynb file. You can also check examples.py for more examples of usage and statistics.ipynb for some approaches to automate proving inequalities even more.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
