Skip to main content

Open Digital Research Environment Toolkit for the Advancement of Mathematics

Deliverables

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

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

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

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

Searching for OpenAIRE data...

Publications

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
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
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

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
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
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
DOI: 10.1145/2930889.2930908

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
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

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

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
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
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
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
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

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
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
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
DOI: 10.1016/j.aim.2017.03.029