@inproceedings{Salvy:ISAAC:2005,
    Address = {New York, NY, USA},
    Author = {Salvy, Bruno},
    BookTitle = {Proc. of ISAAC'05},
    File = {D-finiteness- Algorithms and Applications - issac2005 - a - y.pdf},
    ISBN = {1595930957},
    Keywords = {elimination, creative telescoping, linear differential equations, computer algebra, linear recurrences},
    Location = {Beijing, China},
    Pages = {2--3},
    Publisher = {ACM},
    Title = {D-Finiteness: Algorithms and Applications},
    URL = {https://doi.org/10.1145/1073884.1073886},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1145/1073884.1073886},
    date-added = {2020-10-18 18:14:38 +0200},
    date-modified = {2021-01-18 17:43:16 +0100},
    file-2 = {D-finiteness- Algorithms and Applications - d\_finiteness\_algorithms\_and\_applications - a - y.pdf},
    numpages = {2},
    doi = {10.1145/1073884.1073886}
}

@inproceedings{Salvy:ISAAC:2005, Address = {New York, NY, USA}, Author = {Salvy, Bruno}, BookTitle = {Proc. of ISAAC'05}, File = {D-finiteness- Algorithms and Applications - issac2005 - a - y.pdf}, ISBN = {1595930957}, Keywords = {elimination, creative telescoping, linear differential equations, computer algebra, linear recurrences}, Location = {Beijing, China}, Pages = {2--3}, Publisher = {ACM}, Title = {D-Finiteness: Algorithms and Applications}, URL = {https://doi.org/10.1145/1073884.1073886}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1145/1073884.1073886}, date-added = {2020-10-18 18:14:38 +0200}, date-modified = {2021-01-18 17:43:16 +0100}, file-2 = {D-finiteness- Algorithms and Applications - d_finiteness_algorithms_and_applications - a - y.pdf}, numpages = {2}, doi = {10.1145/1073884.1073886} }