Symbolic computation infrastructure for Europe

Linton, Stephen (PI)
Hammond, Kevin (CoI)

School of Computer Science

Project: Standard

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

Joint Research Centre European Commission : £558,734.39

Access Project

Project website

9 Conference contribution
9 Paper
2 Article
1 Poster

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
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-28
Research output: Contribution to journal › Article › peer-review

File
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

gap-packages/scscp: (All versions)
Konovalov, A. (Creator), Horn, M. (Creator), Pfeiffer, M. (Creator) & Lelièvre, S. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3015841
Dataset
SCSCP - Symbolic Computation Software Composability Protocol, Version 2.2.3 (Refereed GAP package)
Konovalov, O. (Creator) & Linton, S. A. (Creator), GitHub, 2017
https://github.com/gap-packages/scscp/releases/tag/v2.2.3 and one more link, https://gap-packages.github.io/scscp/ (show fewer)
Dataset: Software
SCSCP - Symbolic Computation Software Composability Protocol, Version 2.2.1 (Refereed GAP package)
Konovalov, O. (Creator) & Linton, S. A. (Creator), GitHub, 2017
https://github.com/gap-packages/scscp/releases/tag/v2.2.1 and one more link, https://gap-packages.github.io/scscp/ (show fewer)
Dataset: Software