|
[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia
|
|
2
|
387
|
October 29, 2026
|
|
[ANN] IntervalArithmetic 0.23
|
|
0
|
274
|
July 28, 2025
|
|
IntervalOptimisation.jl and threads gives lock conflicts
|
|
10
|
483
|
November 29, 2024
|
|
Tools for computer assisted proofs in analysis
|
|
13
|
1581
|
April 29, 2024
|
|
How to address an error?
|
|
4
|
699
|
January 6, 2024
|
|
How to plot 3-dimensional "IntervalBox()"?
|
|
1
|
472
|
September 9, 2023
|
|
Matching for interpolation
|
|
4
|
318
|
September 8, 2023
|
|
Mid points of interval elements in interval vector
|
|
4
|
602
|
January 17, 2023
|
|
[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function
|
|
52
|
10137
|
September 26, 2022
|
|
Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)
|
|
37
|
6029
|
April 30, 2021
|
|
Rigorous spectral opnorm
|
|
17
|
901
|
June 15, 2022
|
|
Comparison of IntervalArithmetic.jl and Measurements.jl
|
|
11
|
1247
|
May 5, 2022
|
|
Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`
|
|
7
|
1244
|
January 6, 2022
|
|
IntervalOptimisation surprising result
|
|
9
|
791
|
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
|
932
|
January 1, 2021
|
|
Interval times Int64 and Interval times BigInt discrepancy
|
|
7
|
685
|
December 16, 2020
|
|
High precision interval rounding error
|
|
6
|
746
|
December 15, 2020
|
|
Fast sparse interval matrices?
|
|
1
|
566
|
August 13, 2020
|
|
Parser support for open/closed interval notation?
|
|
1
|
719
|
July 28, 2020
|
|
Take numbers form two intervals in concentric circles
|
|
3
|
743
|
July 13, 2020
|
|
Fourier transform freezes Julia
|
|
5
|
1691
|
July 3, 2020
|
|
@variables as function parameter
|
|
1
|
670
|
December 3, 2019
|
|
Interval arithmetic - computation time
|
|
16
|
2971
|
November 29, 2019
|
|
Variable reference in a function created by a macro
|
|
7
|
1371
|
July 25, 2019
|
|
Should Dates.Period be a subtype of Integer
|
|
5
|
933
|
April 24, 2019
|
|
Help with IntervalArithmetic
|
|
13
|
2719
|
June 27, 2017
|