Galileo is the genesis of a symbolic and numerical math tool written in Scala; a Computer Algebra System (CAS). It's similar to matlab or octave, but has many features of maple and mathematica as well in the sense that it supports variables and symbolic calculations.

Differentiating features:

• Support for tensor operations and differential geometry operations (Christoffel symbols, Ricci and Riemann tensors)
• Powerful simplification rules (accessible using the simplify command)
• Symbolic matrix manipulation (you can invert a matrix containing symbols)
• Support for logic operations
• Basic framework for rules driven proofs is available (e.g. prove(1/x==x^(-1)))

Galileo is available as both

• a standalone, interpreted language, with its own REPL, and,
• a library for use in JAVA or other JVM languages (Scala, Kotlin)

A Docker image of Galileo is available on Docker hub, and can be run as follows (on Mac or Linux):

$ docker run -it --rm cascala/galileo:0.1.3

Galileo can also be built from its source files using the 'sbt' build system:

$ git clone https://github.com/cascala/galileo.git
$ sbt run

You can use Galileo as a mathematical library in any JVM language (Java, Kotlin, Scala...). For details, see: https://search.maven.org/search?q=g:com.github.cascala

For Maven, one can use:

<dependency>
    <groupId>com.github.cascala</groupId>
    <artifactId>galileo_2.13</artifactId>
    <version>0.1.3</version>
</dependency>

For sbt, one can use:

libraryDependencies += "com.github.cascala" %% "galileo" % "0.1.3"

Detailed documentation is available for the

• Galileo language, and,
• Galileo library.