>Existe algum mecanismo que diga se uma integral é soluvel analitacamente? Um ex-professor meu, João Sampaio, da UFSCar, uma vez me disse que esse mecanismo consistia em gerar um espaço vetorial de funções e provar que essa integral indefinida não poderia ser combinação linear de nenhuma das funções desse espaço. Não sei os detalhes...
[]s |