翻转研究 批量发现——谈基于软件的数学发现与证明

来源 :中学数学教学 | 被引量 : 0次 | 上传用户:Play_pig
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用实例介绍了利用数学软件技术,翻转数学研究流程,实现高效率的批量的数学新发现.
其他文献
目的通过对新生儿呼吸窘迫综合征(NRDS)患儿临床资料的分析,探讨NRDS的并发症及转归.方法回顾性分析贵州医科大学附属医院新生儿科2017年1月至2017年12月收治的105例NRDS.根
乳腺癌是女性最常见的恶性肿瘤之一,在基因水平上可将其分为3个分子亚型,即三阴性型(ER, PR、HER2均阴性)、Luminal型(ER阳性或PR阳性,HER2阴性或阳性)和HER2过表达型(ER阴性
<正> 韩某,女,37岁。1982年7月1日入院。患者自1982年3月1日,始感左髋部疼痛,两个月后,又感双下肢麻木无力,以左侧为著。无外伤及受凉史。曾在本公社医院诊为坐骨神经痛,腰肌
以MS为基本培养基,附加不同浓度的IBA、NAA、KT和BA进行正交试验L8(4×24),研究酢浆草组织培养、快速繁殖和壮苗的技术。结果表明:(1)酢浆草叶片、叶柄分化的最优培养基为MS+
胃肠道间质瘤(GIST)是消化道最常见的间质肿瘤,来自消化道肌层的Cajal细胞,被认为是一种具有潜在恶性倾向的侵袭性肿瘤。然而,对于GIST预后的分子生物标志的开发仍处于未完成
亚太地区对于植物S营养给农业带来的效益已广为人知.本地区一些主要国家所进行的大量田间试验清楚地表明,投入足够的硫肥给作物所带来的产出是令人满意的.在亚太绝大部分地区
目的 分析腹腔镜联合胆道镜治疗胆结石临床效果.方法 选取我院于2018年3月至2019年3月收治的胆结石患者84例,将其根据不同治疗方法均分为研究组(42例,采用腹腔镜联合胆道镜治