运用程序性系统来解决数学和科学问题