>>>>> "Belilty" == Belilty Galith <[EMAIL PROTECTED]> writes:
Belilty> Is there any program to incorporate lyx with a
Belilty> (symbolic/numeric) calculator ? what I have in mind is
Belilty> linking the current code with an existing symbolic calculator
Belilty> which will maintain a DB of equations and sizes declared on a
Belilty> document, which it will use to calculate, simplify and
Belilty> display mathematical objects. that way, you can have both an
Belilty> editor and a solver, and proofs have much less of a chance to
Belilty> have a bug in them. (a later stage will be to have an
Belilty> automatic math checker, to discover some of the bugs)
Of course, adding such a feature to LyX would be great, but a lot of
work. I think that the best way is to have a separate program which is
able to talk with LyX through the lyxserver.
JMarc
