@INPROCEEDINGS{DBLP:conf/tacas/GhorbalP14,
pdf = {pub/diffradicalinv.pdf},
slides = {pub/diffradicalinv-slides.pdf},
study = {pub/DRI-gen.zip},
TR = {DBLP:conf/tacas/GhorbalP14:TR},
author = {Khalil Ghorbal and
Andr{\'e} Platzer},
title = {Characterizing Algebraic Invariants by
Differential Radical Invariants},
booktitle = {TACAS},
year = {2014},
pages = {279-294},
doi = {10.1007/978-3-642-54862-8_19},
editor = {Erika {\'A}brah{\'a}m and
Klaus Havelund},
longbooktitle = {Tools and Algorithms for the Construction
and Analysis of Systems - 20th International
Conference, TACAS 2014, Held as Part of the
European Joint Conferences on Theory and
Practice of Software, ETAPS 2014, Grenoble,
France, April 5-13, 2014. Proceedings},
publisher = {Springer},
series = {LNCS},
volume = {8413},
isbn = {978-3-642-54861-1},
}```