March 17, 2023 Software Open Access

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">7746653</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">707077</subfield>
    <subfield code="z">md5:ab0db294b855f6261067bbadb215c13d</subfield>
    <subfield code="u">https://zenodo.org/record/7746653/files/JuliaReach/LazySets.jl-v2.7.0.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2023-03-17</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:7746653</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.7.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.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;</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.7.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.7746653</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>