杨定华，男，汉族，1978年出生，四川高县人．<br><br>        高中阶段，自学高中课程和部分高等代数课程，从事数学、物理和化学竞赛解题研究．在<数学通讯>、<中等数学>、<数学通报>、<中学生数学>、<数学教学通讯>、<创新大王>等杂志正式发表中学数学、物理和化学论文近30篇，在1995年全国高中数学联合竞赛中获“全国贰等奖”． <br><br>        本科阶段，除了自学全部的本科数学课程，还自学了不等式和度量几何等基础理论，并从事相关的基础理论研究．在<应用数学学报>、<数学研究与评论>、<数学季刊>、<南京大学学报数学半年刊>、<河北师范大学学报>、<数学通报>等刊物正式发表学术论文20余篇．<br><br>        2002年7月至2005年4月在重庆邮电大学任教，担任助教工作，并自学微分几何(特别是陈省身示性类)、交换代数等研究生课程，继续从事不等式基础理论和度量几何等的研究．在<数学进展>等刊物发表学术研究论文5篇．<br><br>        2005年5月至2007年9月在中国科学院成都计算机应用研究所工作，担任自动推理实验室助理研究员，接受著名科学家杨路教授和张景中院士的指导，学习并从事实代数几何研究．在<中国科学>、<数学学报>等刊物发表学术论文5篇．<br><br>        2007年10月在四川师范大学工作，担任数学与软件科学学院助理研究员，自学代数几何等课程，从事实代数几何(特别是不等式基础理论公理化和机器证明方面)研究．在<中国科学>、<数学进展>、<系统科学与数学>、<数学物理学报>、<浙江大学学报>等刊物发表学术研究论文11篇．<br><br>        目前主持国家自然科学基金项目：不等式基础理论公理化研究与不等式机器证明(编号：10901116)，曾参加国家重点基础研究发展规划项目：实代数与实几何的高效能算法(编号：2004CB318003)的研究工作．<br>