Tools for computer assisted proofs in analysis
|
|
13
|
396
|
April 29, 2024
|
Makie fails in my script but work in MWE
|
|
2
|
55
|
April 28, 2024
|
How to broadcast for 3d-array?
|
|
4
|
150
|
April 28, 2024
|
Testing an api wrapper
|
|
1
|
135
|
April 28, 2024
|
How to append the docstring of a type or function in the upstream package in a downstream package
|
|
2
|
104
|
April 28, 2024
|
Is there a tutorial on `JuMP` extension development?
|
|
2
|
54
|
April 28, 2024
|
How to extract the indices of a certain variable from a `Vector{VariableRef}`?
|
|
2
|
85
|
April 28, 2024
|
If EnzymeRules.inactive() is defined, does the Enzyme.jl operation still take place?
|
|
5
|
75
|
April 28, 2024
|
How to eliminate a variable from a JuMP model?
|
|
1
|
57
|
April 27, 2024
|
Are `Int64` and `Float64` of the same type?
|
|
5
|
197
|
April 27, 2024
|
Replacing brackets in a string
|
|
7
|
1145
|
April 27, 2024
|
How to display a sparse array on the REPL?
|
|
5
|
67
|
April 27, 2024
|
Connect points in for loop
|
|
15
|
178
|
April 27, 2024
|
Behavior of \circ<tab>
|
|
2
|
122
|
April 27, 2024
|
Efficient approach to modifying existing JuMP constraints
|
|
6
|
105
|
April 27, 2024
|
Is it possible to preserve compilation cache from julia process to julia process?
|
|
9
|
250
|
April 27, 2024
|
Semantics of constant folding for type constructors
|
|
2
|
121
|
April 27, 2024
|
Any qualifier in CUDA.jl like `__device__` in CUDA/C++?
|
|
6
|
144
|
April 26, 2024
|
Julia VSCode extension Problem: the julia language server crashed 5 times in the last 3 min
|
|
7
|
107
|
April 26, 2024
|
Why is rust compilation faster than Julia pre-compilation?
|
|
37
|
2652
|
April 26, 2024
|
Segmentation fault while trying to call a Julia function compiled to .so file from Python
|
|
14
|
289
|
April 26, 2024
|
Should @objective be replaced by @NLobjective in JuMP documentation?
|
|
1
|
64
|
April 26, 2024
|
PowerModels.jl multinetwork for Security Constrained AC-OPF
|
|
1
|
64
|
April 26, 2024
|
Division by zero runs without warning -> complicates finding bugs
|
|
12
|
564
|
April 25, 2024
|
Dataframes: displaying categorical key when displaying a dataframe while saving the value in the data array
|
|
13
|
248
|
April 25, 2024
|
Why are Neural SDEs trained with TrackerAdjoint()?
|
|
0
|
59
|
April 25, 2024
|
How to take the gradient of an ODE system with respect to many data points?
|
|
17
|
264
|
April 25, 2024
|
Making 3D text appear 2D GLMakie
|
|
6
|
114
|
April 25, 2024
|
MWE for Abstraction object for Statistical Models needed?
|
|
5
|
138
|
April 25, 2024
|
QuantumOptics.jl time-dependent Hamiltonian cannot run
|
|
11
|
147
|
April 25, 2024
|