Deliverables Other (23) HPC enabled SAGE distribution HPC enabled SAGE distribution Micromagnetic VRE completed and online Micromagnetic VRE completed and online Basic JUPYTER interface for GAP, PARI/GP, Singular Basic JUPYTER interface for GAP, PARI/GP, Singular JUPYTER extension for 3D visualisation, demonstrated with computational fluid dynamics JUPYTER extension for 3D visualisation, demonstrated with computational fluid dynamics Full-text Search (Formulae + Keywords) over LaTeX-based Documents (e.g. the arXiv subset) Full-text Search (Formulae + Keywords) over LaTeX-based Documents (e.g. the arXiv subset) Exploratory support for live notebook collaboration Exploratory support for live notebook collaboration Support for the SCSCP interface protocol in all relevant components (SAGE, GAP, etc.) distribution Support for the SCSCP interface protocol in all relevant components (SAGE, GAP, etc.) distribution Refactorisation of SAGE’s SPHINX documentation system Refactorisation of SAGE’s SPHINX documentation system Virtual images and containers Virtual images and containers Full-text search (Formulae + Keywords) in OpenDreamKit Full-text search (Formulae + Keywords) in OpenDreamKit Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB Sun Grid Engine support for Project Jupyter Hub Sun Grid Engine support for Project Jupyter Hub One-click install SAGE distribution for Windows with Cygwin One-click install SAGE distribution for Windows with Cygwin 32bits and 64bits GAP/SAGE/LMFDB Interface Theories and alignment in OMDoc/MMT for System Interoperability GAP/SAGE/LMFDB Interface Theories and alignment in OMDoc/MMT for System Interoperability Design and implementation of Triform (DKS) Theories Design of Triform (DKS) Theories (Specification/RNC Schema/Examples) and Implementation of Triform Theories in the MMT API Packaging components and user-contributed code for major Linux distributions Packaging components and user-contributed code for major Linux distributions Shared persistent Memoisation Library for PYTHON/SAGE Shared persistent Memoisation Library for PYTHON/SAGE Tools for collaborating on notebooks via version-control Tools for collaborating on notebooks via version-control Python/Cython bindings for PARI and its integration in Sage Python/Cython bindings for PARI and its integration in Sage Second version of the PARI Python/Cython bindings Second version of the PARI Python/Cython bindings Full JUPYTER interface for GAP, PARI/GP, SAGE, Singular Full JUPYTER interface for GAP, PARI/GP, SAGE, Singular Facilities for running notebooks as verification tests Facilities for running notebooks as verification tests Integration between SAGEMATHCLOUD and SAGE’s TRAC server Integration between SAGEMATHCLOUD and SAGE’s TRAC server Demonstrators, pilots, prototypes (20) Distributed, Collaborative, Versioned Editing of Active Documents in MathHub.info Distributed, Collaborative, Versioned Editing of Active Documents in MathHub.info Exact linear algebra algorithms and implementations. Library maintenance and close integration in mathematical software for LINBOX library Exact linear algebra algorithms and implementations. Library maintenance and close integration in mathematical software for LINBOX library Implementations of exact linear algebra algorithms on distributed memory et heterogenous architectures: clusters and accelerators. Solving large linear systems over the rationals is the target application. Implementations of exact linear algebra algorithms on distributed memory et heterogenous architectures: clusters and accelerators. Solving large linear systems over the rationals is the target application. In-place computation in active documents (context/computation) In-place computation in active documents (context/computation) PARI suite release (LIBPARI, GP and GP2C) that fully support parallelisation allowing individual implementations to scale gracefully between single core / multicore / massively parallel machines. PARI suite release (LIBPARI, GP and GP2C) that fully support parallelisation allowing individual implementations to scale gracefully between single core / multicore / massively parallel machines. Parallelise the Singular sparse polynomial multiplication algorithms and provide parallel versions of the Singular sparse polynomial division and GCD algorithms. Parallelise the Singular sparse polynomial multiplication algorithms and provide parallel versions of the Singular sparse polynomial division and GCD algorithms. Take advantage of multiple cores in the matrix Fourier Algorithm component of the FFT for integer and polynomial arithmetic,and include assembly primitives for SIMD processor instructions (e.g. AVX, etc.), especially in the FFT butterflies Take advantage of multiple cores in the matrix Fourier Algorithm component of the FFT for integer and polynomial arithmetic,and include assembly primitives for SIMD processor instructions (e.g. AVX, etc.), especially in the FFT butterflies. Refactor and Optimise the existing combinatorics SAGE code using the new developed PYTHRAN and CYTHON features Refactor and Optimise the existing combinatorics SAGE code using the new developed PYTHRAN and CYTHON features Facility to compile PYTHRAN compliant user kernels and Sage code and automatically take advantage of multi-cores and SIMD instruction units in CYTHON Facility to compile PYTHRAN compliant user kernels and Sage code and automatically take advantage of multi-cores and SIMD instruction units in CYTHON Turn the Python prototypes for tree exploration into production code, integrate to SAGE. Turn the Python prototypes for tree exploration into production code, integrate to SAGE. Community-curated indexing service for OpenDreamKit Community-curated indexing tool and service for OpenDreamKit Make PYTHRAN typing better to improve error information. Make PYTHRAN typing better to improve error information. Demonstrators: Problems in Physics with Sage, Computational Mathematics for Engineering Demonstrators: Problems in Physics with Sage, Computational Mathematics for Engineering Write an assembly superoptimiser supporting AVX and upcoming Intel processor extensions for the MPIR library and optimise MPIR for modern processors Write an assembly superoptimiser supporting AVX and upcoming Intel processor extensions for the MPIR library and optimise MPIR for modern processors Continuous integration platform for multi-platform build/test. Continuous integration platform for multi-platform build/test. Parallelise the relation sieving component of the Quadratic Sieve and implement a parallel version of Block-Wiederman linear algebra over GF2 and implement large prime variants Parallelise the relation sieving component of the Quadratic Sieve and implement a parallel version of Block-Wiederman linear algebra over GF2 and implement large prime variants. Notebook Import into MathHub.info (interactive display) Notebook Import into MathHub.info (interactive display) SAGE notebook / JUPYTER notebook convergence SAGE notebook / JUPYTER notebook convergence Demonstrator: interactive books on Linear Algebra and Nonlinear Processes in Biology Demonstrator: Nonlinear Processes in Biology interactive book Exploratory support for semantic-aware interactive widgets providing views on objects represented and or in databases Exploratory support for semantic-aware interactive widgets providing views on objects represented and or in databases Websites, patent fillings, videos etc. (5) Starting press release Starting press release Basic project infrastructure (websites, wikis, issue trackers, mailing lists, repositories) Basic project infrastructure (websites, wikis, issuetrackers, mailing lists, repositories) A short course for lecturers on using OpenDreamKit for delivering mathematical education. A short course for lecturers on using OpenDreamKit for delivering mathematical education. Introduce OpenDreamKit to Researchers and Teachers as laid out in Task 2.6 Introduce OpenDreamKit to Researchers and Teachers as laid out in Task 2.6 Ending press release Ending press release Open Research Data Pilot (2) Data Management Plan Data Management Plan Data Management Plan v2 Data Management Plan v2 Documents, reports (9) Understand and document SAGEMATHCLOUD backend code. Understand and document SAGEMATHCLOUD backend code. The flow of code and patches in open source projects The flow of code and patches in open source projects Active/Structured Documents Requirements and existing Solutions Active/Structured Documents Requirements and existing Solutions Final report and evaluation of the GAP developments Final report and evaluation of the GAP developments Initial DKS base Design (including base survey and Requirements Workshop Report) Initial DKS base Design (including base survey and Requirements Workshop Report) Community building: Impact of development workshops, dissemination and training activities, year 1 Community building: Impact of development workshops, dissemination and training activities, year 1 Community building: Impact of development workshops, dissemination and training activities, year 3 Community building: Impact of development workshops, dissemination and training activities, year 3 Community building: Impact of development workshops, dissemination and training activities, year 4 Community building: Impact of development workshops, dissemination and training activities, year 4 Review on emerging technologies Review on emerging technologies Publications Conference proceedings (6) Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Author(s): Jean-Guillaume Dumas, Clément Pernet Published in: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18, 2018, Page(s) 151-158, ISBN 9781-450355506 Publisher: ACM Press DOI: 10.1145/3208976.3209019 Certificates for Triangular Equivalence and Rank Profiles Author(s): Jean-Guillaume Dumas, David Lucas, Clément Pernet Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Page(s) 133-140, ISBN 9781-450350648 Publisher: ACM Press DOI: 10.1145/3087604.3087609 Interoperability in the OpenDreamKit project : the Math-in-the-Middle approach Author(s): Kohlhase, Michael; Rabe, Florian; Pfeiffer, Markus; Lelièvre, Samuel; Dehaye, Paul-Olivier; Müller, Dennis; Thiéry, Nicolas M.; Konovalov, Alexander; Iancu, Mihnea; Wiesling, Tom Published in: Issue 1, 2016 Publisher: Research Repository St Andrews Nmag micromagnetic simulation tool - software engineering lessons learned Author(s): Hans Fangohr, Maximilian Albert, Matteo Franchin Published in: Proceedings of the International Workshop on Software Engineering for Science - SE4Science '16, 2016, Page(s) 1-7, ISBN 9781-450341677 Publisher: ACM Press DOI: 10.1145/2897676.2897677 Computing with Quasiseparable Matrices Author(s): Clément Pernet Published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16, 2016, Page(s) 389-396, ISBN 9781-450343800 Publisher: ACM Press DOI: 10.1145/2930889.2930915 Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix Author(s): Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard Published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16, 2016, Page(s) 199-206, ISBN 9781-450343800 Publisher: ACM Press DOI: 10.1145/2930889.2930908 Other (3) Current Challenges in Developing Open Source Computer Algebra Systems Author(s): Boehm, Janko; Decker, Wolfram; Keicher, Simon; Ren, Yue Published in: Mathematical Aspects of Computer and Information Sciences. MACIS 2015., Issue Lecture Notes in Computer Science, vol 9582. Springer, Cham, 2016, Page(s) 3-24, ISBN 978-3-319-32858-4 Publisher: Springer, 2016 DOI: 10.1007/978-3-319-32859-1_1 An efficient sum of squares nonnegativity certificate for quaternary quartic Author(s): Pasechnik, Dmitrii V. Published in: Issue 2, 2015 Publisher: arXiv Fast Matrix Multiplication and Symbolic Computation Author(s): Dumas, Jean-Guillaume; Pan, Victor Published in: https://hal.archives-ouvertes.fr/hal-01417524, Issue 1, 2016 Publisher: Hal Peer reviewed articles (8) Time and space efficient generators for quasiseparable matrices Author(s): Clément Pernet, Arne Storjohann Published in: Journal of Symbolic Computation, Issue 85, 2018, Page(s) 224-246, ISSN 0747-7171 Publisher: Academic Press DOI: 10.1016/j.jsc.2017.07.010 Fast computation of the rank profile matrix and the generalized Bruhat decomposition Author(s): Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan Published in: Journal of Symbolic Computation, 2016, ISSN 0747-7171 Publisher: Academic Press DOI: 10.1016/j.jsc.2016.11.011 The L-Functions and Modular Forms Database Project Author(s): John Cremona Published in: Foundations of Computational Mathematics, Issue 16/6, 2016, Page(s) 1541-1553, ISSN 1615-3375 Publisher: Springer Verlag DOI: 10.1007/s10208-016-9306-z Random Chain Complexes Author(s): Viktor L. Ginzburg, Dmitrii V. Pasechnik Published in: Arnold Mathematical Journal, 2016, ISSN 2199-6792 Publisher: arXiv DOI: 10.1007/s40598-016-0062-6 The logarithmic class group package in PARI/GP Author(s): Jaulent, Jean-François; Belabas, Karim Published in: EISSN: 1958-7236, Issue 1, 2016, ISSN 1958-7236 Publisher: Publications Mathématiques de Besançon Implementing Brouwer’s database of strongly regular graphs Author(s): Nathann Cohen, Dmitrii V. Pasechnik Published in: Designs, Codes and Cryptography, 2016, ISSN 0925-1022 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10623-016-0264-x Edge-dominating cycles, k-walks and Hamilton prisms in 2K2-free graphs Author(s): Gao Mou, Dmitrii V. Pasechnik Published in: Journal of Knot Theory and Its Ramifications, Issue 25/12, 2016, Page(s) 1642011, ISSN 0218-2165 Publisher: World Scientific Publishing Co DOI: 10.1142/S0218216516420116 Locally toroidal polytopes of rank 6 and sporadic groups Author(s): Dmitrii V. Pasechnik Published in: Advances in Mathematics, Issue 312, 2017, Page(s) 459-472, ISSN 0001-8708 Publisher: Academic Press DOI: 10.1016/j.aim.2017.03.029 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
