Search Results for "graph theory"

The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io

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

Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. ...

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.

Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.

DMS based on hierarchical tags and graph theory with real life entities. In the real world you deal with entities like car, family members, dealers and companies. In this dms you can use your real world objects. You can build hierarchical structures and can easily make timelines from your letters Security is one big concern when you scan your personal documents Thats why this DMS is not build as Online/Cloud/Webservice

The Graph Annotation Framework (GrAF) models linguistic annotations using a data model based on Graph theory and algorithms. The GrAF standard is a work product of ISO TC37SC4 Working Group 1. This Java library is NOT part of the GrAF standard and standoff annotation files produced by the library may not be GrAF compliant.

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

IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);

GAuditor is a software for use by students of graph theory. It helps solving problems like discovering the shortest paths from a single source vertex using Algorithyms like Dijkstra, Bellman-Ford and Floyd-Warshall, cycle detection, Eulerian circuit, Hamiltonian cycle, conectivity inspection, Breadth First Search, Depth First Search, etc.

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.

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.

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.

This tool is based on Graph Theory learning. It can help professors and students to teach and learn the Graph Theory easier. With this tool, people can draw simple graphs and even apply functions on their drawn graphs.

Software for Teaching Graph Theory Algorithms

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.

This project aims to provide developers a convenient library about graph theory algorithm and some basic data structures. It will be developed in Java via Eclipse IDE, supporting both win32 and linux systems, and published as jar files.

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.

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

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.

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.

The Graph Theory Tool is a simple GUI tool to demonstrate the basics of graph theory in discrete mathematics. It allows you to draw your own graph, connect the points and play with several algorithms, including Dijkstra, Prim, Fleury

GraphScript project is a network theory simulator based purely on Java and Java scripting engines. It is intended to allow fast development, testing and visualization of network theory (graph) algorithms.

Java implementation of operations on undirected or directed graphs, in the aim of providing some simple tools for spectral graph theory and network understanding (-> Telecoms).