| SC-square: when Satisfiability Checking and Symbolic Computation join forces. | 0 | 0.34 | 2017 |
| Satisfiability Checking meets Symbolic Computation (Project Paper). | 4 | 0.47 | 2016 |
| Satisfiability Checking and Symbolic Computation. | 0 | 0.34 | 2016 |
| Grobner bases for everyone with CoCoA-5 and CoCoALib | 0 | 0.34 | 2016 |
| Sc2: Satisfiability Checking Meets Symbolic Computation (Project Paper) | 0 | 0.34 | 2016 |
| What Is New in CoCoA? | 2 | 2.34 | 2014 |
