Skip to main content

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.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for shiroin, version 1.1.0
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

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page