There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v1.53.4

Christian Schilling; Marcelo Forets; Sebastián Guadalupe; kpotomkin; ueliwechsler; Bruno Garate; tomerarnon; dfcaporale; Ryan Birmingham; nikos-kekatos; Aadesh Deshmukh; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; lucaferranti; 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.5761068">
    <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.5761068</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.5761068"/>
    <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>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>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>dfcaporale</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>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>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>Massey 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>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>lucaferranti</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>viryfrederic</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:title>JuliaReach/LazySets.jl: v1.53.4</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">2021</dct:issued>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2021-12-06</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/5761068"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/5761068</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:relation rdf:resource="https://github.com/JuliaReach/LazySets.jl/tree/v1.53.4"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.1161710"/>
    <owl:versionInfo>v1.53.4</owl:versionInfo>
    <dct:description>LazySets v1.53.4 &lt;p&gt;&lt;a href="https://github.com/JuliaReach/LazySets.jl/compare/v1.53.3...v1.53.4"&gt;Diff since v1.53.3&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;Add more exponentiation backends (#1312)&lt;/li&gt; &lt;li&gt;Dark mode contrast for notes sections (#2913)&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;Fix isempty(::HParallelotope) (#2875) (@schillic)&lt;/li&gt; &lt;li&gt;Revise scripts (#2899) (@schillic)&lt;/li&gt; &lt;li&gt;Do not run CI on commits to master (#2900) (@schillic)&lt;/li&gt; &lt;li&gt;Update affiliation (#2901) (@schillic)&lt;/li&gt; &lt;li&gt;linear_map for UnionSet(Array) (#2902) (@schillic)&lt;/li&gt; &lt;li&gt;Undo #2900 (#2904) (@schillic)&lt;/li&gt; &lt;li&gt;Fix CI script (#2905) (@schillic)&lt;/li&gt; &lt;li&gt;Skip CI when changing README (#2906) (@schillic)&lt;/li&gt; &lt;li&gt;#1312 - Add more exponentiation backends (#2907) (@schillic)&lt;/li&gt; &lt;li&gt;volume for UnionSet, Intersection, EmptySet (#2910) (@schillic)&lt;/li&gt; &lt;li&gt;Sampling from HalfSpace (#2912) (@schillic)&lt;/li&gt; &lt;li&gt;simplify css, only keep aligned statement (#2914) (@mforets)&lt;/li&gt; &lt;li&gt;Update Project.toml (#2915) (@mforets)&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.5761068"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5761068"/>
        <dcat:byteSize>685780</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/5761068/files/JuliaReach/LazySets.jl-v1.53.4.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
1,481
1,565
views
downloads
All versions This version
Views 1,48130
Downloads 1,5651
Data volume 793.9 MB685.8 kB
Unique views 1,35523
Unique downloads 2461
More info on how stats are collected.
Available in Indexed in
Publication date:
December 6, 2021
DOI:
10.5281/zenodo.5761068

Zenodo DOI Badge

DOI 

10.5281/zenodo.5761068

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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

Versions

Version v2.7.0 10.5281/zenodo.7746653 Mar 17, 2023
Version v2.6.0 10.5281/zenodo.7671635 Feb 23, 2023
Version v2.5.0 10.5281/zenodo.7336100 Nov 18, 2022
Version v2.4.0 10.5281/zenodo.7319963 Nov 14, 2022
Version v2.3.0 10.5281/zenodo.7191435 Oct 12, 2022
...
Version v1.53.4 10.5281/zenodo.5761068 Dec 6, 2021
View all 128 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