paper.bib

@BOOK{Burington,
	AUTHOR = {Burington, Richard Stevens},
	YEAR = {1973},
	TITLE = {Handbook of Mathematical Tables and Formulas},
	EDITION = {5},
	ISBN = {978-0-070-09015-6},
	PUBLISHER = {McGraw-Hill},
	ADDRESS = {New York}
}

@BOOK{Zwillinger,
	AUTHOR = {Zwillinger, Daniel},
	YEAR = {2011},
	TITLE = {CRC Standard Mathematical Tables and Formulae},
	EDITION = {32},
	ISBN = {978-1-439-83550-0},
	PUBLISHER = {CRC Press},
	ADDRESS = {Boca Raton, Fla},
}

@BOOK{Abramowitz,
	AUTHOR = {Abramowitz, Milton AND Stegun, Irene A},
	YEAR = {2012},
	TITLE = {Handbook of Mathematical Functions},
	EDITION = {},
	ISBN = {978-0-486-15824-2},
	PUBLISHER = {Courier Corporation},
	ADDRESS = {New York},
}

@BOOK{Gradshteyn,
	AUTHOR = {Gradshteyn, I S AND Ryzhik, I M},
	YEAR = {2014},
	TITLE = {Table of Integrals, Series, and Products},
	EDITION = {},
	ISBN = {978-1-483-26564-3},
	PUBLISHER = {Academic Press},
	ADDRESS = {Amsterdam, Boston},
}

@online{Symja,
  author = {Axel Kramer},
  title = {Symja Library -- Java Symbolic Math System},
  year = 2013,
  url = {https://github.com/axkr/symja_android_library},
  urldate = {2018-10-25}
}

@online{RubiOrg,
  author = {{The Rubi Organization}},
  title = {Rule-based Integration -- An extensive system of symbolic integration rules},
  year = 2018,
  url = {https://rulebasedintegration.org},
  urldate = {2018-10-25}
}

@online{RubiOrgGithub,
  author = {{The Rubi Organization}},
  title = {The {R}ubi {GitHub} {O}rganization},
  year = 2018,
  url = {https://github.com/RuleBasedIntegration},
  urldate = {2018-10-25}
}

@online{RubiMma,
  author = {{The Rubi Organization}},
  title = {Mathematica {I}mplementation of {R}ubi},
  year = 2018,
  url = {https://github.com/RuleBasedIntegration/Rubi},
  urldate = {2018-10-25}
}

@online{RubiMmaTestSuite,
  author = {{The Rubi Organization}},
  title = {Rubi {M}athematica {T}est {S}uite},
  year = 2018,
  url = {https://github.com/RuleBasedIntegration/MathematicaSyntaxTestSuite},
  urldate = {2018-10-25}
}


@article{SymPy,
 title = {SymPy: symbolic computing in Python},
 author = {Meurer, Aaron and Smith, Christopher P. and Paprocki, Mateusz and \v{C}ert\'{i}k, Ond\v{r}ej and Kirpichev, Sergey B. and Rocklin, Matthew and Kumar, AMiT and Ivanov, Sergiu and Moore, Jason K. and Singh, Sartaj and Rathnayake, Thilina and Vig, Sean and Granger, Brian E. and Muller, Richard P. and Bonazzi, Francesco and Gupta, Harsh and Vats, Shivam and Johansson, Fredrik and Pedregosa, Fabian and Curry, Matthew J. and Terrel, Andy R. and Rou\v{c}ka, \v{S}t\v{e}p\'{a}n and Saboo, Ashutosh and Fernando, Isuru and Kulal, Sumith and Cimrman, Robert and Scopatz, Anthony},
 year = 2017,
 month = jan,
 keywords = {Python, Computer algebra system, Symbolics},
 volume = 3,
 pages = {103},
 journal = {PeerJ Computer Science},
 issn = {2376-5992},
 doi = {10.7717/peerj-cs.103}
}

@manual{Sage,
  Key          = {SageMath},
  Author       = {{The Sage Developers}},
  Title        = {{S}ageMath, the {S}age {M}athematics {S}oftware {S}ystem},
  note         = {{\tt http://www.sagemath.org}},
  Year         = {2018},
}