Formula Solver

This is stopping now.



example: mc^2, e^{jx}, \sin^2x+\cos^2x

What is this?

This is testing implementation of formula solver. This uses Wikipedia Formula Search.

Source code

reform.rb
Formula simplifier. You can check formula conversion rule from this file.
commit.rb
Formula registerer.
commit_tex.rb
Formula registerer for TeX.
commit_wp.rb
Formula registerer for Wikipedia.
solve.rb
Formula solver.
They are distributed under GPL2 or later.

Resources

QDBM is used as backend DB.

Now, the data is from Wikipedia and Wikipedia japan and PlanetMath. There are 110575 formulas.

I referred to Ajax IME as Ajax sample.


home / index -->

hamaji _at_ nii.ac.jp / shinichiro.h