@inproceedings{aac5cdbeb52443e6a4bf639a59136660,
title = "A Rule-Based System for Computation and Deduction in Mathematica",
abstract = "ISBN = 978-3-030-63595-4, 978-3-030-63594-7",
author = "Mircea Marin and Besik Dundua and Teimuraz Kutsia",
year = "2020",
doi = "10.1007/978-3-030-63595-4_4",
language = "English",
volume = "12328",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "57--74",
editor = "{Santiago Escobar, Narciso Mart{\ss}i-Oliet}",
booktitle = "WRLA 2020: Rewriting Logic and Its Applications",
}