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


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.7746653</identifier>
  <creators>
    <creator>
      <creatorName>Christian Schilling</creatorName>
      <affiliation>Aalborg University</affiliation>
    </creator>
    <creator>
      <creatorName>Marcelo Forets</creatorName>
      <affiliation>Universidad de la República</affiliation>
    </creator>
    <creator>
      <creatorName>Luca Ferranti</creatorName>
      <affiliation>University of Vaasa</affiliation>
    </creator>
    <creator>
      <creatorName>Sebastián Guadalupe</creatorName>
    </creator>
    <creator>
      <creatorName>kpotomkin</creatorName>
    </creator>
    <creator>
      <creatorName>Mauricio Vanzulli</creatorName>
      <affiliation>Facultad de Ingeniería UdelaR</affiliation>
    </creator>
    <creator>
      <creatorName>ueliwechsler</creatorName>
    </creator>
    <creator>
      <creatorName>Bruno Garate</creatorName>
      <affiliation>Urudata Software</affiliation>
    </creator>
    <creator>
      <creatorName>tomerarnon</creatorName>
    </creator>
    <creator>
      <creatorName>Daniel Freire Caporale</creatorName>
    </creator>
    <creator>
      <creatorName>Ryan Birmingham</creatorName>
    </creator>
    <creator>
      <creatorName>nikos-kekatos</creatorName>
    </creator>
    <creator>
      <creatorName>Frederik Baymler Mathiesen</creatorName>
      <affiliation>TU Delft</affiliation>
    </creator>
    <creator>
      <creatorName>Lasse Peters</creatorName>
      <affiliation>Delft University of Technology</affiliation>
    </creator>
    <creator>
      <creatorName>Aadesh Deshmukh</creatorName>
      <affiliation>University of Utah</affiliation>
    </creator>
    <creator>
      <creatorName>David Reguera</creatorName>
    </creator>
    <creator>
      <creatorName>Gustavo Goretkin</creatorName>
    </creator>
    <creator>
      <creatorName>Julia TagBot</creatorName>
    </creator>
    <creator>
      <creatorName>Morten Piibeleht</creatorName>
      <affiliation>@JuliaComputing</affiliation>
    </creator>
    <creator>
      <creatorName>Peng Yu</creatorName>
      <affiliation>@Shopify</affiliation>
    </creator>
    <creator>
      <creatorName>viryfrederic</creatorName>
    </creator>
  </creators>
  <titles>
    <title>JuliaReach/LazySets.jl: v2.7.0</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2023</publicationYear>
  <dates>
    <date dateType="Issued">2023-03-17</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/7746653</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsSupplementTo">https://github.com/JuliaReach/LazySets.jl/tree/v2.7.0</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.1161710</relatedIdentifier>
  </relatedIdentifiers>
  <version>v2.7.0</version>
  <rightsList>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">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;</description>
  </descriptions>
</resource>
1,705
1,571
views
downloads
All versions This version
Views 1,7058
Downloads 1,5711
Data volume 798.2 MB707.1 kB
Unique views 1,5668
Unique downloads 2511

Share

Cite as