Tools for computer assisted proofs in analysis


13

588

April 29, 2024

How to address an error?


4

563

January 6, 2024

How to plot 3dimensional "IntervalBox()"?


1

301

September 9, 2023

Matching for interpolation


4

188

September 8, 2023

Mid points of interval elements in interval vector


4

344

January 17, 2023

[Ann] IntervalRootFinding.jl for finding all roots of a multivariate function


52

8833

September 26, 2022

Best way to take derivatives of unevenly spaced data (with interpolations? discrete derivatives?)


38

4624

August 17, 2022

Rigorous spectral opnorm


17

523

June 15, 2022

Comparison of IntervalArithmetic.jl and Measurements.jl


11

809

May 5, 2022

Global optimization using `IntervalArithmetic.jl` and `ForwardDiff.jl` on the GPU with `CUDA.jl`


7

1029

January 6, 2022

IntervalOptimisation surprising result


9

530

July 6, 2021

What is the alternative to Python gym.spaces.Box() in Julia?


2

642

January 3, 2021

How to write xs[i]..xs[i+1] in Julia 1.5 , two dots


7

745

January 1, 2021

Interval times Int64 and Interval times BigInt discrepancy


7

517

December 16, 2020

High precision interval rounding error


6

556

December 15, 2020

Fast sparse interval matrices?


1

478

August 13, 2020

Parser support for open/closed interval notation?


1

619

July 28, 2020

Take numbers form two intervals in concentric circles


3

635

July 13, 2020

Fourier transform freezes Julia


5

1502

July 3, 2020

@variables as function parameter


1

567

December 3, 2019

Interval arithmetic  computation time


16

2573

November 29, 2019

Variable reference in a function created by a macro


7

1185

July 25, 2019

Should Dates.Period be a subtype of Integer


5

781

April 24, 2019

Help with IntervalArithmetic


13

2299

June 27, 2017
