Research output per year
Research output per year
Project Details
Description
An Integrated Infrastructure Initiative to increase coherence among Europe's research groups in symbolic computation
| Acronym | 1 Symbolic Compulation Infra' 026133 |
|---|---|
| Status | Finished |
| Effective start/end date | 1/04/06 → 31/12/11 |
Funding
- European Commission: £558,734.39
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation
Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H.-W., Horn, P. & Roozemond, D., Feb 2013, In: Journal of Symbolic Computation. 49, p. 95-119 15 p.Research output: Contribution to journal › Article › peer-review
8 Citations (Scopus) -
Interfacing Coq + SSReflect with GAP
Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sept 2012, In: Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28Research output: Contribution to journal › Article › peer-review
File11 Downloads (Pure) -
Improving your CASH flow: The Computer Algebra SHell
Brown, C. M., Loidl, H.-W., Berthold, J. & Hammond, K., 2011. 16 p.Research output: Contribution to conference › Paper › peer-review