Obyčejné diferenciální rovnice

• Kovacicův algoritmus pro diferenciální rovnice typu
  
  a y''+b y' + c y =0
  
  
  kde a, b, c jsou polynomy v x (implementován v MACSYMA)

• Singerův algoritmus pro diferenciální rovnice typu
  
  $$y^{(n)}+c_{n-1} y^{(n-1)}+\ldots+c_1 y'+c(0) y=0$$
  
  
  kde c_n-1,...,c₀ jsou racionální lomené funkce nebo algebraické funkce (zatím neimplementován - obrovská složitost)

• algoritmy hledají Liouvillovské řešení (tj. racionální lomené funkce rozšířené o algebraické funkce, exponenciální funkce a integrály), případně rozhodují, že takové řešení neexistuje

• příklady