gl.mathhub.info
GitLab
https://gl.mathhub.info/users/confirmation/new
Already have login and password? Archives for Flexiformal Mathematics in Math. This GitLab server acts as the archive of flexiformal mathematical documents in the MathHub. MathHub is the best front-end for browsing and interacting with the contents, direct interaction with the GitLab server is only necessary for content developers. Please contact libraries@mathhub.info. For access; public archives.
gl.mathhub.info
GitLab
https://gl.mathhub.info/users/password/new
Already have login and password? Archives for Flexiformal Mathematics in Math. This GitLab server acts as the archive of flexiformal mathematical documents in the MathHub. MathHub is the best front-end for browsing and interacting with the contents, direct interaction with the GitLab server is only necessary for content developers. Please contact libraries@mathhub.info. For access; public archives.
opendreamkit.org
Full-time developer position opening at Université Paris-Sud for Fall 2015 (filled) · OpenDreamKit
http://opendreamkit.org/2015/05/22/developer-position-paris-sud
A project funded by the Horizon 2020. Follow and Contact us. Full-time developer position opening at Université Paris-Sud for Fall 2015 (filled). This is an announcement for a full-time developer ( Ingénieur de Recherche. Position opening at Université Paris-Sud, working on open source software engineering for computational mathematics. A second full-time developer will be hired later on, presumably in Fall 2016. The developer will work at the Laboratoire de Recherche en Informatique. Improve the build, ...
smglom.mathhub.info
MathHub Documentation | MathHub-SMGloM
https://smglom.mathhub.info/help/documentation.html
Skip to main content. These help pages are the user-level documentation of the MathHub.info. System. For the developer-level documentation (installation, configuration, contributing) see the GitHub repository.
opendreamkit.org
Full-time mathematical researcher and developer position at TU Kaiserslautern for up to four years beginning November 2015 · OpenDreamKit
http://opendreamkit.org/2015/07/01/developer-position-kaiserslautern
A project funded by the Horizon 2020. Follow and Contact us. Full-time mathematical researcher and developer position at TU Kaiserslautern for up to four years beginning November 2015. We are seeking a full-time mathematical researcher and developer at TU Kaiserslautern to work with Prof. Wolfram Decker on the Singular contribution to the OpenDreamKit project. Deadline for applications: Sept 23 2015. To research and implement parallel algorithms in Singular in C/C . Experience in computer algebra. For ma...
smglom.mathhub.info
FlexiForms | MathHub-SMGloM
https://smglom.mathhub.info/help/FlexiForms.html
Skip to main content. We will use the word flexiform. As an adjective to describe the fact that a representation is of flexible formality. Ie can contain informal. Ie appealing to a human reader) and formal. Ie supporting syntax-driven reasoning processes) components or both. A good example for a. Ie mathematical theories that are represented with flexible formality. Flexiform theories tend to be formal objects that make use of informal representations for documentation or migration. To denote an arbitra...
smglom.mathhub.info
MathHub Functionality | MathHub-SMGloM
https://smglom.mathhub.info/help/functionality.html
Skip to main content. Serves as a system-independent repository that collects knowledge representations of flexible formality ( FlexiForms. From all walks of life . more. They include specifications from program verification, semantically annotated course materials, etc. . more. Is a community portal for discovering, developing, and discussing, Flexiforms . more. To enhance visibility and create an academic reward system for young researchers, MathHub.info. Will organize a review system for FlexiForms.
opendreamkit.org
About · OpenDreamKit
http://opendreamkit.org/about
A project funded by the Horizon 2020. Follow and Contact us. OpenDreamKit is a Horizon 2020. That will run for four years, starting from September 2015. It will provide substantial funding to the open source computational mathematics ecosystem, and in particular popular tools such as LinBox. From this ecosystem, OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments. The above pdf is the officially submitted one, up to the fixing of a couple unfortun...
opendreamkit.org
Full-time developer position opening at Université de Bordeaux for Fall 2015 · OpenDreamKit
http://opendreamkit.org/2015/05/29/developer-position-bordeaux
A project funded by the Horizon 2020. Follow and Contact us. Full-time developer position opening at Université de Bordeaux for Fall 2015. This is an announcement for several full-time developer ( Ingénieur de Recherche. Position opening at Université de Bordeaux, working on open source software engineering for computational mathematics. Contact: vincent.delecroix-AT-labri.fr. From 2 to 4 years starting as soon as possible. Depending on the applicant’s past experience, 1600 to 2900 of monthly. Fluency in...