Software Open Access
JuliaReach/LazySets.jl: v2.6.0
Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic
MARC21 XML Export
<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
<leader>00000nmm##2200000uu#4500</leader>
<controlfield tag="005">20230827073431.0</controlfield>
<controlfield tag="001">7671635</controlfield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">Universidad de la República</subfield>
<subfield code="a">Marcelo Forets</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">University of Vaasa</subfield>
<subfield code="a">Luca Ferranti</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">Sebastián Guadalupe</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">kpotomkin</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">Facultad de Ingeniería UdelaR</subfield>
<subfield code="a">Mauricio Vanzulli</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">ueliwechsler</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">Urudata Software</subfield>
<subfield code="a">Bruno Garate</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">tomerarnon</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">Daniel Freire Caporale</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">Ryan Birmingham</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">nikos-kekatos</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">TU Delft</subfield>
<subfield code="a">Frederik Baymler Mathiesen</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">Delft University of Technology</subfield>
<subfield code="a">Lasse Peters</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">University of Utah</subfield>
<subfield code="a">Aadesh Deshmukh</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">David Reguera</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">Gustavo Goretkin</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">Julia TagBot</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">@JuliaComputing</subfield>
<subfield code="a">Morten Piibeleht</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="u">@Shopify</subfield>
<subfield code="a">Peng Yu</subfield>
</datafield>
<datafield tag="700" ind1=" " ind2=" ">
<subfield code="a">viryfrederic</subfield>
</datafield>
<datafield tag="856" ind1="4" ind2=" ">
<subfield code="s">706671</subfield>
<subfield code="z">md5:0beec3fda34fe7c5735eb42e2ed19f1b</subfield>
<subfield code="u">https://zenodo.org/record/7671635/files/JuliaReach/LazySets.jl-v2.6.0.zip</subfield>
</datafield>
<datafield tag="542" ind1=" " ind2=" ">
<subfield code="l">open</subfield>
</datafield>
<datafield tag="260" ind1=" " ind2=" ">
<subfield code="c">2023-02-23</subfield>
</datafield>
<datafield tag="909" ind1="C" ind2="O">
<subfield code="p">software</subfield>
<subfield code="o">oai:zenodo.org:7671635</subfield>
</datafield>
<datafield tag="100" ind1=" " ind2=" ">
<subfield code="u">Aalborg University</subfield>
<subfield code="a">Christian Schilling</subfield>
</datafield>
<datafield tag="245" ind1=" " ind2=" ">
<subfield code="a">JuliaReach/LazySets.jl: v2.6.0</subfield>
</datafield>
<datafield tag="540" ind1=" " ind2=" ">
<subfield code="a">Other (Open)</subfield>
</datafield>
<datafield tag="650" ind1="1" ind2="7">
<subfield code="a">cc-by</subfield>
<subfield code="2">opendefinition.org</subfield>
</datafield>
<datafield tag="520" ind1=" " ind2=" ">
<subfield code="a">LazySets v2.6.0
<p><a href="https://github.com/JuliaReach/LazySets.jl/compare/v2.5.0...v2.6.0">Diff since v2.5.0</a></p>
<p><strong>Closed issues:</strong></p>
<ul>
<li>Concrete Minkowski difference for zonotopes (#586)</li>
<li>HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)</li>
<li>HPolytope's removehredundancy! removes non-redundant constraints (#754)</li>
<li>Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)</li>
<li>tohrep(::VPolytope) results in unbounded polytope (#1234)</li>
<li>Overapproximation of zonotope with polyhedron in constraint representation (#1328)</li>
<li>Different result for intersection using HPolyhedron or HPolytope (#1348)</li>
<li>HPolygon should not reorder already-sorted constraints (#1393)</li>
<li>Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505)</li>
<li>Docstrings with kwargs (#1650)</li>
<li>Faster support function for CPA and canonical vectors (#1758)</li>
<li>Add test for MiniQhull optional dependency (#2077)</li>
<li>Documentation redefinition in require blocks (#2080)</li>
<li>Fix warnings with Polyhedra (#2162)</li>
<li>addconstraint! for HPolygon differs with linear_search option (#2426)</li>
<li>Error when passing LP solver to Polyhedra (#2542)</li>
<li>AssertionError in is_tighter_same_dir_2D (#2582)</li>
<li>Checking equality of Complements Unexpected Behavior. (#2686)</li>
<li>Fix links in documentation (#2721)</li>
<li>Undefined LP in remove_redundant_constraints (#2732)</li>
<li>Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)</li>
<li>MethodError in eps close approx of Bloating (#2894)</li>
<li><code>rand</code> doesn't work with <code>Rational{Int}</code> (#3019)</li>
<li>isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)</li>
<li>Generalize <code>polyhedron</code> to <code>AbstractPolyhedron</code> (#3060)</li>
<li>EmptySet is not quite the absorbing operation for CartesianProduct (#3078)</li>
<li>Support vector of Ball2 in zero direction (#3198)</li>
<li>constraints_list of flat zonotopes is wrong (#3209)</li>
<li>Depend on <code>MathOptInterface</code> directly instead of referencing the internal variable of <code>JuMP</code> (#3238)</li>
</ul>
<p><strong>Merged pull requests:</strong></p>
<ul>
<li>Update publications (#3197) (@schillic)</li>
<li>#1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)</li>
<li>#3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)</li>
<li>Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)</li>
<li>Add reference (#3202) (@schillic)</li>
<li>Add volume method for HParallelotope (#3204) (@schillic)</li>
<li>Add order-reduction method with parallelotope (#3205) (@schillic)</li>
<li>#586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)</li>
<li>Fix vrep_chull algorithm and simplify code (#3207) (@schillic)</li>
<li>#3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)</li>
<li>#3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)</li>
<li>#2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)</li>
<li>#2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)</li>
<li>#1348 - Improved bound for line search (#3214) (@schillic)</li>
<li>#2077 - Add test for MiniQhull (#3216) (@schillic)</li>
<li>#2080 - Pull out documentation from requires blocks (#3217) (@schillic)</li>
<li>#2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)</li>
<li>Use newer version of Makie in tests (#3220) (@schillic)</li>
<li>Add publications (#3222) (@schillic)</li>
<li>#3060 - Generalize polyhedron to LazySet (#3223) (@schillic)</li>
<li>Use rng in all rand calls (#3224) (@schillic)</li>
<li>#2162 - Fix warning with Polyhedra (#3225) (@schillic)</li>
<li>Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)</li>
<li>Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)</li>
<li>Make names dir/dirs consistent (#3229) (@schillic)</li>
<li>Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)</li>
<li>Update Symbolics in tests (#3232) (@schillic)</li>
<li>Remove invoke calls (#3233) (@schillic)</li>
<li>Fix support vector of unbounded HPolyhedron (#3234) (@schillic)</li>
<li>Fix #3238 -- MathOptInterface -&gt; MOI (#3239) (@lassepe)</li>
<li>Update Project.toml (#3240) (@schillic)</li>
</ul></subfield>
</datafield>
<datafield tag="773" ind1=" " ind2=" ">
<subfield code="n">url</subfield>
<subfield code="i">isSupplementTo</subfield>
<subfield code="a">https://github.com/JuliaReach/LazySets.jl/tree/v2.6.0</subfield>
</datafield>
<datafield tag="773" ind1=" " ind2=" ">
<subfield code="n">doi</subfield>
<subfield code="i">isVersionOf</subfield>
<subfield code="a">10.5281/zenodo.1161710</subfield>
</datafield>
<datafield tag="024" ind1=" " ind2=" ">
<subfield code="a">10.5281/zenodo.7671635</subfield>
<subfield code="2">doi</subfield>
</datafield>
<datafield tag="980" ind1=" " ind2=" ">
<subfield code="a">software</subfield>
</datafield>
</record>
1,722
1,571
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,722 | 6 |
| Downloads | 1,571 | 1 |
| Data volume | 798.2 MB | 706.7 kB |
| Unique views | 1,583 | 6 |
| Unique downloads | 251 | 1 |
Available in
Indexed in
Indexed in
- Publication date:
- February 23, 2023
- DOI:
-
- Related identifiers:
- Supplement to
- License (for files):
- Other (Open)