搜索结果: 1-11 共查到“理学 Reasoning”相关记录11条 . 查询时间(0.109 秒)
Making connections to the big ideas in mathematics: Promoting proportional reasoning
big ideas mathematics
2015/5/29
The focus of this paper is on
proportional reasoning, emphasising
its pervasiveness throughout the
mathematics curriculum, but also
highlighting its elusiveness.
Primary students decoding mathematics tasks: The role of spatial reasoning
mathematics tasks spatial reasoning
2015/5/29
In recent years
graphics representations have become
increasingly widespread as society
comes to terms with the information
age.
Boston University study examines the development of children's prelife reasoning（图）
children's prelife reasoning eternalist
2014/3/18
Most people, regardless of race, religion or culture, believe they are immortal. That is, people believe that part of themselves–some indelible core, soul or essence–will transcend the body’s death an...
A hybrid reasoning system for supporting estuary modelling
Ahybrid reasoning system estuary modelling
2009/12/4
In this paper the development of a Case-Based reasoning system for Estuarine Modelling (CBEM) is presented. The aim of the constructed CBEM system is to facilitate the utilisation of complex modelling...
Case-based reasoning (CBR) is an important reasoning technique of expert system. In this paper, the authors introduce CBR to intelligent early-warning support system, which could warn quantitatively f...
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
Mechanical theorem proving metric differ
2007/8/7
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for differential geometry. ...
MMP/Geometer - A Software Package for Automated Geometry Reasoning
A Software Package Automated Geometry Reasoning
2013/9/9
MMP/Geometer - A Software Package for Automated Geometry Reasoning.
Automated Reasoning in Dierential Geometry and Mechanics Using Characteristic Method 1 III. Mechanical Formula Derivation
Automated Reasoning Dierential Geometry Mechanics Characteristic Method Mechanical Formula Derivation
2013/9/9
In this paper, methods of mechanical deriving of formulas from a set of di®erential polynomial equations and a set of di®erential polynomial inequations are presented. The methods have been ...
Automated Reasoning in Dierential Geometry and Mechanics Using the Characteristic Set Method 1 Part I. An Improved Version of Ritt{Wu's Decomposition Algorithm
Dierential polynomial weak ascending chain W{prem Ritt{Wu's principle quasi zero set Ritt{Wu's decomposition algorithm
2013/9/9
This is the ˉrst paper of a series of three papers under the same title. It presents an improved version of Ritt{Wu's decomposition algorithm which is the basis of our methods of mechanical theorem pr...
Automated Reasoning in Di®erential Geometry and Mechanics Using Characteristic Method IV. Bertrand Curves
Mechanical theorem proving metric dierential geometry a±ne dierential geometry Bertrand curves.
2013/9/9
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for di®erential geomet...
Automated Reasoning in Di®erential Geometry and Mechanics Using the Characteristic Set Method 1 Part II. Mechanical Theorem Proving
Mechanical theorem proving Wu's method Ritt{Wu's decomposition algorithm statement of equation type generally true universally true space curve theory elementary mechanics
2013/9/9
We clarify the formulation problem of mechanical theorem proving in di®erential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for ...