掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文期刊
>
数学、物理、化学、力学
>
数学
>
数理解析研究所讲究录
>2006年第1514期
数理解析研究所讲究录
中文名称:数理解析研究所讲究录
ISSN:
1880-2818
出版周期:
不定期刊
发文量:1337
期刊论文
热门论文
年度选择
2008
第1575期
第1576期
第1577期
第1578期
第1580期
第1581期
第1582期
第1589期
第1593期
第1594期
第1595期
第1596期
第1597期
第1612期
第1615期
第1616期
第1617期
2007
第1527期
第1528期
第1529期
第1530期
第1531期
第1532期
第1533期
第1534期
第1535期
第1536期
第1537期
第1538期
第1539期
第1540期
第1541期
第1542期
第1543期
第1544期
第1545期
第1546期
第1547期
第1548期
第1549期
第1550期
第1551期
第1552期
第1553期
第1554期
第1555期
第1556期
第1557期
第1558期
第1559期
第1560期
第1561期
第1562期
第1563期
第1564期
第1565期
第1566期
第1567期
第1568期
第1569期
第1570期
第1571期
第1572期
第1573期
第1574期
2006
第1502期
第1503期
第1504期
第1505期
第1506期
第1507期
第1508期
第1509期
第1510期
第1511期
第1512期
第1513期
第1514期
第1515期
第1516期
第1521期
第1522期
第1523期
第1524期
第1525期
第1526期
2005
第1455期
第1456期
第1457期
第1458期
第1459期
第1460期
第1461期
第1462期
更多>>
全选(
0
)
清除
导出
共
68
条结果
1.
GAPの関数Normalizerの改良
机译:
GAP功能归一化器的改进
作者:
宮本泉
;
IZUMI MIYAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
2.
AsirPad の関数グラフ描画機能について
机译:
关于AsirPad的功能图绘制功能
作者:
藤本光史
;
MITSUSHI FUJIMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
3.
孤立特異点に付随する代数的居所コホモロジーとヤコピイデアルに対するグレブナ一基底の計算法
机译:
与孤立奇异性相关的代数行踪和基于Grebna的Jacopiideal计算方法
作者:
阿部隆行
;
田島慎一
;
TAKAYUKI ABE
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
4.
数式埋め込みコンテンツと標準化-現状理解と標準化プロセスについて-
机译:
公式嵌入的内容和标准化-了解现状和标准化流程-
作者:
長坂耕作
;
KOSAKU NAGASAKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
5.
有理式を要素とする行列式の計算法
机译:
使用Rational表达式作为元素的矩阵方程的计算方法
作者:
梅田恭
;
佐々木建昭
;
Yasushi Umeda
;
Tateaki Sasaki
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
6.
数式処理(システム)におけるマルチスレッド化の試み
机译:
式处理中的多线程尝试(系统)
作者:
村尾裕一
;
兵頭礼子
;
斎藤友克
;
MURAO HIROKAZU
;
HYODO NORIKO
;
SAITO TOMOKATSU
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
7.
代数的Riccati方程式の解法について
机译:
关于求解代数Riccati方程
作者:
北本卓也
;
T. KITAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
8.
包括的プーリアンダレブナ基底の構成について
机译:
综合皮带轮安达列布纳基地组成
作者:
井上秀太郎
;
佐藤洋祐
;
SHUTARO INOUE
;
YOSUKE SATO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
9.
Solving and visualizing parametric quantified constraints in control system design
机译:
解决和可视化控制系统设计中的参数化量化约束
作者:
兵頭礼子
;
Myunghoom Hong
;
屋並仁史
;
穴井宏和
;
Stefan Ratschan
;
原辰次
;
NORIKO HYODO
;
Myunghoom Hong
;
HITOSHI YANAMI
;
HIROKAZU ANAI
;
Stefan Ratschan
;
SHINJI HARA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
10.
多項式の実数解を求める方法について-再訪-
机译:
如何找到多项式的真实解
作者:
平野照比古
;
HILANO TELUHIKO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
11.
多変数多項式に対する新しい因数分解法
机译:
多元多项式的新分解方法
作者:
佐々木建昭
;
稲葉大樹
;
Tateaki Sasaki
;
Daiju Inaba
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
12.
数式処理システムを用いた芸術における数理科学的アブロト一チ
机译:
使用数学处理系统进行艺术数学算术
作者:
桐生裕介
;
長坂耕作
;
高橋正
;
YUSUKE KIRIU
;
KOSAKU NAGASAKA
;
TADASHI TAKAHASHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
13.
多変数多項式に対する新しい因数分解法
机译:
多变量多项式的新因子分解方法
作者:
佐々木建昭
;
稲葉大樹
;
Tateaki Sasaki
;
Daiju Inaba
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
14.
数式埋め込みコンテンツと標準化-現状理解と標準化プロセスについて-
机译:
公式嵌入式内容和标准化 - 关于当前情况和标准化过程 -
作者:
長坂耕作
;
KOSAKU NAGASAKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
15.
精度保証付き制御系解析·設計
机译:
控制系统分析和设计,保证准确性
作者:
管野政明
;
MASAAKI KANNO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
16.
On relationship between proliferation and transition raets of multicells
机译:
多细胞增殖与过渡性状的关系
作者:
HlROSHI YOSHIDA
;
HIROKAZU ANAI
;
SHIOEO ORH
;
KATSUHISA HORIMOTO
;
吉田寛
;
穴井宏和
;
折居茂夫
;
堀本勝久
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
17.
Risa/Asirにおける新しい形式の数式の取り扱いについて
机译:
在Risa / Asir中处理新格式的公式
作者:
野呂正行
;
高山侶毅
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
18.
剰余体K[x]/〈f〉における逆冪計算
机译:
余数K [x] /
的逆计算
作者:
田島慎一
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
19.
Solving Cubic Equations by ORIGAMI
机译:
用ORIGAMI求解三次方程
作者:
SHUICHI MORITSUGU
;
森継修一
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
20.
多項式行列の行列式の補間による計算
机译:
多项式矩阵矩阵插值的计算
作者:
木村欣司
;
KINJI KIMURA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
21.
特異点解消を用いた桁落ち無しべき級数計算
机译:
用奇异消除计算数字滴策略数量
作者:
山內步
;
AYUMI YAMAUCHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
22.
Taylor級数の逆関数計算の高速化とその応用
机译:
泰勒系列逆函数计算的加速及其应用
作者:
舘野裕文
;
平山弘
;
HIROFUMI TATENO
;
HIROSHI HIRAYAMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
23.
グレブナ一基底を用いた包括グレブナ一基底計算
机译:
综合Grevena 1基于Grevena 1的基本计算
作者:
鈴木晃
;
AKIRA SUZUKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
24.
ユーザ定義述語を含む系の限量子消去法
机译:
包含用户定义谓词的系统的有限量子消除方法
作者:
元言文男
;
秋燕澄孝
;
F. MOTOYOSHI
;
S. AKIBA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
25.
円に関する人間らしい初等幾何証明を生成するための推論方法
机译:
生成类似人的圆形基本几何证明的推理方法
作者:
山本航
;
宮本健司
;
関川浩
;
白柳潔
;
WATARU YAMAMOTO
;
KENJI MIYAMOTO
;
HIROSHI SEKIGAWA
;
KIYOSHI SIRAYANAGI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
26.
1変数多項式の再帰的な多項式剰余列と入れ子部分終結式
机译:
递归多态余数序列和一变量多项式的嵌套部分终止
作者:
照井章
;
AKIRA TERUI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
27.
円に関する人間らしい初等幾何証明を生成するための推論方法
机译:
与圈推理方法相关的人类生成预后认证的真实性
作者:
山本航
;
宮本健司
;
関川浩
;
白柳潔
;
WATARU YAMAMOTO
;
KENJI MIYAMOTO
;
HIROSHI SEKIGAWA
;
KIYOSHI SIRAYANAGI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
28.
Risa/Asirにおける新しい形式の数式の取り扱いについて
机译:
处理RISA / ASIR中的新格式
作者:
野呂正行
;
高山侶毅
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
29.
割り算アルゴリズムとBuchbergerアルゴリズムのためのインタラクティブエーザインターフエース作成について
机译:
对Malification算法和Buchberger算法的交互式Eisfactoise创建
作者:
中山洋将
;
HIROMASA NAKAYAMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
30.
ユーザ定義述語を含む系の限量子消去法
机译:
限制包含用户定义谓词的系统的其他方法
作者:
元言文男
;
秋燕澄孝
;
F. MOTOYOSHI
;
S. AKIBA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
31.
多項式剰余公式の計算アルゴリズム
机译:
多项式剩余公式计算算法
作者:
庄司卓夢
;
田島慎一
;
TAKUMU SHOJI
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
32.
包括的プーリアンダレブナ基底の構成について
机译:
关于综合轮滑路边的组成
作者:
井上秀太郎
;
佐藤洋祐
;
SHUTARO INOUE
;
YOSUKE SATO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
33.
オイラーの定数の2重積分表示について
机译:
关于欧拉常数的双整数显示
作者:
西沢清子
;
宮崎里美
;
NISHIZAWA KAYOKO
;
MIYAZAKI SATOMI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
34.
有理関数補間の不必要な極の解析
机译:
有理函数插值的不必要极点分析
作者:
甲斐博
;
HIROSHI KAI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
35.
多項式行列の行列式の補間による計算
机译:
通过插值计算多态矩阵的矩阵表达式
作者:
木村欣司
;
KINJI KIMURA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
36.
Presentation Hensel's Lemma in Isabelle/HOL
机译:
在Isabelle / HOL中演示Hensel的引理
作者:
HIDETSUNE KOBAYASHI
;
HIDEO SUZUKI
;
小林英恒
;
鈴木秀男
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
37.
リーマンゼータ函数の等級数展開について
机译:
关于riemann zeta函数的等级编号开发
作者:
村上弘
;
MURAKAMI HIROSHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
38.
リーマンゼータ函数の等級数展開について
机译:
关于riemann zeta函数的等级编号开发
作者:
村上弘
;
MURAKAMI HIROSHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
39.
グレブナ一基底を用いた包括グレブナ一基底計算
机译:
使用Grebna一基法进行Grebna一基法的综合计算
作者:
鈴木晃
;
AKIRA SUZUKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
40.
多変数近似GCD用算法の性能比較
机译:
多変数近似GCD用算法の性能比较
作者:
讃岐勝
;
MASARU SANUKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
41.
Solving and visualizing parametric quantified constraints in control system design
机译:
控制系统设计中的参数化分量约束解决和可视化
作者:
兵頭礼子
;
Myunghoom Hong
;
屋並仁史
;
穴井宏和
;
Stefan Ratschan
;
原辰次
;
NORIKO HYODO
;
Myunghoom Hong
;
HITOSHI YANAMI
;
HIROKAZU ANAI
;
Stefan Ratschan
;
SHINJI HARA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
42.
1変数多項式の再帰的な多項式剰余列と入れ子部分終結式
机译:
1可变多项式的递归多项式剩余部分和嵌套部分终端
作者:
照井章
;
AKIRA TERUI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
43.
GAPの関数Normalizerの改良
机译:
GAP功能规范化改进
作者:
宮本泉
;
IZUMI MIYAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
44.
有理式を要素とする行列式の計算法
机译:
以有理公式为元素的矩阵公式的计算方法
作者:
梅田恭
;
佐々木建昭
;
Yasushi Umeda
;
Tateaki Sasaki
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
45.
An answer to an open problem on cubic spiral transition between two circles
机译:
关于两个圆之间的三次螺旋跃迁的一个开放问题的答案
作者:
Zulfiqar Habib
;
Manabu Sakait
;
ズルフィカルハビブ
;
酒井官
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
46.
拡張Hensel構成と多変数代数関数の特異性
机译:
扩展的Hensel配置和多元代数奇点
作者:
佐々木建昭
;
稲葉大樹
;
片町健太郎
;
Tateaki Sasaki
;
Daiju Inaba
;
kentaro Katamati
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
47.
Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model
机译:
生物动力学模型中参数估计的符号-数值优化
作者:
SHIGEO ORII
;
KATSUHISA HORIMOTO
;
HlROKAZU ANAI
;
折居茂夫
;
堀本勝久
;
穴井宏和
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
48.
特異点解消を用いた桁落ち無しべき級数計算
机译:
使用奇异性消除进行无位数损失的序列计算
作者:
山內步
;
AYUMI YAMAUCHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
49.
A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyN RAC
机译:
SyN RAC中基于圆柱代数分解的量词消除程序
作者:
YANAMI HITOSHI
;
ANAI HlROKAZU
;
屋並仁史
;
穴井宏和
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
50.
従変数に重みをつけた拡張Hemsel構成とNewton多面体
机译:
扩展HEMEL配置和牛顿多面体,加权变量
作者:
小副川健
;
佐々木建昭
;
Takeshi Soekawa
;
Tateaki Sasaki
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
51.
従変数に重みをつけた拡張Hemsel構成とNewton多面体
机译:
扩展HEMEL配置和牛顿多面体,加权变量
作者:
小副川健
;
佐々木建昭
;
Takeshi Soekawa
;
Tateaki Sasaki
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
52.
数式処理システムを用いた芸術における数理科学的アブロト一チ
机译:
使用计量系统的艺术中的数学科学磨牙
作者:
桐生裕介
;
長坂耕作
;
高橋正
;
YUSUKE KIRIU
;
KOSAKU NAGASAKA
;
TADASHI TAKAHASHI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
53.
CF(3~m)におけるTate Pairingの計算および実装について
机译:
CF中Tate配对的计算与实现(3到M)
作者:
岩見真希
;
久保寺範和
;
側高幸治
;
岡本栄司
;
MAKI IWAMI
;
NORIKAZU KUBOTER
;
KOJI SOBATAKA
;
EIJI OKAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
54.
剰余体K[x]/〈f〉における逆冪計算
机译:
剩余k [x] /
中的反向计算
作者:
田島慎一
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
55.
オイラーの定数の2重積分表示について
机译:
关于欧拉常量的双积分显示
作者:
西沢清子
;
宮崎里美
;
NISHIZAWA KAYOKO
;
MIYAZAKI SATOMI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
56.
AsirPad の関数グラフ描画機能について
机译:
关于Asirpad功能图绘图功能
作者:
藤本光史
;
MITSUSHI FUJIMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
57.
多変数近似GCD用算法の性能比較
机译:
多変数近似GCD用算法の性能比较
作者:
讃岐勝
;
MASARU SANUKI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
58.
CF(3~m)におけるTate Pairingの計算および実装について
机译:
CF(3〜m)中的泰特配对的计算和实现
作者:
岩見真希
;
久保寺範和
;
側高幸治
;
岡本栄司
;
MAKI IWAMI
;
NORIKAZU KUBOTER
;
KOJI SOBATAKA
;
EIJI OKAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
59.
Taylor級数の逆関数計算の高速化とその応用
机译:
泰勒级数反函数计算的加速及其应用
作者:
舘野裕文
;
平山弘
;
HIROFUMI TATENO
;
HIROSHI HIRAYAMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
60.
割り算アルゴリズムとBuchbergerアルゴリズムのためのインタラクティブエーザインターフエース作成について
机译:
关于为除法和Buchberger算法创建交互式ace接口
作者:
中山洋将
;
HIROMASA NAKAYAMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
61.
多項式剰余公式の計算アルゴリズム
机译:
聚残渣配方的计算算法
作者:
庄司卓夢
;
田島慎一
;
TAKUMU SHOJI
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
62.
数式処理(システム)におけるマルチスレッド化の試み
机译:
在数学处理(系统)中尝试多线程
作者:
村尾裕一
;
兵頭礼子
;
斎藤友克
;
MURAO HIROKAZU
;
HYODO NORIKO
;
SAITO TOMOKATSU
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
63.
多項式の実数解を求める方法について-再訪-
机译:
关于如何找到多项式重新审视的真实解决方案
作者:
平野照比古
;
HILANO TELUHIKO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
64.
孤立特異点に付随する代数的居所コホモロジーとヤコピイデアルに対するグレブナ一基底の計算法
机译:
Grovena Theal of Coleabouts Coombouts伴随着孤立的奇异性的基地的计算方法
作者:
阿部隆行
;
田島慎一
;
TAKAYUKI ABE
;
SHINICHI TAJIMA
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
65.
有理関数補間の不必要な極の解析
机译:
Rational函数插值不必要的极点分析
作者:
甲斐博
;
HIROSHI KAI
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
66.
拡張Hensel構成と多変数代数関数の特異性
机译:
扩展Hensel配置和多变量代数功能的特异性
作者:
佐々木建昭
;
稲葉大樹
;
片町健太郎
;
Tateaki Sasaki
;
Daiju Inaba
;
kentaro Katamati
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
67.
代数的Riccati方程式の解法について
机译:
关于代数Riccati方程的解决方案
作者:
北本卓也
;
T. KITAMOTO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
68.
精度保証付き制御系解析·設計
机译:
精密保证控制系统分析与设计
作者:
管野政明
;
MASAAKI KANNO
期刊名称:
《数理解析研究所讲究录》
|
2006年第1514期
上一页
1
下一页
意见反馈
回到顶部
回到首页