We’re kicking off a new site and will be adding HTML5 web tools for teaching various topics in mathematics (as well as translating some of the old Flash animations).
Linear Algebra
The Linear Systems Explorer allows interactive row-reduction of [augmented] matrices, useful both for demonstrations and student practice.
Logic & Sets
For starters we have the Venn Diagram Explorer, with which you can:
Graphs
The foundation for our upcoming graph animations is the basic Graph Explorer introduced here.
Dijkstra
A tool for visualizing presenting the steps of Dijkstra’s Distance/Shortest Path Tree Algorithm, useful both for class demonstrations and for student exploration at their own pace.
Prim
A tool for visualizing presenting the steps of Prim’s Minimum Spanning Tree Algorithm and arguing its correctness, useful both for class demonstrations and for student exploration at their own pace.
Finite Automata
A tool for exploring both deterministic and nondeterministic finite automata, both for students and instructors, is now online here; this is brand new, and most of the kinks are worked out now, but please get in touch if you note any issues or have any suggestions!
Nondeterministic Push-Down Automata
A tool for exploring nondeterministic push-down automata, both for students and instructors, is now online here; please note that we take the (equivalent) approach of several different state types, which makes these a little cleaner to draw and think about!
Context-Free Grammars
A tool for working with derivation trees and context-free grammars (CFG’s) is available here; full instructions coming soon!
For now, you enter your grammar in the URL, starting with ?
, using -
for → , and &
to separate productions; e.g. for the CFG shown at the right:
?S-aSa&S-bSb&S-
- Use [←] and [→] to move among the nonterminals
- Use [↑] and [↓] to highlight a production, and press [Enter] to apply it
- Press [Z] to undo
- Press [alt]-[T] to get the tree view