Software for proving inequalities
Shiro Inequality Prover (ShiroIn)
A Python library for proving polynomial inequalities. It uses SciPy and SymPy.
- Python >=3.5
- git (if you install from GitHub)
- Jupyter Notebook (recommended way of using ShiroIn)
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
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.
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 the file for your platform. If you're not sure which to choose, learn more about installing packages.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size shiroin-1.1.0-py3-none-any.whl (12.9 kB)||File type Wheel||Python version py3||Upload date||Hashes View|
|Filename, size shiroin-1.1.0.tar.gz (8.8 kB)||File type Source||Python version None||Upload date||Hashes View|