| http://www.w3.org/ns/prov#value | - This type of mathematics has a practical side (developing algorithms, writing programs and nicely displaying the results) and a theoretical side (mainly, proving rates of convergence and obtaining complexity estimates for many different kinds of algorithms).
|