Feedback and Engagement on an Introductory Programming Module. | 0 | 0.34 | 2022 |
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). | 0 | 0.34 | 2022 |
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. | 0 | 0.34 | 2022 |
LIFT: lncRNA identification and function-prediction tool. | 0 | 0.34 | 2021 |
First Year Computer Science Projects at Coventry University - Activity-led integrative team projects with continuous assessment. | 0 | 0.34 | 2020 |
An implementation of Sub-CAD in Maple. | 0 | 0.34 | 2015 |
Formulating problems for real algebraic geometry. | 0 | 0.34 | 2014 |
An implementation of CAD in Maple utilising McCallum projection | 8 | 0.53 | 2013 |
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. | 6 | 0.45 | 2013 |