Leibniz examples

Leibniz by example is the first example you should look at, because it contains many explanations of Leibniz itself. You can also consult the machine-readable version of the equations it contains as an XML file, and have a look at the source code from which both the human-readable and the machine-readable versions are generated.

Other examples:

• Basic mathematical functions (XML, source code)
• Euclid's GCD algorithm for the greatest common divisor of two natural numbers (XML, source code)
• Heron's algorithm for computing square roots (XML, source code)
• Boolean algebra, (XML, source code])
• Masses and mass units (XML, source code)
• A more general framework for physical quantities (XML, source code)
• A framework for point mechanics (XML, source code) that builds on the quantities framework
• An application of the mechanics framework: the motion of a mass on a spring (XML, source code)