Social Network Visualizer (SocNetV) is a cross-platform, user-friendly application for the analysis and visualization of Social Networks in the form of mathematical graphs, where vertices depict actors/agents and edges represent their relations.
tags: visualization graphs layout graph-visualization graph-theoryJFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar.
tags: Portable grammar mathematics parser state-machineGraphThing is a tool that allows you to create, manipulate and study graphs. These "graphs" are mathematical objects that describe relationships between sets; they are not 2D plots, charts, or anything similar to that.
tags: visualization graphs graph-visualization graph-theoryCreate weighted and unweighted graphs and run algorithms step by step. Learn graph theory interactively… much better than a book!
tags: educational visualization interactive graph-theory