Is there any program to incorporate lyx with a (symbolic/numeric)
calculator ?
what I have in mind is linking the current code with an existing
symbolic calculator
which will maintain a DB of equations and sizes declared on a document,
which it
will use to calculate, simplify and display mathematical objects.
that way, you can have both an editor and a solver, and proofs have much
less of a chance to have a bug in them.
(a later stage will be to have an automatic math checker, to discover
some of the bugs)
as I see it , there are 3 things to be done here:
1) a symbolic calculator.
I know of 1 which open source and ready for the taking, but this just
shows
my ignorance, I'm sure there are a LOT of good ones.
2) a parser for the equations
this you must have as a part of the lyx project itself, if I'm not
mistaken.
3) integration of the above 2 parts and the lyx/klyx we know.
this I think will actually be most of the work.
please reply to:
[EMAIL PROTECTED]
or
[EMAIL PROTECTED]
as I'm not a Lyx developer, and therefore not on the list.
regards.
--Guy Baruch.
