Codac extensions

• SymPy (for symbolic mathematics)
  • Installing the codac-sympy extension
  • Simplification
    • sympy_simplify()
  • Partial derivatives and symbolic derivatives
    • sympy_partial_diff()
    • sympy_diff()
  • Gradient, Hessian and Jacobian
    • sympy_gradient()
    • sympy_hessian()
    • sympy_diff()
  • Symbolic equality
    • sympy_equal()
  • Series expansions
    • sympy_series()
  • Horner form
    • sympy_horner()
  • Relationship with interval automatic differentiation
  • Extending the bridge
• CAPD (rigorous numerics in dynamical systems)
  • Installing the codac-capd extension
  • Content
  • How to use
  • Example