梁肇军
- 作品数：43 被引量：84H指数：5
- 供职机构：华中师范大学数学与统计学学院更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金更多>>
- 相关领域：理学文化科学自动化与计算机技术生物学更多>>
- 初等几何定理机器证明——吴方法简介被引量：2
- 2001年
- 梁肇军
- 关键词：机器证明几何定理初等几何代数拓扑吴方法
- 计算机辅助教学(CAI)中数学课件的制作(Ⅰ)被引量：3
- 2000年
- 近年来，随着我国经济的迅速发展，人民物质生活水平的不断提高，科技和教育受到了更加广泛的重视，特别是在开展高等师范教育面向２１世纪的教学内容和课程体系改革计划研究中，计算机辅助教学ＣＡＩ（Ｃｏｍｐｕｔｅｒ Ａｓｓｉｓｔｅｄ Ｉｎｓｔｒｕｃｔｉｏｎ）得到了空前的关注，利用计算机辅助教学已成为教学方法改革的一个重要组成部分。本文针对如何利用计算机符号系统Ｍａｔｈｅｍａｔｉｃａ介绍制作数学课件的原理和方法。
- 梁肇军郭真华
- 关键词：计算机辅助教学CAI数学课件数学教育MATHEMATICA课件制作
- CAI中数学课件的制作(IV)——数学动画的实现被引量：1
- 2008年
- Mathematica具有强大的动画制作动能。本文讲述用多种方法来实现开放型数学课件中的数学动画。
- 杨翠红郭真华梁肇军
- 关键词：数学课件
- 一类生物数学模型的行波解(英文)
- 1997年
- 给出了生物数学中一类反应扩散模型的行波解存在的几个判别准则.
- 梁肇军
- 关键词：生物数学模型行波解存在性
- 一类三次系统两个中心共存的条件被引量：1
- 2003年
- 对于一类平面三次系统dxdt=y+a1x2+(a2+2b1)xy+(a3-a1)y2+xf(x,y),dydt=-x+b1x2+(b2-2a1)xy-b1y2+yf(x,y),(1)其中f(x,y)≡a4x2+a5xy+(a6-a4)y2.N.G.Lloyd,C.J.Christopher等研究了系统(1)的原点是中心的充要条件.除原点O(0,0)之外,如果系统(1)还存在另一奇点,它是中心或焦点型的(即在奇点处一次近似系统为中心),本文讨论系统(1)的两个中心共存的条件.
- 梁肇军
- 关键词：非线性微分方程双中心
- 两类二次系统的轨线拓扑结构被引量：1
- 1997年
- 对两类二次系统进行定性分析，得到了其全局相图的各种拓扑结构。
- 黄建华梁肇军
- 关键词：极限环拓扑结构二次系统轨线
- 从九章消元法到定理机器证明被引量：1
- 1999年
- 讨论了《九章算术》中线性代数方程组的解法──九章消元法蕴涵的构造性思想，这一思想后来被进一步发展，并且在某方面影响着定理的机器证明．
- 梁肇军
- 关键词：消元法线性代数方程定理机器证明
- Mathematica软件快速上手指南(8)──数学动画被引量：2
- 2001年
- 梁肇军
- 关键词：数学动画函数MATHEMATICA软件
- 关于我国学生对SMP教材反响的一次调查
- 1998年
- 以英国SMP教材中的最优化问题作为调查素材，就我国相应学段的学生对这些内容的反响情况作调查了解，从中得到某些数学教育改革方面的启示．
- 吴泽菲梁肇军
- 关键词：数学教育
- 关于(Ⅱ)_(l=0)类方程极限环的相对位置(二)
- 1989年
- 本文继[1]研究系统dx/dt=δx-y+mxy-y^2,dy/dt=x+ax^2 (a<0) (1)极限环集中分布问题。在(a,m)参数平面的角域0
- 梁肇军
- 关键词：极限环
