Graph Tea - VideoAndMovie

GraphTea: Directed Graph with two edges between two vertices

0:44

GraphTea: Directed Graph with two edges between two vertices

Introduction to GraphTea

6:51

Introduction to GraphTea

GraphTea: Running Reports

0:40

GraphTea: Running Reports

GraphTea: Graph Search Partitioning Advanced

2:07

GraphTea: Graph Search Partitioning Advanced

GraphTea: Undo and Redo

0:58

GraphTea: Undo and Redo

GraphTea: MinAndMaxFilters

0:41

GraphTea: MinAndMaxFilters

GraphTea: Edge weights and labels

0:32

GraphTea: Edge weights and labels

GraphTea: Save tea Format

0:23

GraphTea: Save tea Format

GraphTea: set colors of all vertices and edges

1:18

GraphTea: set colors of all vertices and edges

GTea: Vertex Coloring

0:44

GTea: Vertex Coloring

GraphTea: Loops on vertices

0:30

GraphTea: Loops on vertices

GraphTea: color all vertices and edges

1:19

GraphTea: color all vertices and edges

GraphTea: Conjecture Checking - Chemical Tree Filter (Advanced)

2:07

GraphTea: Conjecture Checking - Chemical Tree Filter (Advanced)

GraphTea: Edge Weight and Label

0:32

GraphTea: Edge Weight and Label

GraphTea: Barycentric Graph Operator

0:21

GraphTea: Barycentric Graph Operator

GraphTea: Dijkstra Algorithm

1:10

GraphTea: Dijkstra Algorithm

GraphTea: Load and Save from/to the Tea format

0:23

GraphTea: Load and Save from/to the Tea format

GraphTea: Undo and Redo

0:58

GraphTea: Undo and Redo

GraphTea: Introduction

1:14

GraphTea: Introduction