Tools for computer assisted proofs in analysis
|
|
13
|
735
|
April 29, 2024
|
How to address an error?
|
|
4
|
582
|
January 6, 2024
|
How to plot 3-dimensional "IntervalBox()"?
|
|
1
|
328
|
September 9, 2023
|
Matching for interpolation
|
|
4
|
196
|
September 8, 2023
|
Mid points of interval elements in interval vector
|
|
4
|
375
|
January 17, 2023
|
[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function
|
|
52
|
8967
|
September 26, 2022
|
Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)
|
|
38
|
4852
|
August 17, 2022
|
Rigorous spectral opnorm
|
|
17
|
557
|
June 15, 2022
|
Comparison of IntervalArithmetic.jl and Measurements.jl
|
|
11
|
846
|
May 5, 2022
|
Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`
|
|
7
|
1044
|
January 6, 2022
|
IntervalOptimisation surprising result
|
|
9
|
557
|
July 6, 2021
|
What is the alternative to Python gym.spaces.Box() in Julia?
|
|
2
|
656
|
January 3, 2021
|
How to write xs[i]..xs[i+1] in Julia 1.5 , two dots
|
|
7
|
753
|
January 1, 2021
|
Interval times Int64 and Interval times BigInt discrepancy
|
|
7
|
521
|
December 16, 2020
|
High precision interval rounding error
|
|
6
|
568
|
December 15, 2020
|
Fast sparse interval matrices?
|
|
1
|
490
|
August 13, 2020
|
Parser support for open/closed interval notation?
|
|
1
|
637
|
July 28, 2020
|
Take numbers form two intervals in concentric circles
|
|
3
|
648
|
July 13, 2020
|
Fourier transform freezes Julia
|
|
5
|
1516
|
July 3, 2020
|
@variables as function parameter
|
|
1
|
584
|
December 3, 2019
|
Interval arithmetic - computation time
|
|
16
|
2617
|
November 29, 2019
|
Variable reference in a function created by a macro
|
|
7
|
1199
|
July 25, 2019
|
Should Dates.Period be a subtype of Integer
|
|
5
|
797
|
April 24, 2019
|
Help with IntervalArithmetic
|
|
13
|
2349
|
June 27, 2017
|