大家在查：邵逸夫数学科学奖学识水平文献情报源缩微品学士学位论文关肇直程民德人民科学家吴公式示性类

数学机械化

n.mechanization of mathematics
网络mathematics mechanization; mechanize; Interpolation properly posed problem

数学机械化

数学机械化

英-汉网络释义

数学机械化

mathematics mechanization

关键词：数学机械化（mathematics mechanization），特征集方法（characteristic set method），自动定理证明（automated t…

mechanize

“代数使数学机械化(mechanize)，因而使思考和运算步骤变得简单，而无须花很大的脑力。这有可能使数学创造变成一种几乎是 …

mechanization of mathematics

翻译词典... ... mechanization of mathematics n.数学机械化 He is strong in mathematics. 他擅长数学。 ...

Interpolation properly posed problem

properly... ... 数学机械化： Interpolation properly posed problem 方法得当： method properly teaching fulfillment ...

Mathematics Machenization

科学网—三... ... 的求解过程。旋量和扭刻画（ Spinor and twist representations） 数学机械化 Mathematics Machenizatio…

1

A Philosophical Approach to Traditional Mathematics and Its Mechanization

由传统数学到数学机械化的哲学思考

2

Mechanized Mathematics Modelling and Algorithm Analysis for a Turbine Set

汽轮机组的数学机械化建模与算法分析

3

The mechanical thought of mathematics in ancient China and WU Wen-jun's work about mathematics mechanization

中国古算的程序化思想与吴文俊的数学机械化工作

4

Mental labor mechanization and mathematics mechanization in computer era

计算机时代的脑力劳动机械化与数学机械化

5

Traditional Mathematics of China and Mathematics Mechanization

中国传统数学与数学机械化

6

On Jiaxian's Thought of Mathematical Mechanization

论贾宪的数学机械化思想

7

Key Laboratory of Mathematics Mechanization, CAS

数学机械化重点实验室

8

From the Chinese ancient mathematics thought to present condition of the mathematica mechanization

从中国古代数学思想到数学机械化现状

9

Theory and Methods of Mathematics

数学机械化理论与方法

热词推荐

大家在看