Hilbert makes it possible to enjoy mathematics on PC without losing the feeling that you can get from using Pen and Paper.
TeX provides us high-quality mathematical formulae, but sometimes we want to execute them. Hilbert will allow you to compile codes into TeX. You can execute and get awesome formulae using Hilbert.
You will be able to use Hilbert within any widely used languages like Ruby, Haskell, Scala, Java, Python and even TeX without losing it's great intuitiveness.