proofofconcept

proofofconcept copied to clipboard

relation of expressions used on a cheat sheet

1

Students use cheat sheets for exams. Typically the expressions on a cheat sheet are presented in a disconnected manner. The scope of a cheat sheet is typically limited to a...

researcherben

assessment: what are the inference rule tuples and triples?

1

Given the graph and the inference rule basis, - what are the most frequent and least frequent inference rule tuples? - what are the most frequent and least frequent inference...

researcherben

see https://derivationmap.net/list_all_operators Mathjax shows "missing operator for \dot"

researcherben

If the graph is connected (i.e., no isolated subgraphs), then there is a (shortest) path between any two expressions. What is that path? How long is it? The path distance...

researcherben

check log file size on server -- how much disk space is available?

1

on DigitalOcean Virtual Private Server (VPS), how big are the logs? how much disk space remains?

researcherben

TODO: answer "which derivations use this operator?" on the page TODO: answer "how frequently is this operator used?" on the page - "which derivations use this expression?" is answered on...

researcherben

another graph: relation of variables by expressions

1

Suppose the variable "a" shows up in expression 6, and expression 6 also contains the variable "b". Then an edge exists between nodes "a" and "b": ``` "a" -- (expr...

researcherben

Is the content in the Physics Derivation Graph [connected](https://en.wikipedia.org/wiki/Component_(graph_theory))? If there is more than one independent subgraph, then there is a connecting derivation to be found.

researcherben

As far as I can tell, Bokeh supports Latex via MathJax (see https://docs.bokeh.org/en/latest/docs/user_guide/styling.html#adding-mathematical-notations ) but not for node labels on graphs. https://docs.bokeh.org/en/latest/docs/reference/models/graphs.html This is a subset of #19 Using Bokeh...

bhpayne

NetworkX supports Latex for node labels on graphs; see https://networkx.org/documentation/networkx-1.9/examples/drawing/labels_and_colors.html I think the problem was with long Latex strings, but I don't have an example showing that. This is a...

bhpayne