New posts in Differential Algebra

Inconsistencies in the definition of derivative of a polynomial over a field

How can you prove that a function has no closed form integral?

Does there exist a complete implementation of the Risch algorithm?