tag:joss.theoj.org,2005:/papers/tagged/rewriting%20systemsJournal of Open Source Software2018-12-16T22:28:55ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/7102018-12-16T22:28:55Z2021-02-15T11:32:51ZRule-based integration: An extensive system of symbolic integration rulesaccepted4.16.0.42018-10-29 07:47:05 UTC322018-12-16 22:28:55 UTC320181073AlbertRichIndependent researcher, co-author of the Derive computer algebra system0000-0002-0792-2775PatrickScheibeLeipzig University, Saxonian Incubator for Clinical Translation, Philipp-Rosenthal-Straße 55, 04103 Leipzig0000-0003-0361-9063NasserM.AbbasiUW-Madison, Madison, WI 53706, USA0000-0003-1333-154910.21105/joss.01073https://doi.org/10.5281/zenodo.2234522https://joss.theoj.org/papers/10.21105/joss.01073.pdfcomputer algebra system, calculus, integration, antiderivative, pattern matching, rewriting systems, reduction systems