Den bakomliggende teorien stammer blant annet ifra Joseph Liouville. Robert Risch utviklet teorien til en systematisk metode og beskrev den 1969 i artikkelen Algoritmen er en hjørnestein i moderne dataalgebrasystem, men veldig komplisert å implementere praktisk.