|
[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia
|
|
0
|
142
|
October 26, 2026
|
|
[ANN] IntervalArithmetic 0.23
|
|
0
|
267
|
July 28, 2025
|
|
IntervalOptimisation.jl and threads gives lock conflicts
|
|
10
|
474
|
November 29, 2024
|
|
Tools for computer assisted proofs in analysis
|
|
13
|
1552
|
April 29, 2024
|
|
How to address an error?
|
|
4
|
692
|
January 6, 2024
|
|
How to plot 3-dimensional "IntervalBox()"?
|
|
1
|
470
|
September 9, 2023
|
|
Matching for interpolation
|
|
4
|
306
|
September 8, 2023
|
|
Mid points of interval elements in interval vector
|
|
4
|
590
|
January 17, 2023
|
|
[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function
|
|
52
|
10081
|
September 26, 2022
|
|
Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)
|
|
37
|
5989
|
April 30, 2021
|
|
Rigorous spectral opnorm
|
|
17
|
879
|
June 15, 2022
|
|
Comparison of IntervalArithmetic.jl and Measurements.jl
|
|
11
|
1216
|
May 5, 2022
|
|
Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`
|
|
7
|
1237
|
January 6, 2022
|
|
IntervalOptimisation surprising result
|
|
9
|
776
|
July 6, 2021
|
|
What is the alternative to Python gym.spaces.Box() in Julia?
|
|
2
|
770
|
January 3, 2021
|
|
How to write xs[i]..xs[i+1] in Julia 1.5 , two dots
|
|
7
|
916
|
January 1, 2021
|
|
Interval times Int64 and Interval times BigInt discrepancy
|
|
7
|
674
|
December 16, 2020
|
|
High precision interval rounding error
|
|
6
|
725
|
December 15, 2020
|
|
Fast sparse interval matrices?
|
|
1
|
560
|
August 13, 2020
|
|
Parser support for open/closed interval notation?
|
|
1
|
716
|
July 28, 2020
|
|
Take numbers form two intervals in concentric circles
|
|
3
|
738
|
July 13, 2020
|
|
Fourier transform freezes Julia
|
|
5
|
1685
|
July 3, 2020
|
|
@variables as function parameter
|
|
1
|
662
|
December 3, 2019
|
|
Interval arithmetic - computation time
|
|
16
|
2951
|
November 29, 2019
|
|
Variable reference in a function created by a macro
|
|
7
|
1366
|
July 25, 2019
|
|
Should Dates.Period be a subtype of Integer
|
|
5
|
929
|
April 24, 2019
|
|
Help with IntervalArithmetic
|
|
13
|
2699
|
June 27, 2017
|