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
DCAT Export
<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
<rdf:Description rdf:about="https://doi.org/10.5281/zenodo.7671635">
<rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
<dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
<dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.7671635</dct:identifier>
<foaf:page rdf:resource="https://doi.org/10.5281/zenodo.7671635"/>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Christian Schilling</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>Aalborg University</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Marcelo Forets</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>Universidad de la República</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Luca Ferranti</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>University of Vaasa</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Sebastián Guadalupe</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>kpotomkin</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Mauricio Vanzulli</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>Facultad de Ingeniería UdelaR</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>ueliwechsler</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Bruno Garate</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>Urudata Software</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>tomerarnon</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Daniel Freire Caporale</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Ryan Birmingham</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>nikos-kekatos</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Frederik Baymler Mathiesen</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>TU Delft</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Lasse Peters</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>Delft University of Technology</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Aadesh Deshmukh</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>University of Utah</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>David Reguera</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Gustavo Goretkin</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Julia TagBot</foaf:name>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Morten Piibeleht</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>@JuliaComputing</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>Peng Yu</foaf:name>
<org:memberOf>
<foaf:Organization>
<foaf:name>@Shopify</foaf:name>
</foaf:Organization>
</org:memberOf>
</rdf:Description>
</dct:creator>
<dct:creator>
<rdf:Description>
<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
<foaf:name>viryfrederic</foaf:name>
</rdf:Description>
</dct:creator>
<dct:title>JuliaReach/LazySets.jl: v2.6.0</dct:title>
<dct:publisher>
<foaf:Agent>
<foaf:name>Zenodo</foaf:name>
</foaf:Agent>
</dct:publisher>
<dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2023</dct:issued>
<dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2023-02-23</dct:issued>
<owl:sameAs rdf:resource="https://zenodo.org/record/7671635"/>
<adms:identifier>
<adms:Identifier>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/7671635</skos:notation>
<adms:schemeAgency>url</adms:schemeAgency>
</adms:Identifier>
</adms:identifier>
<dct:relation rdf:resource="https://github.com/JuliaReach/LazySets.jl/tree/v2.6.0"/>
<dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.1161710"/>
<owl:versionInfo>v2.6.0</owl:versionInfo>
<dct:description>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></dct:description>
<dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
<dct:accessRights>
<dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
<rdfs:label>Open Access</rdfs:label>
</dct:RightsStatement>
</dct:accessRights>
<dcat:distribution>
<dcat:Distribution>
<dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.7671635"/>
</dcat:Distribution>
</dcat:distribution>
<dcat:distribution>
<dcat:Distribution>
<dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.7671635"/>
<dcat:byteSize>706671</dcat:byteSize>
<dcat:downloadURL rdf:resource="https://zenodo.org/record/7671635/files/JuliaReach/LazySets.jl-v2.6.0.zip"/>
<dcat:mediaType>application/zip</dcat:mediaType>
</dcat:Distribution>
</dcat:distribution>
</rdf:Description>
</rdf:RDF>
1,710
1,571
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,710 | 6 |
| Downloads | 1,571 | 1 |
| Data volume | 798.2 MB | 706.7 kB |
| Unique views | 1,571 | 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)