David P. Sanders
David P. Sanders
```jl julia> @variables a, b, c, d (a, b, c, d) julia> A = [a b; c d] 2×2 Matrix{Num}: a b c d julia> inv(A) 2×2 Matrix{Num}: (a^-1)*(true +...
Adding the line ```jl @register_symbolic delta(x::Num, y::Int) false ``` to SatisfiabilityInterface.jl gives the following warnings: ```jl WARNING: Method definition delta(Symbolics.Num, Int64) in module SatisfiabilityInterface at /Users/dsanders/.julia/packages/Symbolics/kG5bl/src/register.jl:51 overwritten on the same...
Under-approximations for solutions of ODEs, implemented via a generalized mean-value form: https://ieeexplore.ieee.org/abstract/document/9099222 Implemented in https://github.com/cosynus-lix/RINO
The recent paper [101] in this list: https://www.ensta-bretagne.fr/jaulin/publications.html describes an algorithm for constructing backward reachable sets of ODEs. The PDF is here: https://www.ensta-bretagne.fr/jaulin/paper_basin.pdf
It often seems unclear exactly when a reviewer has finished their review. Maybe it would useful to add a final checkbox along the lines of "I'm satisfied with the current...
The need for documentation to be provided in the software repo does not seem to be explicitly listed in the *Submissions requirements* section in https://joss.readthedocs.io/en/latest/submitting.html
It would be useful to add a section to the editorial docs about the pre-review check for a submission to be in scope and a significant contribution.
Perhaps the keywords could make the license type explicit, or it should be a separate field that can be sorted / filtered on.
I am trying to document multiple constructors for `BigFloat` added in https://github.com/JuliaLang/julia/pull/17217/files The only way to do this seems to be to list them manually one by one. However, all...
The following should be a simple calculation, but uses 2GB (!) in the compilation process...: ```jl julia> using ForwardDiff, StaticArrays, IntervalArithmetic julia> f(x) = 2 .* x .* x f...