Open Source Linux Mathematics Software - Page 74

A Java library that works with Java3D to simulate and visualize, in real-time, dynamics of multiple rigid bodies that are restricted by implicit and explicit constraints (e.g., robotics); designed for efficiency, ease-of-use, and extensibility.

Ro3n is a simple Qt application designed to solve mathematical equations - linear as well as quadratic.

Robsort in a GNU public license sorting algorithm devleloped by Robert Thompson. Robsort uses random number generation to sort arrays of integers. It is claimed to be the world's least efficient sorting algorithm.

A simple calculator that applies the four arithmetic operations with roman numerals.

The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting, visualization, and Monte Carlo studies.

Simple and intuitive graphic interface for graph theory with algorithms to compute line and root graphs of a given graph. - Double click to add a new node. - Left click a node and drag to change the position of the node. - Select a node with left click and add an edge with the next node you select. - Right click a node to delete it. Made in C++ using the wxWidgets library.

This package allows you to create virtual rubik cubes and move their faces. Moreover you can see at every time the current position of the cube and find its solution. Visit http://www.hcroboting.com for more information

Rubik's Cube Simulator is a program which runs with OpenGL and glut (works both with Unix (using posix threads) and Windows). It has a window which show a 3D Rubik's Cube. This cube can be maniplulated using a term window. This program is useful to test

This package has been created in order to control, solve and manage a 2x2 rubik cube using java language. Its methods can mix and solve the cube, and allow the user to change the cube information in any time. There are two ways to solve the cube.

Ruby SVM is a Ruby binding to the very popular and highly useful libsvm library (released under a seperate license) This allows you to effortlessly experiment with machine learning, in particular Support Vector Machines, in Ruby. SVM's have found use in

A Java application that graphically displays a family of strange attractors know as "rude boy curves". Eye candy with an interesting mathematical origin, much like Mandelbrot sets.

An elementary cellular automaton simulator using a glider-based model to easily identify and insert gliders and repeating patterns.

RunAsApproximator es un programa java multilenguaje que implementa algoritmos numéricos. Los datos de entrada son aquellos requeridos por cada algoritmo y los de salida son resultado final y los datos intermedios necesarios para alcanzar su resolución.

Runge is an Interactive Solver for Systems of Ordinary Differential Equations. It solves initial value problem (aka Cauchy problem). Few advantages Runge provides: It's fast. It utilizes BLAS and LAPACK libraries optimized for modern multi-core processors. It's interactive. It allows you to start a solution by mouse click on a plane. It's precise. It uses Runge Rule to adjust step length to satisfy required precision on each step. It's effective. When it needs to compute derivatives (Jacobian matrix, for example) it does that analytically, i.e. without using numerical methods. It's portable. It works on Windows and Linux 32 and 64 bit and Mac OS X 64 bit. It's open. It allows you to implement and embed your own algorithms (aka "solvers"). It's easy to use. It allows to export results to MS Excel and MATLAB. It's multilingual. It currently supports Englis and Russian languages. It's free. It's distributed under the Boost Software License.

During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).

s2geometry is Google’s open source geometry library designed for representing, analyzing, and manipulating geometric shapes on a sphere rather than a flat plane. This makes it particularly suited for applications involving geospatial data, such as mapping, spatial indexing, and geographic information systems (GIS). The library provides a robust mathematical framework for spherical geometry, allowing developers to work with polygons, points, and regions on the Earth’s surface using consistent and precise algorithms. Unlike traditional 2D geometry libraries, S2 ensures accuracy over large scales by modeling the globe directly, avoiding distortions caused by map projections. The project includes core C++ support, optional Python bindings, and integrations with Bazel and CMake for flexible builds. It relies on Abseil, OpenSSL, and googletest, and is tested across major platforms.

SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the analysis and synthesis of nonlinear systems described by state equations (with or without delays).

SACIC - Semi-Advanced Command Interpreting Calculator - is a small calculator application capable of evaluating mathematical expressions with arbitrary precision, handling variables, drawing graphs, solving equations and more. It also supports simple scr

A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..

Simple, fast coordinate conversion for commonly used geodetic and Cartesian coordinate systems. Also includes functions for Euler angles and a tutorial on what they are and how to handle them. Written for Gnu/UNIX but easily ported to others.

SDAK is a small app for making the formulas for making speaker cabinets simple.

This project provides a Java implementation of the SDD-1 Algorithm used in Distributed Relational Databases.

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and non-parametric Monte Carlo likelihood methods were chosen for their ability to treat both one-dimensional and multivariate SDE systems, although the quality of the inferential results can't match those obtained using more advanced techniques. Nevertheless the toolbox capabilities to simulate numerical solutions of SDE systems are still valid and can serve as a useful starting point to those willing to simulate stochastic dynamical models easily.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.

SGUtil Time Hash Server