Home
DCC eCatalog
B._David__Saunders
A parallel implementation of the cylindrical algebraic decomposition algorithm
