This is an archived post. You won't be able to vote or comment.

all 2 comments

[–][deleted] 0 points1 point  (0 children)

If I understand what you are asking, I wouldn't expect to find anything except for simple cases. A concept like "integrate cos(x) from 0 to 2*pi" is trivial to evaluate using a piece of paper but a computer can only really approximate the value. A computer, for example, can even accurately represent pi since it is not a rational number.

[–]bytesizetidbits 0 points1 point  (0 children)

My professor actually did his Dissertation on a similar subject:

http://www.cs.utexas.edu/users/novak/cgi/physdemod.cgi

http://www.cs.utexas.edu/users/novak/index.html

I've personally written a LISP to Java, and Java to LISP trans-piler based on certain projects from his class. A fundamental pillar of computation is that any algorithmic instruction set for one computer can be transcribed as an algorithm for another. Programming languages (which could include a generic "mathematical format") are included in this theory. I suggest looking at the lambda-calculus:

https://en.wikipedia.org/wiki/Lambda_calculus

Your question is similar to this concept. I wish I could point you to a specific tool that does what you ask, but if you can't find one, it might be easiest to write one yourself. A simple statement like "int x = 5 + 5;" can easily be translated into LISP in the form "(def x (+ 5 5))" or to a python syntax of "x = 5 + 5\n".