Prathyush

This looks like an amazing paper. A Short Note on the History of Graph Drawing (2001) Eriola Kruja, Joe Marks, Ann Blair, Richard Waters https://www.merl.com/publications/docs/TR2001-49.pdf

A New Symbolism for the Propositional Calculus: http://nsl.com/k/parry/parry.pdf Ideographic Computation in the Propositional Calculus: http://nsl.com/k/parry/standley.pdf Also search for the instances on the internet where these papers where referenced and the...

https://pdfs.semanticscholar.org/8739/2140a0d5397405fec81b7adcb61b1a6d59fd.pdf

 https://arxiv.org/abs/1702.01695

https://www.epatters.org/wiki/algebra/computational-category-theory.html

https://math.ucr.edu/home/baez/universal/universal.pdf If possible, try to track the provenance of diagrammatic reasoning for algebras.

http://paulfitz.github.io/cosmicos/ There is a reference section: https://web.archive.org/web/20170207100510/http://cosmicos.github.io/references.html

https://legacy.cs.indiana.edu/~sabry/papers/rational.pdf

Available here: https://upcommons.upc.edu/handle/2117/17933

https://yk-liu.github.io/2020/The-Amazing-World-of-Diagrams/