Study of General Formula Manipulation System

通用公式操作系统的研究

基本信息

  • 批准号:
    62580029
  • 负责人:
  • 金额:
    $ 1.09万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
  • 财政年份:
    1987
  • 资助国家:
    日本
  • 起止时间:
    1987 至 1989
  • 项目状态:
    已结题

项目摘要

This research is to study the structure and implementation of general formula manipulation system, which (1) performs higher mathematics, (2) unifies numeric, algebraic, and graphics computations, and (3) is equipped with formula database and its automatic utilization facility.As for (1), the system requires many data types such as algebraic number, algebraic function, set expression, group, etc., in addition to conventional data types such as polynomial and rational function. We determined the data type scheme very carefully, so as to manifest clarity and not to decrease efficiency. Furthermore, we developed a program for automatic generation of many typical top-level procedures, as well as mechanism for unifying similar jobs to a single program. In order to implement algorithms easily without referring to internal data structure, we have prepared many procedures for handling the data abstractly. By these, we succeeded in developing a kernnel of general formula manipulation system which is several times as efficient as REDUCE.As for (2), we devised a simple mechanism of combining FORTRAN programs, Lisp programs, etc. by using the process communication facility of OS. The mechanism has been implemented preliminarily and successfully on UNIX. Furthermore, we constructed several algorithms using both numeric and algebraic methods combinedly. The algorithms can solve some kinds of numerically ill-conditioned problems, and we call them "approximate algebraic algorithms".As for (3), we have found that the indexing method developed in a previous research does not work well for series formulas. So, we improved the indexing so as to work well for series formulas. However, we could not study the automatic utilization of formulas because of lack of time.
这项研究是为了研究一般公式操作系统的结构和实施,(1)执行更高的数学,(2)统一数字,代数和图形计算,(3)配备了公式数据库及其自动利用设施。例如多项式和有理功能。我们非常仔细地确定了数据类型方案,以表现出清晰度而不降低效率。此外,我们开发了一个程序,用于自动生成许多典型的顶级程序,以及将类似工作统一工作与单个程序相似的机制。为了轻松实现算法而无需参考内部数据结构,我们准备了许多抽象处理数据的过程。通过这些,我们成功地开发了一个通用公式操纵系统的内核,该系统的效率是(2)的几倍。该机制已在UNIX上最初和成功实施。此外,我们使用数字和代数方法构建了几种算法。这些算法可以解决某些数字条件不良的问题,我们称它们为“近似代数算法”。作为(3),我们发现先前研究中开发的索引方法对串联公式不太有效。因此,我们改进了索引,以便在串联公式方面正常工作。但是,由于缺乏时间,我们无法研究公式的自动利用。

项目成果

期刊论文数量(35)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Tateaki Sasaki,Mutsuko Sasaki: "Analysis of Accuracy Decreasing in Polynomial Remainder Sequence with Floatingーpoint Number Coefficients" J.Inf.Processing. 12. (1990)
Tateaki Sasaki、Mutsuko Sasaki:“浮点数系数多项式余数序列的精度下降分析”J.Inf.Processing 12。(1990)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Masayuki Suzuki,T.Sasaki M.Sato,Y.Fukui: "A Hybrid AlgebraicーNumeris System ANS and Its Preliminary Implementation" Lecture Notes in Computer Science. 378. 163-171 (1989)
Masayuki Suzuki、T.Sasaki M.Sato、Y.Fukui:“混合代数数值系统 ANS 及其初步实现”计算机科学讲义 378. 163-171 (1989)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
三枝義典、増永良文、佐々木建昭: 情報処理学会・記号処理学会報告集. 89. 1-10 (1989)
Yoshinori Saegusa、Yoshifumi Masunaga、Takeaki Sasaki:日本信息处理学会/日本符号处理学会报告 89. 1-10 (1989)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
M.Suzuki,T.Sasaki,M.Sato,Y.Fukui: "A Hybrid Algebraic-Numeric System ANS and Its Preliminary Implementation" Lecture Notes in Computer Science. 378. 163-171 (1989)
M.Suzuki、T.Sasaki、M.Sato、Y.Fukui:“混合代数数值系统 ANS 及其初步实现”计算机科学讲义。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Tateaki Sasaki: "Some Algebraic Algorithms based on Head Term Elimination over Polynomial Ring" Lecture Notes in Computer Science. 378. 348-354 (1989)
Tateaki Sasaki:“基于多项式环上的头项消除的一些代数算法”计算机科学讲义。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

SASAKI Tateaki其他文献

SASAKI Tateaki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('SASAKI Tateaki', 18)}}的其他基金

Study of Algorithm and Application of Approximate Groebner Basis
近似Groebner基的算法及应用研究
  • 批准号:
    23500003
  • 财政年份:
    2011
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Study of Algorithms and Applications of Approximate Algebra
近似代数算法及应用研究
  • 批准号:
    19300001
  • 财政年份:
    2007
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Study of Algorithms and Applications of Approximate Algebra
近似代数算法及应用研究
  • 批准号:
    15300002
  • 财政年份:
    2003
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Study of Algorithms and Applications of Approximate Algebra
近似代数算法及应用研究
  • 批准号:
    12480065
  • 财政年份:
    2000
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
The Development of Graphing Software for Secondary School Mathematics
中学数学绘图软件的开发
  • 批准号:
    11558010
  • 财政年份:
    1999
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B).
Study of Algorithms and Applications of Approximate Algebra
近似代数算法及应用研究
  • 批准号:
    09308008
  • 财政年份:
    1997
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Development of Approximate Algebraic Computation System
近似代数计算系统的开发
  • 批准号:
    06558037
  • 财政年份:
    1994
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Development of numeric-algebraic hybrid computation system
数值代数混合计算系统的开发
  • 批准号:
    03558008
  • 财政年份:
    1991
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B)
Research on Formula Manipulation Expert System Based on Database of Mathematical Formulas
基于数学公式数据库的公式运算专家系统研究
  • 批准号:
    60580033
  • 财政年份:
    1985
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了