Rezultaty
Micromagnetic VRE completed and online
Basic JUPYTER interface for GAP, PARI/GP, Singular
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 collaborationSupport 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 systemVirtual images and containers
Full-text search (Formulae + Keywords) in OpenDreamKit
Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB
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 InteroperabilityDesign 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 distributionsShared persistent Memoisation Library for PYTHON/SAGE
Tools for collaborating on notebooks via version-control
Python/Cython bindings for PARI and its integration in Sage
Second version of the PARI Python/Cython bindings
Full JUPYTER interface for GAP, PARI/GP, SAGE, Singular
Facilities for running notebooks as verification tests
Integration between SAGEMATHCLOUD and SAGE’s TRAC server
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 libraryExact 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)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 butterfliesTake 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 featuresRefactor 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 CYTHONTurn 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 OpenDreamKitCommunity-curated indexing tool and service for OpenDreamKit
Make PYTHRAN typing better to improve error information.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
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)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 databasesExploratory support for semantic-aware interactive widgets providing views on objects represented and or in databases
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.6Ending press release
The flow of code and patches in open source projects
Active/Structured Documents Requirements and existing Solutions
Final report and evaluation of the GAP developments
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 3
Community building: Impact of development workshops, dissemination and training activities, year 4
Review on emerging technologies
Publikacje
Autorzy:
Jean-Guillaume Dumas, Clément Pernet
Opublikowane w:
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18, 2018, Strona(/y) 151-158, ISBN 9781-450355506
Wydawca:
ACM Press
DOI:
10.1145/3208976.3209019
Autorzy:
Jean-Guillaume Dumas, David Lucas, Clément Pernet
Opublikowane w:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Strona(/y) 133-140, ISBN 9781-450350648
Wydawca:
ACM Press
DOI:
10.1145/3087604.3087609
Autorzy:
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
Opublikowane w:
Numer 1, 2016
Wydawca:
Research Repository St Andrews
Autorzy:
Hans Fangohr, Maximilian Albert, Matteo Franchin
Opublikowane w:
Proceedings of the International Workshop on Software Engineering for Science - SE4Science '16, 2016, Strona(/y) 1-7, ISBN 9781-450341677
Wydawca:
ACM Press
DOI:
10.1145/2897676.2897677
Autorzy:
Clément Pernet
Opublikowane w:
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16, 2016, Strona(/y) 389-396, ISBN 9781-450343800
Wydawca:
ACM Press
DOI:
10.1145/2930889.2930915
Autorzy:
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard
Opublikowane w:
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16, 2016, Strona(/y) 199-206, ISBN 9781-450343800
Wydawca:
ACM Press
DOI:
10.1145/2930889.2930908
Autorzy:
Boehm, Janko; Decker, Wolfram; Keicher, Simon; Ren, Yue
Opublikowane w:
Mathematical Aspects of Computer and Information Sciences. MACIS 2015., Numer Lecture Notes in Computer Science, vol 9582. Springer, Cham, 2016, Strona(/y) 3-24, ISBN 978-3-319-32858-4
Wydawca:
Springer, 2016
DOI:
10.1007/978-3-319-32859-1_1
Autorzy:
Pasechnik, Dmitrii V.
Opublikowane w:
Numer 2, 2015
Wydawca:
arXiv
Autorzy:
Dumas, Jean-Guillaume; Pan, Victor
Opublikowane w:
https://hal.archives-ouvertes.fr/hal-01417524, Numer 1, 2016
Wydawca:
Hal
Autorzy:
Clément Pernet, Arne Storjohann
Opublikowane w:
Journal of Symbolic Computation, Numer 85, 2018, Strona(/y) 224-246, ISSN 0747-7171
Wydawca:
Academic Press
DOI:
10.1016/j.jsc.2017.07.010
Autorzy:
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Opublikowane w:
Journal of Symbolic Computation, 2016, ISSN 0747-7171
Wydawca:
Academic Press
DOI:
10.1016/j.jsc.2016.11.011
Autorzy:
John Cremona
Opublikowane w:
Foundations of Computational Mathematics, Numer 16/6, 2016, Strona(/y) 1541-1553, ISSN 1615-3375
Wydawca:
Springer Verlag
DOI:
10.1007/s10208-016-9306-z
Autorzy:
Viktor L. Ginzburg, Dmitrii V. Pasechnik
Opublikowane w:
Arnold Mathematical Journal, 2016, ISSN 2199-6792
Wydawca:
arXiv
DOI:
10.1007/s40598-016-0062-6
Autorzy:
Jaulent, Jean-François; Belabas, Karim
Opublikowane w:
EISSN: 1958-7236, Numer 1, 2016, ISSN 1958-7236
Wydawca:
Publications Mathématiques de Besançon
Autorzy:
Nathann Cohen, Dmitrii V. Pasechnik
Opublikowane w:
Designs, Codes and Cryptography, 2016, ISSN 0925-1022
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10623-016-0264-x
Autorzy:
Gao Mou, Dmitrii V. Pasechnik
Opublikowane w:
Journal of Knot Theory and Its Ramifications, Numer 25/12, 2016, Strona(/y) 1642011, ISSN 0218-2165
Wydawca:
World Scientific Publishing Co
DOI:
10.1142/S0218216516420116
Autorzy:
Dmitrii V. Pasechnik
Opublikowane w:
Advances in Mathematics, Numer 312, 2017, Strona(/y) 459-472, ISSN 0001-8708
Wydawca:
Academic Press
DOI:
10.1016/j.aim.2017.03.029
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników