Search Results for "theory"

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.

An application that lets you render some of the most known fractal functions, like the Mandelbrot set and many more! It comes with alot of options to further enhance your fractal experience! Its easy to use and does not require installation. A java version higher than 1.8 is required to be installed.

Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example

STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained.

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..

...Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing.

...However, due to its exponential nature, previous approaches did not allow scale-up to more than a dozen variables. We present here Chordalysis, a log-linear analysis method for big data. Chordalysis exploits recent discoveries in graph theory by representing complex models as compositions of triangular structures, also known as chordal graphs. Chordalysis makes it possible to discover the structure of datasets with thousands of variables on a standard desktop computer. Associated papers at ICDM 2013, ICDM 2014 and SDM 2015 can be found at http://www.francois-petitjean.com/Research/ YourKit is supporting Chordalysis open source project with its full-featured Java Profiler. ...

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Simple java classes implementing basic concepts of relations as defined in set theory. A relation is a set of ordered pairs. A relation can have properties, including that it is reflexive, symmetric, or transitive. The classes enable some ordered pairs to be stated, and will deduce all the other related ordered pairs implied by the relation's properties. There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using hash sets and tree sets. ...

A library written in Java for performing calculations in the Dempster-Shafer theory of evidence.

G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.

E-Learn system, mostly intended for subjects with mathematical base (which supports algorythm). Supports: solving math tasks, theory pages, tests, courses.

The Open Optimization for Java provides a framework and the implementation of commonly-used algorithms found in Graph Theory and Network Optimization, e.g. shortest path and postman problem.

RoxGT its an open source framework for building Graph-based applications. It has been built essentially for academic jobs, such as graph algorithm execution and theorem proofs.

Knot theory demonstration program.

A framework for utilising the Genetic Algorithm in the domain of Game Theory

ballotbox is a java library consist of 36 algorithms derived from 23 Social Choice Rules (Voting Methods). Uses jgrapht graph theory project and it is own Preference class to represent preferences. Includes preference similarity algorithms.

GraphLab provides a rich environment for researchers in Graph Theory field. The project page has moved to http://graphlab.sharif.ir

Graph Theorizer will be a java application that will help to teach and research Graph Theory. We will support Windows, Linux, and Mac in our first releases, while hopefully moving towards any platform that supports Java Standard Editon.

The goal is to develop a tool to assist research in algebraic graph theory. It already features an intuitive graphical user interface and methods to calculate graph endomorphisms, factor graphs and products of graphs.

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

A thoughtfully designed Java library for dealing with Matrices ( Matrix Theory ). Simple, Intuitive and Flexible. The library revolves around a Matrix interface. Operations are thoughtfully distributed. Not guilty of exposing all-in-one Matrix class.

Project VDW serves as a repository for all things pertaining to Van Der Waerden sequences. Volunteers to run the distributed client, mathematicians to help with theory, and anyone interested in VDW sequences are welcome!

GoGraph is a tutorial software giving informatics students an easy, interactive and ergonomic way to learn and exercise the graph theory. It is based on JGraph, an open-source graph component for Java.