|
[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia
|
|
2
|
384
|
October 29, 2026
|
|
[ANN] IntervalArithmetic 0.23
|
|
0
|
271
|
July 28, 2025
|
|
IntervalOptimisation.jl and threads gives lock conflicts
|
|
10
|
483
|
November 29, 2024
|
|
Tools for computer assisted proofs in analysis
|
|
13
|
1577
|
April 29, 2024
|
|
How to address an error?
|
|
4
|
699
|
January 6, 2024
|
|
How to plot 3-dimensional "IntervalBox()"?
|
|
1
|
471
|
September 9, 2023
|
|
Matching for interpolation
|
|
4
|
318
|
September 8, 2023
|
|
Mid points of interval elements in interval vector
|
|
4
|
600
|
January 17, 2023
|
|
[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function
|
|
52
|
10131
|
September 26, 2022
|
|
Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)
|
|
37
|
6023
|
April 30, 2021
|
|
Rigorous spectral opnorm
|
|
17
|
895
|
June 15, 2022
|
|
Comparison of IntervalArithmetic.jl and Measurements.jl
|
|
11
|
1239
|
May 5, 2022
|
|
Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`
|
|
7
|
1242
|
January 6, 2022
|
|
IntervalOptimisation surprising result
|
|
9
|
789
|
July 6, 2021
|
|
What is the alternative to Python gym.spaces.Box() in Julia?
|
|
2
|
771
|
January 3, 2021
|
|
How to write xs[i]..xs[i+1] in Julia 1.5 , two dots
|
|
7
|
931
|
January 1, 2021
|
|
Interval times Int64 and Interval times BigInt discrepancy
|
|
7
|
684
|
December 16, 2020
|
|
High precision interval rounding error
|
|
6
|
745
|
December 15, 2020
|
|
Fast sparse interval matrices?
|
|
1
|
566
|
August 13, 2020
|
|
Parser support for open/closed interval notation?
|
|
1
|
718
|
July 28, 2020
|
|
Take numbers form two intervals in concentric circles
|
|
3
|
743
|
July 13, 2020
|
|
Fourier transform freezes Julia
|
|
5
|
1690
|
July 3, 2020
|
|
@variables as function parameter
|
|
1
|
667
|
December 3, 2019
|
|
Interval arithmetic - computation time
|
|
16
|
2970
|
November 29, 2019
|
|
Variable reference in a function created by a macro
|
|
7
|
1370
|
July 25, 2019
|
|
Should Dates.Period be a subtype of Integer
|
|
5
|
931
|
April 24, 2019
|
|
Help with IntervalArithmetic
|
|
13
|
2717
|
June 27, 2017
|