You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add \pm notation for creating interval in midpoint--radius representation#116
Merged
dpsanders merged 2 commits intomasterJuliaIntervals/ValidatedNumerics.jl:masterfrom plus_minusJuliaIntervals/ValidatedNumerics.jl:plus_minusCopy head branch name to clipboardApr 27, 2016