Opendata, web and dolomites

OpenDreamKit project deliverables

The page lists 59 deliverables related to the research project "OpenDreamKit".

 List of Deliverables

OpenDreamKit: list of downloadable deliverables.
title and desprition type last update

Ending press release

Ending press release

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Websites, patent fillings, videos etc. 2020-03-25

Demonstrators: Problems in Physics with Sage, Computational Mathematics for Engineering

Demonstrators: Problems in Physics with Sage, Computational Mathematics for Engineering

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Micromagnetic VRE completed and online

Micromagnetic VRE completed and online

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Packaging components and user-contributed code for major Linux distributions

Packaging components and user-contributed code for major Linux distributions

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Full-text search (Formulae + Keywords) in OpenDreamKit

Full-text search (Formulae + Keywords) in OpenDreamKit

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Final report and evaluation of the GAP developments

Final report and evaluation of the GAP developments

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

HPC enabled SAGE distribution

HPC enabled SAGE distribution

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Community building: Impact of development workshops, dissemination and training activities, year 4

Community building: Impact of development workshops, dissemination and training activities, year 4

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Websites, patent fillings, videos etc. 2020-03-25

Shared persistent Memoisation Library for PYTHON/SAGE

Shared persistent Memoisation Library for PYTHON/SAGE

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Virtual images and containers

Virtual images and containers

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Basic project infrastructure (websites, wikis, issue trackers, mailing lists, repositories)

Basic project infrastructure (websites, wikis, issuetrackers, mailing lists, repositories)

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Websites, patent fillings, videos etc. 2020-03-25

SAGE notebook / JUPYTER notebook convergence

SAGE notebook / JUPYTER notebook convergence

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

A short course for lecturers on using OpenDreamKit for delivering mathematical education.

A short course for lecturers on using OpenDreamKit
for delivering mathematical education.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Websites, patent fillings, videos etc. 2020-03-25

Tools for collaborating on notebooks via version-control

Tools for collaborating on notebooks via version-control

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

In-place computation in active documents (context/computation)

In-place computation in active documents (context/computation)

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Distributed, Collaborative, Versioned Editing of Active Documents in MathHub.info

Distributed, Collaborative, Versioned Editing of Active Documents
in MathHub.info

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Basic JUPYTER interface for GAP, PARI/GP, Singular

Basic JUPYTER interface for GAP, PARI/GP, Singular

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Review on emerging technologies

Review on emerging technologies

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

Understand and document SAGEMATHCLOUD backend code.

Understand and document SAGEMATHCLOUD backend code.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Starting press release

Starting press release

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Websites, patent fillings, videos etc. 2020-03-25

Active/Structured Documents Requirements and existing Solutions

Active/Structured Documents Requirements and existing Solutions

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Python/Cython bindings for PARI and its integration in Sage

Python/Cython bindings for PARI and its integration in Sage

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Initial DKS base Design (including base survey and Requirements Workshop Report)

Initial DKS base Design (including base survey and Requirements Workshop Report)

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

The flow of code and patches in open source projects

The flow of code and patches in open source projects

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

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.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

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)

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Facilities for running notebooks as verification tests

Facilities for running notebooks as verification tests

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Make PYTHRAN typing better to improve error information.

Make PYTHRAN typing better to improve error information.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Community building: Impact of development workshops, dissemination and training activities, year 1

Community building: Impact of development workshops, dissemination and training activities, year 1

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

Sun Grid Engine support for Project Jupyter Hub

Sun Grid Engine support for Project Jupyter Hub

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Data Management Plan

Data Management Plan

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Open Research Data Pilot 2020-03-25

One-click install SAGE distribution for Windows with Cygwin

One-click install SAGE distribution for Windows with Cygwin 32bits and 64bits

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Integration between SAGEMATHCLOUD and SAGE’s TRAC server

Integration between SAGEMATHCLOUD and SAGE’s TRAC server

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Data Management Plan v2

Data Management Plan v2

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Open Research Data Pilot 2020-03-25

Second version of the PARI Python/Cython bindings

Second version of the PARI Python/Cython bindings

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Notebook Import into MathHub.info (interactive display)

Notebook Import into MathHub.info (interactive display)

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Demonstrator: interactive books on Linear Algebra and Nonlinear Processes in Biology

Demonstrator: Nonlinear Processes in Biology interactive book

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Community building: Impact of development workshops, dissemination and training activities, year 3

Community building: Impact of development workshops, dissemination and training activities, year 3

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Documents, reports 2020-03-25

Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB

Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Continuous integration platform for multi-platform build/test.

Continuous integration platform for multi-platform build/test.

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Community-curated indexing service for OpenDreamKit

Community-curated indexing tool and service for OpenDreamKit

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Full JUPYTER interface for GAP, PARI/GP, SAGE, Singular

Full JUPYTER interface for GAP, PARI/GP, SAGE, Singular

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

Refactorisation of SAGE’s SPHINX documentation system

Refactorisation of SAGE’s SPHINX documentation system

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25

Exploratory support for live notebook collaboration

Exploratory support for live notebook collaboration

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

JUPYTER extension for 3D visualisation, demonstrated with computational fluid dynamics

JUPYTER extension for 3D visualisation, demonstrated with computational fluid dynamics

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Other 2020-03-25

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

Programme: H2020-EU.1.4.1.3. - Topic(s): EINFRA-9-2015

download deliverable 

Demonstrators, pilots, prototypes 2020-03-25