Factorization of Non-Commutative Polynomials
Fast Computational Algorithms for the Discrete Wavelet Transform and Applications of Localized Orthonormal Bases in Signal Classification
Fast solving of Weighted Pairing Least-Squares systems
Fillmore--Springer--Cnops Construction Implemented in GiNaC
Finding the "truncated" polynomial that is closest to a function
FISLAB - the Fuzzy Inference Tool-box for SCILAB
Formally Verified Argument Reduction with a Fused-Multiply-Add