|
[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia
|
|
2
|
366
|
October 29, 2026
|
|
[ANN] IntervalArithmetic 0.23
|
|
0
|
270
|
July 28, 2025
|
|
IntervalOptimisation.jl and threads gives lock conflicts
|
|
10
|
480
|
November 29, 2024
|
|
Tools for computer assisted proofs in analysis
|
|
13
|
1570
|
April 29, 2024
|
|
How to address an error?
|
|
4
|
699
|
January 6, 2024
|
|
How to plot 3-dimensional "IntervalBox()"?
|
|
1
|
470
|
September 9, 2023
|
|
Matching for interpolation
|
|
4
|
311
|
September 8, 2023
|
|
Mid points of interval elements in interval vector
|
|
4
|
598
|
January 17, 2023
|
|
[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function
|
|
52
|
10116
|
September 26, 2022
|
|
Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)
|
|
37
|
6012
|
April 30, 2021
|
|
Rigorous spectral opnorm
|
|
17
|
890
|
June 15, 2022
|
|
Comparison of IntervalArithmetic.jl and Measurements.jl
|
|
11
|
1230
|
May 5, 2022
|
|
Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`
|
|
7
|
1241
|
January 6, 2022
|
|
IntervalOptimisation surprising result
|
|
9
|
784
|
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
|
925
|
January 1, 2021
|
|
Interval times Int64 and Interval times BigInt discrepancy
|
|
7
|
680
|
December 16, 2020
|
|
High precision interval rounding error
|
|
6
|
733
|
December 15, 2020
|
|
Fast sparse interval matrices?
|
|
1
|
564
|
August 13, 2020
|
|
Parser support for open/closed interval notation?
|
|
1
|
717
|
July 28, 2020
|
|
Take numbers form two intervals in concentric circles
|
|
3
|
742
|
July 13, 2020
|
|
Fourier transform freezes Julia
|
|
5
|
1689
|
July 3, 2020
|
|
@variables as function parameter
|
|
1
|
665
|
December 3, 2019
|
|
Interval arithmetic - computation time
|
|
16
|
2967
|
November 29, 2019
|
|
Variable reference in a function created by a macro
|
|
7
|
1368
|
July 25, 2019
|
|
Should Dates.Period be a subtype of Integer
|
|
5
|
931
|
April 24, 2019
|
|
Help with IntervalArithmetic
|
|
13
|
2711
|
June 27, 2017
|