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
<?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 <p><a href="https://github.com/JuliaReach/LazySets.jl/compare/v2.6.0...v2.7.0">Diff since v2.6.0</a></p> <p><strong>Closed issues:</strong></p> <ul> <li>Generalize methods to AbstractPolyhedron (#1078)</li> <li>Conversion from simple HRep to list of constraints (#1610)</li> <li>Remove N&lt;:Real annotation (#2219)</li> <li>vertices_list of an empty HParallelotope is non-empty (#2786)</li> <li>Random parallelotope generation often returns an empty set (#3203)</li> <li>Documentation Update section causes error (#3242)</li> </ul> <p><strong>Merged pull requests:</strong></p> <ul> <li>#2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)</li> <li>#3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)</li> <li>#1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)</li> <li>#2219 - Remove remaining N&lt;:Real annotations (#3236) (@schillic)</li> <li>Update manual (getting started) (#3243) (@schillic)</li> <li>Move some code to interface files (#3244) (@schillic)</li> <li>Remove dependency on JuMP.MOI (#3245) (@schillic)</li> </ul></description> </descriptions> </resource>
All versions | This version | |
---|---|---|
Views | 1,705 | 8 |
Downloads | 1,571 | 1 |
Data volume | 798.2 MB | 707.1 kB |
Unique views | 1,566 | 8 |
Unique downloads | 251 | 1 |