Christian Schilling

When no multiplication (`*`) is found, the `@system` macro breaks in Julia nightly. ```julia julia> @system(x' = A*x) # works julia> @system(x' = Ax) ERROR: ArgumentError: the entry () does...

Add Christian Schilling from Aalborg University

3

# Contributing to CSrankings Thanks for contributing to CSrankings! Please read and indicate you agree with **all** these guidelines to getting your pull request accepted. Note that pull requests may...

GR plots are opened when building documentation

4

## Details Since v1.41.2, in a Documenter run with plots, a window opens and shows the plot, just like when you use Plots in a REPL normally. Previously, such a...

This PR is finished, but it cannot currently be used due to external packages requiring an upgrade: - IntervalConstraintProgramming, which itself requires upgrades: - IntervalBoxes - IntervalContractors - ReversePropagation ---...

`isempty` is a heavy check and may crash code that worked before.

We have `constraints_list` for `Complement`, which does not actually require `ispolyhedral`. So we should either - rename that function to something else (my preference because the meaning is different) or...

This branch is based on #3962. `isempty` is a heavy check and may crash code that worked before.

`convert` from `AbstractSparsePolynomialZonotope` to `Zonotope`

2

1. If there are no dependent generators, the implementation is trivial. 2. In 1D, the implementation is simple (`low` and `high` probably need to be improved in that case). (probably...

https://github.com/JuliaSymbolics/Symbolics.jl/blob/28ab4096abcb143fabf96f3559e831491150abc1/src/diff.jl#L649-L656 The method body requires that `ops