Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
Changbo Chen, Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
VenueMulticonferenceICCS
Year2007
ProceedingsInternational Conference on Computational Science (2)
DBLP recordconf/iccS/ChenLMPX07 ↗
Browse the full ICCS paper archive.