19 points | by ibobev 4 days ago ago
3 comments
Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?
I like directed acyclic graphs and/or DAG because it's a succinct description and contract. Trying to change the name of it makes me quiver with uncertainty.
But they aren't DAGs. They are multidigraphs.
Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?
I like directed acyclic graphs and/or DAG because it's a succinct description and contract. Trying to change the name of it makes me quiver with uncertainty.
But they aren't DAGs. They are multidigraphs.