数式处理

中文名称：数式处理

ISSN：0919-1410
出版周期：半年刊

发文量：268

期刊论文

热门论文

年度选择

2023
- 第1期
2022
- 第1期
- 第2期
2021
- 第1期
- 第2期
2020
- 第1期
- 第2期
2019
- 第1期
- 第2期
2018
- 第1期
- 第2期
2017
- 第1期
- 第2期
2016
- 第1期
- 第2期
2015
- 第1期
- 第2期
2014
- 第2期
2013
- 第1期
2009
- 第1期
2007
- 第1期
- 第2期
- 第2期
2006
- 第1期
- 第3期
- 第4期
2005
- 第2期
2004
- 第3期
2003
- 第1期
- 第2期
- 第3期
- 第4期

更多>>

全选（0）

1.DVD起動による数学ソフトウェア環境に篭いて

机译：在数学软件环境中通过引导DVD
- 作者：濱田龍義
- 期刊名称：《数式处理》 | 2007年第2期
2.整数係数多項式の近似GCD

机译：整数系数polypoly的近似GCD
- 作者：長坂耕作
- 期刊名称：《数式处理》 | 2007年第2期
3.代数的手法による複数細胞タイプ共存条件式の導出

机译：代数方法推导多单元格类型共存条件表达式
- 作者：吉田寛
- 期刊名称：《数式处理》 | 2007年第2期
4.応用を意識して

机译：注意应用程序
- 作者：穴井安和
- 期刊名称：《数式处理》 | 2007年第2期
5.会計監査報告書

机译：会计审计报告
- 期刊名称：《数式处理》 | 2009年第1期
6.第1回日本数式処理学会教育分科会報告

机译：第一届日本数学处理学会教育小组委员会报告
- 作者：高遠節夫
- 期刊名称：《数式处理》 | 2009年第1期
7.日本数式処理学会理事会議事録

机译：日本数学处理学会理事会会议纪要
- 期刊名称：《数式处理》 | 2009年第1期
8.行列のスペクトル分解について

机译：关于矩阵的光谱分解
- 作者：小原功任;田島慎一
- 期刊名称：《数式处理》 | 2009年第1期
9.初等数学におけるKETpic+Scilab使用の例

机译：在基础数学中使用KETpic + Scilab的示例
- 作者：越川浩明;高遠節夫
- 期刊名称：《数式处理》 | 2009年第1期
10.C2Asir，Asir2Cの現状報告

机译：C2Asir和Asir2C的状态报告
- 作者：近藤祐史
- 期刊名称：《数式处理》 | 2009年第1期
11.第1回日本数式処理学会大システム分科会研究会報告

机译：第一届日本数学处理学会大型系统小组委员会研究组报告
- 作者：近藤祐史
- 期刊名称：《数式处理》 | 2009年第1期
12.数式処理システムの教育利用一数学的活動としての意義付け一

机译：数学处理系统的教育用途1作为数学活动的意义1
- 作者：高橋正
- 期刊名称：《数式处理》 | 2009年第1期
13.モバイルデバイスにおけるグラフ描画およびューザインタフエース

机译：移动设备上的图形绘图和用户界面
- 作者：鈴木晃
- 期刊名称：《数式处理》 | 2009年第1期
14.第2回日本数式処理学会システム分科会研究会開催と講演募集のご案内

机译：第二届日本数学处理学会系统小组委员会研究组的信息和讲座
- 期刊名称：《数式处理》 | 2009年第1期
15.作図ソフトKidsCindyと数学プレゼンテーション演習

机译：绘图软件Kids Cindy和数学演示练习
- 作者：阿原一志
- 期刊名称：《数式处理》 | 2009年第1期
16.Communications of JSSACへの論文投稿のお願い

机译：要求向JSSAC通讯提交论文
- 作者：佐藤洋祐
- 期刊名称：《数式处理》 | 2009年第1期
17.有限体上のLU分解の高速化とそれに付随するアルゴリズムの高速ィヒ

机译：LU在有限物体上的加速和伴随算法的高速
- 作者：木村欣司
- 期刊名称：《数式处理》 | 2009年第1期
18.数学理解システム（ATVM）開発のはじまり

机译：数学理解系统（ATVM）开发的开始
- 作者：安藤和浩
- 期刊名称：《数式处理》 | 2009年第1期
19.固有多項式の次数と最小多項式の次数が異なっている行列に文寸する直接法またはクリロフ部分空間法による固有多項式の計算とそれぞれの方法の問題点の紹介

机译：介绍直接法或Krilov子空间法的特征息肉的计算以及每种方法的问题。
- 作者：木村欣司
- 期刊名称：《数式处理》 | 2009年第1期
20.KETpic L CASを用いることの教育的意味について

机译：关于使用KETpic L CAS的教育意义
- 作者：北原清志;山下哲;高遠節夫
- 期刊名称：《数式处理》 | 2009年第1期
21.KNOPPIXMatの目指すもの

机译：KNOPPIX Mat的目标是什么
- 作者：濱田龍義
- 期刊名称：《数式处理》 | 2009年第1期
22.Mathematicaパッケージの開発手法と教育活用

机译：Mathematica软件包开发方法和教育利用
- 作者：大橋真也
- 期刊名称：《数式处理》 | 2009年第1期
23.本数式処理学会総会事録

机译：数学处理学会大会纪要
- 期刊名称：《数式处理》 | 2009年第1期
24.ビジュアライゼーションを活用する数学教育の試み

机译：利用可视化进行数学教育的尝试
- 作者：山本修一
- 期刊名称：《数式处理》 | 2009年第1期
25.Parame tric Polynomial Spectral Fa ctoriza tion

机译：参数多项式谱分解
- 作者：篠原直行
- 期刊名称：《数式处理》 | 2009年第1期
- PPSF;
- GGS;
- systems;
26.KETpic用GUIツールの開発－Maplet for KETpic-

机译：针对KETpic-Maplet的GUI工具的开发
- 作者：中村泰之
- 期刊名称：《数式处理》 | 2009年第1期
27.人工頭脳プロジェクト『ロボットは東大に入れるか』と数式処理

机译：人工脑项目“机器人是否进入东京大学？”
- 作者：岩根秀直
- 期刊名称：《数式处理》 | 2013年第1期
28.第5回基礎理論分科会&システム分科会合同研究会報告

机译：第五届基础理论小组委员会和系统小组委员会联合研究组的报告
- 作者：藤村雅代;木村欣司
- 期刊名称：《数式处理》 | 2013年第1期
29.Magmaによる局所体高速生成アルゴリズムの実装

机译：岩浆实现局部高速生成算法
- 作者：横山俊一
- 期刊名称：《数式处理》 | 2013年第1期
30.可能性のかけら—Communications of JSSACへの論文投稿のお願いII—

机译：可能性的片段—请求提交JSSAC II的通信—
- 作者：澤田浩之
- 期刊名称：《数式处理》 | 2013年第1期
31.GPUによる高速な正方行列の特異値分解

机译：GPU快速分解方阵
- 作者：廣田悠輔;山本有作
- 期刊名称：《数式处理》 | 2013年第1期
32.三角形の螺旋タイリングと折り紙

机译：三角螺旋定型和折纸
- 作者：須志田隆道;日詰明男;山岸義和
- 期刊名称：《数式处理》 | 2013年第1期
33.数值線形代数における前処理と数式処理における固有多項式計算の高速実装について

机译：线性代数预处理和数学处理中本征多面体计算的高速实现
- 作者：木村欣司
- 期刊名称：《数式处理》 | 2013年第1期
34.ブラシュケ積の幾何学的性質と計算実験

机译：Brashke产品的几何性质和计算实验
- 作者：藤村雅代
- 期刊名称：《数式处理》 | 2013年第1期
35.数式処理の個人的記憶

机译：个人记忆的数学处理
- 作者：竹島卓
- 期刊名称：《数式处理》 | 2014年第2期
36.グレブナー基底はどの程度のパズルを解くことができるのか？

机译：Grebner基地可以解决多少个难题？
- 作者：杉原彩;鍋島克輔
- 期刊名称：《数式处理》 | 2014年第2期
37.ifplotの改良

机译：ifplot改进
- 作者：兵頭礼子;近藤祐史;村尾裕ー;齋藤友克
- 期刊名称：《数式处理》 | 2014年第2期
38.消去イデアルの応用III

机译：理想删除III的应用
- 作者：高橋正
- 期刊名称：《数式处理》 | 2014年第2期
39.Complex QEについて

机译：关于复杂量化宽松
- 作者：深作亮也;井上秀太郎;佐藤洋祐
- 期刊名称：《数式处理》 | 2014年第2期
40.Syzygyの近似計算による1変数多項式の近似GCDの計算へ向けて

机译：通过Syzygy的近似计算来求一元多项式的近似GCD
- 作者：照井章
- 期刊名称：《数式处理》 | 2014年第2期
41.近似GCDの性能評価-LIBSNAPにおける3つの実装-

机译：近似的GCD绩效评估-LIBSNAP中的三种实现方式-
- 作者：長坂耕作
- 期刊名称：《数式处理》 | 2014年第2期
42.MathLibre 2013について

机译：关于MathLibre 2013
- 作者：濱田龍義
- 期刊名称：《数式处理》 | 2014年第2期
43.An adventure of chasing operations with order 11 on Rubik's Cube

机译：在Rubik's Cube上以11阶追逐行动的冒险
- 作者：藤本光史;泊昌孝
- 期刊名称：《数式处理》 | 2014年第2期
44.整数行列の最小多項式の候補の計算について

机译：关于整数矩阵最小多项式的候选者的计算
- 作者：木村欣司
- 期刊名称：《数式处理》 | 2014年第2期
45.有理関数のモジュライ空間のグローバルパラメータについて

机译：关于有理函数的模空间的全局参数
- 作者：藤村雅代
- 期刊名称：《数式处理》 | 2014年第2期
46.第22回日本数式処理学会大会報告

机译：日本配方学会第22届年会报告
- 作者：藤本光史
- 期刊名称：《数式处理》 | 2014年第2期
47.グレブナ一基底計算プログラムはどの程度のパズルを解くことができるか？

机译：Grebna一站式计算程序可以解决多少难题？
- 作者：杉原彩;田辺康範;鍋島克輔
- 期刊名称：《数式处理》 | 2014年第2期
48.FP区間演算による実対称三重対角行列の固有値のカウント

机译：通过FP间隔计算实对称三对角线矩阵的特征值
- 作者：村上弘
- 期刊名称：《数式处理》 | 2014年第2期
49.ブーリアングレブナ基底を使用した集合制約の解法の改良

机译：使用Bourian Grebna基础改进集约束的解决方案
- 作者：井上秀太郎
- 期刊名称：《数式处理》 | 2014年第2期
50.多変数のPade近似について

机译：关于多元帕德逼近
- 作者：北本卓也
- 期刊名称：《数式处理》 | 2014年第2期
51.Discrete Comprehensive Grobner Bases の改良版につぃて

机译：关于离散综合Grobner Base的改进版本
- 作者：佐藤洋祐;鈴木晃;鍋島克輔
- 期刊名称：《数式处理》 | 2003年第4期
52.新しい芽を執念深く育てよう

机译：让我们不断地发芽
- 作者：佐々木建昭;Tateaki Sasaki
- 期刊名称：《数式处理》 | 2003年第4期
53.Painleve－VI方程式の有理解と代数函数解について

机译：了解Painleve-VI方程和代数函数解
- 作者：木村欣司;野呂正行
- 期刊名称：《数式处理》 | 2003年第2期
54.ISSAC2002の報告

机译：ISSAC2002的报告
- 作者：長坂耕作
- 期刊名称：《数式处理》 | 2003年第3期
55.ベクトル型計算機による自動微分法を用いたシンプレクティツク·レイトレーシング

机译：向量型计算机采用自动微分方法的简单tick虫后期系带
- 作者：佐藤哲
- 期刊名称：《数式处理》 | 2003年第2期
56.近似根の係数の計算について

机译：关于近似根系数的计算
- 作者：北本卓也
- 期刊名称：《数式处理》 | 2003年第2期
57.対称行列の半正定借性の条件について

机译：关于对称矩阵半正固定债务的条件
- 作者：村上弘
- 期刊名称：《数式处理》 | 2003年第4期
58.「検証」は「信頼」の原点

机译：“验证”是“信任”的起源
- 作者：竹島卓
- 期刊名称：《数式处理》 | 2003年第3期
59.ACA2002 in Greeceの報告（トラブルを抜けると、そこは天国だった…）

机译：希腊ACA2002的报告（麻烦过后就是天堂...）
- 作者：佐々木建昭
- 期刊名称：《数式处理》 | 2003年第3期
60.数式処理を利用したグラフの作成

机译：使用数学处理创建图形
- 作者：平野照比古
- 期刊名称：《数式处理》 | 2003年第2期
61.Risa/AsirのMatrix演算の検討

机译：检验Risa / Asir Matrix运算
- 作者：兵頭礼子;村尾裕一;斎藤友克
- 期刊名称：《数式处理》 | 2003年第4期
62.MZ Platform

机译：MZ平台
- 作者：沢田浩之;松木則夫;徳永仁史
- 期刊名称：《数式处理》 | 2003年第2期
63.発表の国際性

机译：演讲的国际性
- 作者：後藤英一
- 期刊名称：《数式处理》 | 2003年第1期
64.Holonomic系の形式巾級数解の構成アルゴリズム

机译：完整系统形式Width系列解的构造算法
- 作者：高山信毅
- 期刊名称：《数式处理》 | 2003年第2期
65.ISSAC2002参加報告－T昆ⅣerSO先生との思い出

机译：ISSAC2002参与报告-T Kun IVer SO博士的记忆
- 作者：池上大介
- 期刊名称：《数式处理》 | 2003年第3期
66.ACA2002に参加して

机译：参加ACA2002
- 作者：白柳潔
- 期刊名称：《数式处理》 | 2003年第3期
67.ISSAC2002参加報告

机译：ISSAC2002参加报告
- 作者：佐藤洋祐
- 期刊名称：《数式处理》 | 2003年第3期
68.ACA2002-ギリシャ訪問記-

机译：ACA2002-前往希腊-
- 作者：藤本光史
- 期刊名称：《数式处理》 | 2003年第3期
69.Quantifier Elimination - アルゴリズム·実装·応用 -

机译：消除量词-算法/实施/应用-
- 作者：穴井宏和
- 期刊名称：《数式处理》 | 2003年第1期
70.機械系システム設計への応用

机译：在机械系统设计中的应用
- 作者：沢田浩之
- 期刊名称：《数式处理》 | 2003年第1期
71.REDLOG - First-Order Logic for the Masses

机译：REDLOG-大众的一阶逻辑
- 作者：Andreas DOLZMANN;Andreas SEIDL
- 期刊名称：《数式处理》 | 2003年第1期
72.偏角の原理を用いた多項式の根の数え上げ

机译：使用偏差原理计算多项式的根
- 作者：平野照比古
- 期刊名称：《数式处理》 | 2003年第4期
73.Lyness方程式の保存量について

机译：关于Lyness方程的保全量
- 作者：高敏;加藤泰幸;伊藤雅明
- 期刊名称：《数式处理》 | 2003年第4期
74.量子アルゴリズムを用いた多項式GCDの計算その2

机译：使用量子算法计算多项式GCD（第2部分）
- 作者：武田邦敬;甲斐博;野田松太郎
- 期刊名称：《数式处理》 | 2003年第4期
75.証明データベースの実装について

机译：关于认证数据库的实施
- 作者：鈴木秀男;船戸正和
- 期刊名称：《数式处理》 | 2003年第2期
76.整数行列の軒obenius標準形のモジュラー計算法

机译：整数矩阵房檐标准模块化计算方法
- 作者：森継修一
- 期刊名称：《数式处理》 | 2003年第4期
77.ACGB on Varieties

机译：ACGB品种
- 作者：Yosuke SATO;Akira SUZUKI;Katsusuke NABESHIMA
- 期刊名称：《数式处理》 | 2003年第2期
78.日本数式処理学会第11回大会報告

机译：日本配方加工学会第十一届年会报告
- 作者：村尾裕一
- 期刊名称：《数式处理》 | 2003年第4期
79.貴通直線構成による実射影平面上アレンジメントの生成とその分類

机译：通过直线配置在实际投影平面上生成和分类布置
- 作者：福井哲夫;岡口次郎
- 期刊名称：《数式处理》 | 2003年第2期
80.多項式制約間の矛盾検出法

机译：多项式约束之间的冲突检测方法
- 作者：沢田浩之;Hiroyuki Sawada
- 期刊名称：《数式处理》 | 2003年第4期
81.浮動小数点数を係数としたTaylor級数の応用

机译：以浮点数为系数的泰勒级数的应用
- 作者：平山弘;Hiroshi Hirayama
- 期刊名称：《数式处理》 | 2003年第2期
82.べき級数の計算について

机译：关于幂级数的计算
- 作者：北本卓也
- 期刊名称：《数式处理》 | 2003年第4期
83.ICMS2002報告

机译：ICMS2002报告
- 作者：高山信毅
- 期刊名称：《数式处理》 | 2003年第3期
84.日本数式処理学会は何をしてきたか

机译：日本数学处理学会做了什么？
- 作者：齋藤友克
- 期刊名称：《数式处理》 | 2003年第2期
85.数式処理システムの教育利用におけるインタフェースについて3

机译：用于数学处理系统3的教育用途的界面
- 作者：出口博章
- 期刊名称：《数式处理》 | 2003年第4期
86.Risa／Asir上の複数多項式2次ふるい（MPQS）の実装について

机译：在Risa / Asir上实现多重多边形二次筛（MPQS）
- 作者：本田光太郎;橫山和弘
- 期刊名称：《数式处理》 | 2003年第2期
87.Risa/Asirにおけるプログラムの自動安定化について

机译：关于Risa / Asir中的自动程序稳定
- 作者：近藤祐史;野田松太郎
- 期刊名称：《数式处理》 | 2003年第4期
88.Grobner Bases of Zero Dimensional Ideals for Zero-One Integer Programming

机译：零一整数编程的零维理想的Grobner基
- 作者：Daisuke Ikegami
- 期刊名称：《数式处理》 | 2003年第4期
89.An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification*

机译：QEPCAD B概述：消除实际量词和简化公式的工具*
- 作者：Christopher W. BROWN
- 期刊名称：《数式处理》 | 2003年第1期
90.陰的な偏差分方程式の保存量の計算

机译：隐式偏差方程的存储量的计算
- 作者：高敏;加藤泰幸;伊藤雅明;Min Gao;Yasuyuki Kato;Masaaki Ito
- 期刊名称：《数式处理》 | 2003年第2期
91.SyNRAC : A maple-package for solving real algebraic constraints

机译：SyNRAC：用于解决实际代数约束的枫木程序包
- 作者：Hitoshi YANAMI;Hirokazu ANAI
- 期刊名称：《数式处理》 | 2003年第2期
92.ACA'2002

机译：ACA'2002
- 作者：沢田浩之
- 期刊名称：《数式处理》 | 2003年第3期
93.日本数式処理学会第１２回大会報告

机译：日本数学加工学会第十二届年会报告
- 作者：横山和弘
- 期刊名称：《数式处理》 | 2003年第2期
94.LMCS2002の報告

机译：LMCS2002报告
- 作者：佐々木建昭
- 期刊名称：《数式处理》 | 2003年第3期
95.グレブナ一基底とSparse Square Polynomials

机译：Grebna基和稀疏平方多项式
- 作者：鈴木祥介
- 期刊名称：《数式处理》 | 2003年第4期
96.Inner modality 2または3のquasihomogeneous functionsのsemiquasihomogeneous deformationとその定義方程式のmoduliについて

机译：关于内部模态2或3的拟齐次函数的半拟齐次变形及其定义方程的模
- 作者：高橋正
- 期刊名称：《数式处理》 | 2003年第4期
97.整数行列の固有値，固有ベクトルの計算法について

机译：关于整数矩阵特征值和特征向量的计算方法
- 作者：竹島卓;近藤祐史;斎藤友克
- 期刊名称：《数式处理》 | 2003年第2期
98.シンプレクティツク·レイトレーシングに対する数億微分の導入

机译：引入数亿个差速器，以实现合乎逻辑的后期竞速
- 作者：佐藤哲
- 期刊名称：《数式处理》 | 2003年第4期
99.剰余区間の拡張とデータ依存解析への応用

机译：扩展余数间隔并将其应用于依赖数据的分析
- 作者：曽山典子;加古富志雄
- 期刊名称：《数式处理》 | 2003年第3期
100.超幾何関数のためのOpenMath Content Dictionary

机译：适用于超几何函数的OpenMath内容字典
- 作者：田村恭士
- 期刊名称：《数式处理》 | 2003年第4期