Hilbert

Hilbert lets you have a sense of mathematics using a keyboard, the same as you would with a pen.

#philosophy

Enjoy mathematics with keyboard like with pen and paper.
Implement 'mathematics'

with Pen and paper

+-------------+       +--------------+       +---------------+
| Mathematics | <-->  | Human brains | <-->  | Pen and paper |
+-------------+       +--------------+       +---------------+

with Hilbert

+-------------+       +--------------+       +---------+
| Mathematics | <-->  | Human brains | <-->  | Hilbert |
+-------------+       | or computer  |       +---------+
                      +--------------+

Demo

xxxxyyyxxzz
=> (x^6)(y^3)(z^2)

f(x)=xxxxxxxx
f(2)
=> 256

df/dx
=>8(x^7)

S(f dx)
=>x^8/8

lim[x->0](1/x)
=> oo

Basic algebra

f(x,y)=xy
f(3,2)
#=> 6

f(s,t)
#=> st

g(s)=f(s,2)
g(u)
#=> 2u

Differentiate

d/dx(cos(x))
=> -sin(x)

d/dy(xy)
=> x

d/dx(e^x)
=> e^x

Integrate

S(log(x)dx)
=> x*log(x) - x

S(sin(x)dx)
=> -cos(x)

Limit

lim[x->0](1/x)
=> oo

Function

f(x, y) = xy
f(1, 2)
=> 2

Develop

Run test

pip install ply sympy
python lib/hilbert/test_main.py

Try

./bin/hilbert

Any PRs or issues are welcome. (Please make them to the develop branch.)

You can become a committer, even if you only commit once.

chalure/hilbert