Hi c_str -- yes, that's about it. I will often write my algorithms in Mathematica, prove them correct using a combination of symbolic, graphical, and numerical methods, and then rewrite the algorithms by hand in C or C# or JavaScript or whatever is needed with more than usual confidence. I am currently blogging a series of exercises in this technique using three languages: Prolog, Mathematica, and LINQ / C# at rebcabin.wordpress.com. You're invited to pop over there and play along.