3 ms·

This paper is well written. I was able to extract the mathematics into the project I created to document the relations and steps of derivations [0]. [0] https

• xaedes 6y ago
  Wow, this derivationmap site looks very interesting. I desperatly want something like this for graph rewriting on abstract syntax trees. A fullscreen option for the d3 graph would be nice, this way it could leverage large monitors. Some interface for creating derivations directly from graph view would be amazing, but this is probably hard to get right.
  • egberts1 6y ago
    If you already have a yacc/bison in your project’s CLI or compiler parser, you could use `bison —graph=` then feed that graph file into DOT/gv layout for outputting to PNG or SVG.
• jwilk 6y ago
  Note that there are two approaches to calculating v in this artcile, and this derivation covers only the more hand-wavy one. For example, they drop the √f factor, because "[f]or most strongly bonded solids, f varies in the range of 1 to 4".