Spencer Smith

@cd155, what @JacquesCarette meant by "once where the explicit equations are taken" is to document the code generation stage for a non-ODE example. For instance, GlassBR is an example where...

We discussed this issue in our "cold cases" meeting on Dec 6, 2021. We decided that it is premature to address it now, since we are in the midst of...

We discussed this further in the "all hands meeting" on March 14. GlassBR has several examples of equations that look odd, for instance LR = NFR GTF LSF. This would...

Yes, we talked about this a bit at the start of the meeting. We thought that with some thought we could come up with some rules for when explicit multiplication...

Yes, this is still needed. I had a quick look at the LaTeX code and some of the equations are spaced very oddly. I'll attach the example of is_safeProb. It...

Yes, I think I took advantage of the different uses of the words theory and model when I devised the SRS template. :smile: It would be nice to nail down...

@JacquesCarette this is a great post. There is plenty to digest here. Once I've digested it, I'd like to try out your definitions by applying them (manually at first) to...

Yes, I am working on an example for the noPCM SRS.

Looks good @cd155.

We wouldn't normally don't put mathematical symbols like +/- infinite in the table of symbols. We think of them as part of the mathematical background knowledge. In the terminology of...