Skip to content

gogotanaka/hilbert

develop
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
bin
Sep 16, 2022
Jun 9, 2015

Hilbert

Build Status Coverage Status Code Climate Dependency Status

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^9/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

poetry shell
poetry install
pytest

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.

About

👯 Implement mathematics.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages