Manuel Bronstein wrote a book [1] about symbolic integration, but unfortunately it only covers the transcendental part. There is also a shorter "tutorial" from some workshop [2]. [1] Manuel Bronstein: Symbolic…
Mathematica does not have a complete implementation of the Risch algorithm. It actually cannot do the integral in the mathoverflow question. Macaulay2 has a focus on commutative algebra and algebraic geometry and…
Unfortunately this is not complete, because it does not work with integrals that require algebraic extensions (they are more complicated than transcendental extensions).
> What does "holographically dual" mean? > What boundary are we talking about here? "Boundary" refers to the boundary of Anti-de Sitter (AdS) space. The model that is typically studied is that of five-dimensional AdS…
Manuel Bronstein wrote a book [1] about symbolic integration, but unfortunately it only covers the transcendental part. There is also a shorter "tutorial" from some workshop [2]. [1] Manuel Bronstein: Symbolic…
Mathematica does not have a complete implementation of the Risch algorithm. It actually cannot do the integral in the mathoverflow question. Macaulay2 has a focus on commutative algebra and algebraic geometry and…
Unfortunately this is not complete, because it does not work with integrals that require algebraic extensions (they are more complicated than transcendental extensions).
> What does "holographically dual" mean? > What boundary are we talking about here? "Boundary" refers to the boundary of Anti-de Sitter (AdS) space. The model that is typically studied is that of five-dimensional AdS…