Abstract
A proof whether two graphs (possibly oriented graphs or multigraphs, etc.) are isomorphic or not can be derived by various methods. Some of them are reasonable for small numbers of vertices and/or edges, but not for larger numbers. Switching from iconic representation to a matrix representation transforms the problem of Graph Theory into a problem in Linear Algebra. The support provided by a Computer Algebra System is analyzed, in particular with regard to the building of new mathematical knowledge through a transition from graphical to algebraic representation. Moreover two important issues are discussed: a. the need for more than one representation; b. the direction of the switch between representations, which is non standard, from graphical to algebraic.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
