咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 理学
    • 3 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 3 篇 机器求解
  • 1 篇 微分方程
  • 1 篇 偏微分方程
  • 1 篇 软件
  • 1 篇 求解
  • 1 篇 有效渐近解
  • 1 篇 机械化解题
  • 1 篇 几何问题
  • 1 篇 混合方法
  • 1 篇 算法
  • 1 篇 几何定理
  • 1 篇 奇异摄动
  • 1 篇 lindstedt-poinca...
  • 1 篇 数学机械化

机构

  • 1 篇 广州师范学院
  • 1 篇 中国科学院院士
  • 1 篇 塔里木大学
  • 1 篇 鄂州大学

作者

  • 1 篇 邵义元
  • 1 篇 张景中
  • 1 篇 蒋青松

语言

  • 3 篇 中文
检索条件"主题词=机器求解"
3 条 记 录,以下是1-10 订阅
排序:
几何问题的机器求解
收藏 引用
科学 2001年 第2期53卷 20-23页
作者: 张景中 广州师范学院软件所 教授广州510400 中国科学院院士
1998年,市场上出现了能证明几何定理的软件,能解决许多和中学课程范围内的题目难度相当的问题,并能给出传统风格的、易于理解的解答。近年来中国人的工作在其中起了决定性的作用。艰难的历程用机械的方法(即有章可循的固定算法)解决千... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Lindstedt-Poincare方法的计算机实现
收藏 引用
扬州职业大学学报 2002年 第3期6卷 33-35页
作者: 邵义元 鄂州大学 湖北鄂州436000
利用Mathematica系统 ,对一类热工微分方程的有效渐近解进行研究 ,实现一种奇异摄动的机器求解
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
符号—数值混合方法求解偏微分方程的算法设计与实现
收藏 引用
塔里木大学学报 2009年 第4期21卷 22-25页
作者: 蒋青松 塔里木大学信息工程学院 新疆阿拉尔843300
本文作出了将符号计算方法和数值计算方法结合起来求解偏微分方程的研究工作,这是求解比较复杂的偏微分方程的新途径。本文的意义在于给出求解复杂的偏微分方程的新思维和新方法。在求解过程中,运用了计算机代数的有关知识并且借助了计... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论