Symbolic-Numeric Computation (Trends in Mathematics)

AXIOMIX PROGRAMMING FOR NUMERICAL SYSTEMS: Symbolic and Numeric Computation Models for Scientific and Engineering Workloads (Numerical & Scientific Computing Systems)

COMPUTATIONAL ALGORITHMS FOR SCIENTIFIC APPLICATIONS: Numerical modeling precision computing and symbolic mathematics

NEXA COMPUTATION LANGUAGE: Next generation numerical and symbolic programming for AI robotics and HPC

Numerical Computations with GPUs