The following pages link to (Q4207939):
Displaying 8 items.
- Man-machine theorem proving in graph theory (Q1104124) (← links)
- Cabri-graph, a sketchpad for graph theory. (Q1565868) (← links)
- (Q3210912) (← links)
- (Q3315555) (← links)
- (Q3797212) (← links)
- Results obtained by a knowledge-based system for graph theory (Q3976797) (← links)
- (Q3996383) (← links)
- Finding tricyclic graphs with a maximal number of matchings - another example of computer aided research in graph theory (Q5184945) (← links)