搜索结果: 1-5 共查到“代数学 Mechanics”相关记录5条 . 查询时间(0.093 秒)
Modal Hamiltonian interpretation of quantum mechanics and Casimir operators: the road towards quantum field theory
Modal Hamiltonian interpretation of quantum mechanics Casimir operators quantum field theory
2011/3/2
The general aim of this paper is to extend the Modal-Hamiltonian interpretation of quantum mechanics to the case of relativistic quantum mechanics with gauge U(1) fields.
The Clifford Algebra approach to Quantum Mechanics A: The Schroedinger and Pauli Particles
The Clifford Algebra approach Quantum Mechanics
2010/11/23
In this paper we show how all the quantum properties of Schroedinger and Pauli particles can be described entirely from within a Clifford algebra taken over the reals. There is no need to appeal to a...
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 ...