Relevant discussion in History of `isapprox` in languages - #26 by Richard_Fateman and following.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
[ANN] Supposition.jl | 20 | 2251 | May 14, 2024 | |
Using test.jl to prove trig identies | 9 | 508 | October 19, 2020 | |
Comparison of IntervalArithmetic.jl and Measurements.jl | 11 | 863 | May 5, 2022 | |
[ANN] TestingUtilities.jl | 6 | 1011 | July 17, 2023 | |
[ANN] Satisfiability.jl: a simple interface to theorem provers using the SMT-LIB standard | 4 | 1207 | August 28, 2023 |