%0 Conference Paper %1 conf/issac/MaulatS15 %A Maulat, Sébastien %A Salvy, Bruno %B ISSAC %D 2015 %E Yokoyama, Kazuhiro %E Linton, Steve %E Robertz, Daniel %I ACM %K dblp %P 275-282 %T Formulas for Continued Fractions: An Automated Guess and Prove Approach. %U http://dblp.uni-trier.de/db/conf/issac/issac2015.html#MaulatS15 %@ 978-1-4503-3435-8

@inproceedings{conf/issac/MaulatS15, added-at = {2020-06-15T00:00:00.000+0200}, author = {Maulat, Sébastien and Salvy, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/29bc1537114400699a7cf5a4c254fcf11/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2015}, editor = {Yokoyama, Kazuhiro and Linton, Steve and Robertz, Daniel}, ee = {https://doi.org/10.1145/2755996.2756660}, interhash = {0ab41aa0f82f9ecf01bfc090790da78d}, intrahash = {9bc1537114400699a7cf5a4c254fcf11}, isbn = {978-1-4503-3435-8}, keywords = {dblp}, pages = {275-282}, publisher = {ACM}, timestamp = {2020-06-16T13:03:56.000+0200}, title = {Formulas for Continued Fractions: An Automated Guess and Prove Approach.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2015.html#MaulatS15}, year = 2015 }