搜索结果: 1-3 共查到“理学 Plane geometry”相关记录3条 . 查询时间(0.068 秒)
Non-modal analysis of the diocotron instability. Plane geometry
Non-modal analysis the diocotron instability Plane geometry Plasma Physics
2012/5/31
The comprehensive investigation of the temporal evolution of the diocotron instability of the plane electron strip on the linear stage of its development is performed. By using the Kelvin's method of ...
Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method
Geometry theorem proving Visually dynamic presentation of proof Dynamic geometry Unordered geometry Gelernter Java Geometry Expert Morley’s theorem Feuerbach’s theorem Pythagorean theorem Pedal triangle
2013/9/9
With dynamic mediums such as computer displays, we propose a new kind of visually dynamic presentation of proofs in plane geometry. In asingle diagram for the proof, when the proof text goes on step b...
Visually Dynamic Presentation of Proofs in Plane Geometry
Geometry theorem proving Proof with hierarchical structures Visually dynamic presentation of proof Dynamic geometry Full-angle Deductive database Fixpoint Unordered geometry Hilbert geometry Tarski geometry
2013/9/9
We present the method for automated generation of visually dynamic presentations of plane geometry proofs based on the full-angle method. The proof generated by the full-angle method is organized hier...