Summary
- adapted to timing on lxcisa0 with threads=8: (8:08:58 elapsed time, 47:18:51 cpu time, factor 5.81);
The file was modified | thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_C1.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ROOT (diff) |