3 ms·

you are assuming that the reader is familiar with this specific understanding of "derive". someone not familiar with formal methods wouldn't.

• mlevental 7y ago
  what other understanding of derive is there???
  • coolgeek 7y ago
    Derived data - e.g. indexes or summaries. Derivative financial instruments - e.g. options, CDSs. I'm sure there are many more examples.