TY  - RPRT
TI  - Symbolic Computing [Reference entry in Encyclopedia]
AU  - Certik, Ondrej
AU  - Paprocki, Mateusz
AU  - Meurer, Aaron
AU  - Granger, Brian
AU  - Rathnayake, Thilina
PY  - 2015
DO  - 10.1007/978-3-540-70529-1_429
UR  - https://www.osti.gov/biblio/1523229
ID  - 1523229
ER  -