IntervalLinearAlgebra
Linear algebra done rigorously
Science Score: 54.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
✓DOI references
Found 3 DOI reference(s) in README -
○Academic publication links
-
✓Committers with academic emails
1 of 8 committers (12.5%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (15.3%) to scientific vocabulary
Keywords
Keywords from Contributors
Repository
Linear algebra done rigorously
Basic Info
Statistics
- Stars: 38
- Watchers: 6
- Forks: 11
- Open Issues: 13
- Releases: 7
Topics
Metadata Files
README.md
| Pkg Info | Build status | Documentation | Citation | Contributing |
|:------------:|:----------------:|:-----------------:|:------------:|:----------------:|
|
|
|
|
Overview
This package contains routines to perform numerical linear algebra using interval arithmetic. This can be used both for rigorous computations and uncertainty propagation.
If you use this package in your work, please cite it as
@software{ferranti2021interval,
author = {
Luca Feranti and
Marcelo Forets and
David P. Sanders
},
title = {IntervalLinearAlgebra.jl: linear algebra done rigorously},
month = {9},
year = {2021},
doi = {10.5281/zenodo.5363563},
url = {https://github.com/juliaintervals/IntervalLinearAlgebra.jl}
}
Features
Note: The package is still under active development and things evolve quickly (or at least should)
- enclosure of the solution of interval linear systems
- exact characterization of the solution set of interval linear systems using Oettli-Präger
- verified solution of floating point linear systems
- enclosure of eigenvalues of interval matrices
- verified computation of eigenvalues and eigenvectors of floating point matrices
Installation
Open a Julia session and enter
julia
using Pkg; Pkg.add("IntervalLinearAlgebra")
this will download the package and all the necessary dependencies for you. Next you can import the package with
julia
using IntervalLinearAlgebra
and you are ready to go.
Documentation
- STABLE -- Documentation of the latest release
- DEV -- Documentation of the current version on main (work in progress)
The package was also presented at JuliaCon 2021! The video is available here and the slides here
Quickstart
Here is a quick demo about solving an interval linear system.
```julia using IntervalLinearAlgebra, LazySets, Plots
A = [2..4 -1..1;-1..1 2..4] b = [-2..2, -1..1]
Xenclose = solve(A, b) polytopes = solve(A, b, LinearOettliPrager())
plot(UnionSetArray(polytopes), ratio=1, label="solution set", legend=:top) plot!(IntervalBox(Xenclose), label="enclosure") ```
Contributing
If you spot something strange in the software (something doesn't work or doesn't behave as expected) do not hesitate to open a bug issue.
If have an idea of how to make the package better (a new feature, a new piece of documentation, an idea to improve some existing feature), you can open an enhancement issue.
If you feel like your issue does not fit any of the above mentioned templates (e.g. you just want to ask something), you can also open a blank issue.
Pull requests are also very welcome! More details in the contributing guidelines
The core developers of the package can be found in the #intervals channel in the Julia slack or zulip, links to join the platforms can be found here. Come to chat with us!
References
An excellent introduction to interval linear algebra is J. Horácek, Interval Linear and Nonlinear Systems, 2019, available here
See also the complete list of references for the concepts and algorithms used in this package.
Related packages
- IntervalArithmetic.jl -- Interval computations in Julia
- IntervalMatrices.jl -- Matrices with interval coefficients in Julia.
Acknowledgment
The development of this package started during the Google Summer of Code (GSoC) 2021 program for the Julia organisation. The author wishes to thank his mentors David Sanders and Marcelo Forets for the constant guidance and feedback. During the GSoC program, this project was financially supported by Google.
Owner
- Name: JuliaIntervals
- Login: JuliaIntervals
- Kind: organization
- Website: https://juliaintervals.github.io/
- Repositories: 21
- Profile: https://github.com/JuliaIntervals
Citation (CITATION.bib)
@software{ferranti2021interval,
author = {
Luca Feranti and
Marcelo Forets and
David P. Sanders
},
title = {IntervalLinearAlgebra.jl: linear algebra done rigorously},
month = {9},
year = {2021},
doi = {10.5281/zenodo.5363563},
url = {https://github.com/juliaintervals/IntervalLinearAlgebra.jl}
}
GitHub Events
Total
- Issues event: 1
- Watch event: 2
- Pull request event: 1
- Fork event: 1
Last Year
- Issues event: 1
- Watch event: 2
- Pull request event: 1
- Fork event: 1
Committers
Last synced: 9 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| lucaferranti | 4****i | 79 |
| jorgepz | j****z@f****y | 18 |
| Jorge Pérez Zerpa | 4****z | 6 |
| Marcelo Forets | m****s@g****m | 4 |
| Isaia Nisoli | i****i@g****m | 2 |
| Daniel Karrasch | d****h@p****e | 1 |
| Benoît Legat | b****t@g****m | 1 |
| CompatHelper Julia | c****y@j****g | 1 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 37
- Total pull requests: 68
- Average time to close issues: about 2 months
- Average time to close pull requests: 6 days
- Total issue authors: 10
- Total pull request authors: 8
- Average comments per issue: 2.24
- Average comments per pull request: 2.1
- Merged pull requests: 61
- Bot issues: 0
- Bot pull requests: 5
Past Year
- Issues: 2
- Pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 2
- Pull request authors: 1
- Average comments per issue: 0.5
- Average comments per pull request: 0.0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- lucaferranti (27)
- jorgepz (2)
- Kolaru (1)
- mforets (1)
- orkolorko (1)
- IlPreteRosso (1)
- wlad-svennik (1)
- adrienbanse (1)
- JuliaTagBot (1)
- haloinca (1)
Pull Request Authors
- lucaferranti (52)
- github-actions[bot] (5)
- jorgepz (4)
- orkolorko (3)
- KristofferC (2)
- mforets (1)
- dkarrasch (1)
- blegat (1)
Top Labels
Issue Labels
Pull Request Labels
Packages
- Total packages: 1
-
Total downloads:
- julia 7 total
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 7
juliahub.com: IntervalLinearAlgebra
Linear algebra done rigorously
- Documentation: https://docs.juliahub.com/General/IntervalLinearAlgebra/stable/
- License: MIT
-
Latest release: 0.1.6
published over 1 year ago
Rankings
Dependencies
- actions/cache v1 composite
- actions/checkout v2 composite
- codecov/codecov-action v1 composite
- julia-actions/julia-buildpkg v1 composite
- julia-actions/julia-processcoverage v1 composite
- julia-actions/julia-runtest v1 composite
- julia-actions/setup-julia v1 composite
- JuliaRegistries/TagBot v1 composite
- actions/checkout v2 composite