(executables
 (names basic calculus multivariate physics numerical symbolic_constants advanced_tier1 advanced_tier2)
 (libraries leibniz))