Hi Mr. Don,
I'm not a professional programmer nor a mathmatic worker.As a mechanical designer,I often use Maple to engineering compute and sometimes use to infer some formulae. So I expect F# have some featruer like Maple, the next advises just represent the habit of myself.The next are some examples for logical program in my mind.If they are unbecoming to,I beg your pardon.

example polynomial expand:
let c =
(x+a)(x+b) // c's type is a built-in type means a polynomial.
let d = expand a // expand is a built-in function to expand polynomial.
print_poly d // output a polynomial
example solve equation or equation group:
let my_equation =
x + y = b
x - y = c //my_equation's type is a built-in type means equation_group
let my_result = solve my_equation
print_equation my_result
let my_vec = convert_equation_result_to_vector my_result // use a built in function to use the result
. . .

example solve a math function's integral

let my_integral = ∫ (ax + b) ( 0<x<10)// ∫ is a built-in operator .
let my_other_integral = ∫ (ax + b) // a indefinite integral
let my_more_inegral = ∫ (ax + b) ( 0<x<10 && a = 1 && b = 2) //we can tell the program a's and b's value

example differential coefficient

let f(x) :MathFunction = ax + b
let g(x) = f(x) ' // " ' " is built-in operator for MathFunction differential coefficient

. . .

these are just some blurry examples in my mind. Maybe these are kicks in my gallop. Oh,but I hopes they'll implement in the future of F#. Wish you play the F# language most beautifull in the world!

Thanks

Leo