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