# Formula Solver

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