An equivalence theorem for regular differential chains
Boulier, François, Lemaire, François, Poteaux, Adrien, Moreno Maza, MarcLanguage:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2018.04.011
Date:
April, 2018
File:
PDF, 1.04 MB
english, 2018