\( \newcommand\D{\mathrm{d}} \newcommand\E{\mathrm{e}} \newcommand\I{\mathrm{i}} \newcommand\bigOh{\mathcal{O}} \newcommand{\cat}[1]{\mathbf{#1}} \newcommand\curl{\vec{\nabla}\times} \newcommand{\CC}{\mathbb{C}} \newcommand{\NN}{\mathbb{N}} \newcommand{\QQ}{\mathbb{Q}} \newcommand{\RR}{\mathbb{R}} \newcommand{\ZZ}{\mathbb{Z}} \)
UP | HOME

Table of Contents

1. Introduction

It turns out that symbolic integration can be done quickly if we use tables to do most of the heavy work. Therefore, it seems that there should be able to implement something like this in Lisp.

2. References

  • RUBI (RUles-Base Integration) package for Mathematica
  • Manuel Bronstein,
    Symbolic Integration I: Transcendental Functions.
    Second ed., Springer.

Last Updated 2022-05-03 Tue 10:40.