Speeding up cylindrical algebraic decomposition by Gröebner Bases

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
92 Downloads (Pure)

Projects

Filter
Finished
Finished