see also the index (by topic, by tool, by reference, by year)
2025
Examples of year 2025
- A Correct-by-Construction Checker for Constraints on a Railway-Oriented Databases
- Accuracy of Log-Sum-Exp-based computations
- Floating-point computations with exponential and logarithm functions
- Floating-point computations with trigonometric functions
- Forward error in floating-point computations
see also the index (by topic, by tool, by reference, by year)