BallArithmetic

ball arithmetic in Julia

https://github.com/juliaballarithmetic/ballarithmetic.jl

Science Score: 67.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
    Found .zenodo.json file
  • DOI references
    Found 1 DOI reference(s) in README
  • Academic publication links
    Links to: springer.com
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (9.2%) to scientific vocabulary
Last synced: 7 months ago · JSON representation ·

Repository

ball arithmetic in Julia

Basic Info
  • Host: GitHub
  • Owner: JuliaBallArithmetic
  • License: mit
  • Language: Jupyter Notebook
  • Default Branch: main
  • Size: 5.31 MB
Statistics
  • Stars: 1
  • Watchers: 2
  • Forks: 0
  • Open Issues: 7
  • Releases: 1
Created almost 3 years ago · Last pushed 8 months ago
Metadata Files
Readme License Citation

README.md

BallArithmetic

Stable Dev Build Status Coverage

This package implements Ball Arithmetic, with a focus on Numerical Linear Algebra.

Ball Arithmetic introduces a type, called Ball, which represents a subset of the real numbers of the type $(c-r, c+r)$ such that the computed sum of two balls X, Y is guaranteed to contain the set ${x+y \mid x\in X, y\in Y}$ of all the possible sums of elements of X and Y; this operation may return a bigger set, due to rounding, etc... Due to this inclusion property, we can use these computed entities to control the error of numercial operations and even prove theorems in Mathematics. Other packages implementing a similar phylosophy are IntervalArithmetic.jl, which implements Interval Arithmetic, and ArbNumerics which uses Ball Arithmetic and wraps Arb.

The library does not limit itself to the sum, but implements all the other arithmetic operations, but our main interest is to implement linear algebra operations following the ideas of Rump, BIT, 1999.

The fundamental idea is that, exchanging precision with speed, to use optimized Blas operations acting on matrices to compute enclosures of matrix-vector and matrix-matrix products. To do so, we introduce a type BallMatrix, which contains a matrix of centers and a matrix of radiuses. The implementation then guarantees that the result of a matrix-matrix product or a matrix vector product is contained in the set defined by the resulting BallMatrix or BallVector.

Owner

  • Name: JuliaBallArithmetic
  • Login: JuliaBallArithmetic
  • Kind: organization

Citation (CITATION.bib)

@software{BallArithmetic.jl,
  author = {Ferranti, Luca and Nisoli, Isaia},
  title  = {{BallArithmetic}.jl},
  url    = {https://github.com/JuliaBallArithmetic/BallArithmetic.jl},
  year   = {2023},
}

GitHub Events

Total
  • Delete event: 8
  • Issue comment event: 4
  • Push event: 45
  • Pull request event: 17
  • Create event: 12
  • Commit comment event: 1
Last Year
  • Delete event: 8
  • Issue comment event: 4
  • Push event: 45
  • Pull request event: 17
  • Create event: 12
  • Commit comment event: 1

Packages

  • Total packages: 1
  • Total downloads: unknown
  • Total dependent packages: 0
  • Total dependent repositories: 0
  • Total versions: 2
juliahub.com: BallArithmetic

ball arithmetic in Julia

  • Versions: 2
  • Dependent Packages: 0
  • Dependent Repositories: 0
Rankings
Dependent repos count: 9.6%
Dependent packages count: 38.6%
Average: 43.9%
Forks count: 52.9%
Stargazers count: 74.3%
Last synced: 7 months ago

Dependencies

.github/workflows/CI.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v2 composite
  • julia-actions/cache v1 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-docdeploy v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/CompatHelper.yml actions
.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite