Subject: [boost] Is there interest in Computable Calculus?
From: Alexander Lauser (alxlaus_at_[hidden])
Date: 2016-01-14 15:59:09
Hi,
An arithmetic operation produces a new function using the functions in
the operands and some simple expression manipulations.
if I gather it right, then what you propose is basically a Computer
Algebra System (i.e., a system for manipulating reals by symbolic
expressions). What specifically would the goal of the library be?
Best,
Alex