symbolically speaking logo

java.symcomp.org – Java Library for SCSCP and OpenMath

The libraries org.symcomp.openmath and org.symcomp.scscp were developed in the SCIEnce Project, an Integrated Infrastructure Initiative, funded by the European Commission under the Research Infrastructures Action of Framework 6.

org.symcomp.openmath – handling OpenMath with ease

OpenMath Logo

OpenMath is a standard for representing mathematical objects with their semantics, allowing them to be exchanged between computer programs, stored in databases, or published on the worldwide web. The most widely used representation used is XML. More information can be found here.

The org.symcomp.openmath library...

Supported OpenMath Representations are:

Examples are to come... In the meantime: read the documentation and/or grab the sources and start playing!

If you use Maven, you can use it like that:

          <pluginRepository>
            <id>maven2-repository.java.symcomp.org</id>
            <name>symcomp.org Repository for Maven</name>
            <url>http://java.symcomp.org/maven/2</url>
            <layout>default</layout>
          </pluginRepository>
          ...
            <dependency>
                <groupId>org.symcomp</groupId>
                <artifactId>openmath</artifactId>
                <version>1.4.0</version>
            </dependency>
          ...  
      

(the maven guys know, what this means ;))

To access the bleeding edge version of the library, you may use git: github.com/symcomp/org.symcomp.openmath.

org.symcomp.scscp – using SCSCP with ease

SCSCP Logo

SCSCP...

The org.symcomp.scscp library...

Read the documentation and/or grab the sources and start playing! Examples of using the library are available in the framework-demo directory in the source tree.

If you use Maven, you can use it like that:

          <pluginRepository>
            <id>maven2-repository.java.symcomp.org</id>
            <name>symcomp.org Repository for Maven</name>
            <url>http://java.symcomp.org/maven/2</url>
            <layout>default</layout>
          </pluginRepository>
          ...
            <dependency>
                <groupId>org.symcomp</groupId>
                <artifactId>scscp</artifactId>
                <version>1.4.0</version>
            </dependency>
          ...  
      

ScreenCast on the org.symcomp-Java Libraries

To quickly get you started, we made a small introductionary movie:

If the movie above does not work (or if it does work and you just want to see it in a different format), here are direct links to the available versions: