Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v2.7.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.7746653">
    <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.7746653</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.7746653"/>
    <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.7.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-03-17</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/7746653"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/7746653</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:relation rdf:resource="https://github.com/JuliaReach/LazySets.jl/tree/v2.7.0"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.1161710"/>
    <owl:versionInfo>v2.7.0</owl:versionInfo>
    <dct:description>LazySets v2.7.0 &lt;p&gt;&lt;a href="https://github.com/JuliaReach/LazySets.jl/compare/v2.6.0...v2.7.0"&gt;Diff since v2.6.0&lt;/a&gt;&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Closed issues:&lt;/strong&gt;&lt;/p&gt; &lt;ul&gt; &lt;li&gt;Generalize methods to AbstractPolyhedron (#1078)&lt;/li&gt; &lt;li&gt;Conversion from simple HRep to list of constraints (#1610)&lt;/li&gt; &lt;li&gt;Remove N&amp;lt;:Real annotation (#2219)&lt;/li&gt; &lt;li&gt;vertices_list of an empty HParallelotope is non-empty (#2786)&lt;/li&gt; &lt;li&gt;Random parallelotope generation often returns an empty set (#3203)&lt;/li&gt; &lt;li&gt;Documentation Update section causes error (#3242)&lt;/li&gt; &lt;/ul&gt; &lt;p&gt;&lt;strong&gt;Merged pull requests:&lt;/strong&gt;&lt;/p&gt; &lt;ul&gt; &lt;li&gt;#2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)&lt;/li&gt; &lt;li&gt;#3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)&lt;/li&gt; &lt;li&gt;#1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)&lt;/li&gt; &lt;li&gt;#2219 - Remove remaining N&amp;lt;:Real annotations (#3236) (@schillic)&lt;/li&gt; &lt;li&gt;Update manual (getting started) (#3243) (@schillic)&lt;/li&gt; &lt;li&gt;Move some code to interface files (#3244) (@schillic)&lt;/li&gt; &lt;li&gt;Remove dependency on JuMP.MOI (#3245) (@schillic)&lt;/li&gt; &lt;/ul&gt;</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.7746653"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.7746653"/>
        <dcat:byteSize>707077</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/7746653/files/JuliaReach/LazySets.jl-v2.7.0.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
1,707
1,571
views
downloads
All versions This version
Views 1,7078
Downloads 1,5711
Data volume 798.2 MB707.1 kB
Unique views 1,5688
Unique downloads 2511
More info on how stats are collected.
Available in Indexed in
Publication date:
March 17, 2023
DOI:
10.5281/zenodo.7746653

Zenodo DOI Badge

DOI 

10.5281/zenodo.7746653

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7746653.svg)](https://doi.org/10.5281/zenodo.7746653)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7746653.svg
   :target: https://doi.org/10.5281/zenodo.7746653

HTML 

<a href="https://doi.org/10.5281/zenodo.7746653"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7746653.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7746653.svg

Target URL 

https://doi.org/10.5281/zenodo.7746653

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v2.11.0 10.5281/zenodo.8286909 Aug 27, 2023
Version v2.10.0 10.5281/zenodo.8267746 Aug 21, 2023
Version v2.9.0 10.5281/zenodo.8241439 Aug 12, 2023
Version v2.8.0 10.5281/zenodo.8123522 Jul 7, 2023
Version v2.7.6 10.5281/zenodo.7906791 May 8, 2023
...
Version v2.7.0 10.5281/zenodo.7746653 Mar 17, 2023
View all 138 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1161710. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export