掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)
International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机仿真
物联网技术
轻松学电脑
自动化与信息工程
计算机测量与控制
信息技术与信息化
微型计算机
计算机技术与发展
数码
自动化与仪表
更多>>
相关外文期刊
IEEE transactions on dependable and secure computing
Macworld
Human Factors
International journal of mobile and blended learning
Circuit cellar
Transform Magazine
Network Computing
Computing in science & engineering
IEEE multimedia
International journal of intercultural information management
更多>>
相关中文会议
第十七届全国测试与故障诊断技术研讨会
信息系统协会中国分会第五届学术年会
2001中国控制与决策学术年会
第七届中国农村信息化发展论坛
全国第18届计算机技术与应用学术会议(CACIS)
国际并行算法与计算环境专题讨论会
第十八届全国振动与噪声高技术及应用会议
中国自动化学会系统仿真专业委员会中国系统仿真学会仿真计算机与软件专业委员会2004学术年会
2011 International Conferenc on Computer Application and Education Technology(ICCAET 2011)(2011年计算机和教育技术国际会议)
全国第三届工业炉窑自动控制学术会议暨第五届炼钢、连铸和轧钢自动化学术会议
更多>>
相关外文会议
2013 International Conference on Advances in Technology and Engineering
Optical Data Storage 2006
Foundations of aspect-oriented languages workshop 2009
7th World Multiconference on Systemics, Cybernetics and Informatics(SCI 2003) vol.7: Communication, Network and Control Systems, Technologies and Applications: I
Advances in computer science and education
2013 8th Annual ChinaGrid Conference
1998 Western MultiConference San Diego, California January 11-14, 1998
Formal methods: Foundations and applications
2017 IEEE 7th International Symposium on Cloud and Service Computing
International Workshop on Information Security Applications(WISA 2003); 20030825-20030827; Jeju Island; KR
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
共
88
条结果
1.
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups
机译:
Mathematica笔记本,用于计算组的迭代产品的同调性
作者:
V. Alvarez
;
J.A. Armario
;
M.D. Frau
;
P. Real
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
2.
Algorithm and Software for Integration over a Convex Polyhedron
机译:
凸多面体上集成的算法和软件
作者:
Mark Korenblit
;
Efraim Shmerling
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
3.
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs
机译:
无导数非线性程序的并行,异步方法
作者:
Joshua D. Griffin
;
Tamara G. Kolda
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
4.
Computation of the Real Zeros of the Kummer Function M(a; c; x)
机译:
Kummer函数M(a; c; x)的实零点的计算
作者:
Alfredo Deano
;
Amparo Gil
;
Javier Segura
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
5.
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP
机译:
OpenMP多线程符号和代数计算的实验
作者:
Hirokazu Murao
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
6.
Development of NZMATH
机译:
NZMATH的发展
作者:
Matsui Tetsushi
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
7.
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures
机译:
开发适合绘制精细TEX图片的Maple宏程序包
作者:
Masayoshi Sekiguchi
;
Satoshi Yamashita
;
Setsuo Takato
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
8.
Plural, a Non-commutative Extension of Singular: Past, Present and Future
机译:
复数,单数的非交换扩展:过去,现在和未来
作者:
Viktor Levandovskyy
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
9.
The Design of CoCoALib
机译:
CoCoALib的设计
作者:
J. Abbott
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
10.
DEpthLAUNAY
机译:
景深
作者:
Manuel Abellanas
;
Alfredo de las Vegas
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
11.
The SARAG Library: Some Algorithms in Real Algebraic Geometry
机译:
SARAG库:实数代数几何中的一些算法
作者:
Fabrizio Caruso
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
12.
Towards Reliable Software for the Evaluation of a Class of Special Functions
机译:
寻求用于评估一类特殊功能的可靠软件
作者:
Annie Cuyt
;
Stefan Becuwe
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
13.
Interfacing with the Numerical Homotopy Algorithms in PHCpack
机译:
与PHCpack中的数值同伦算法对接
作者:
Anton Leykin
;
Jan Verschelde
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
14.
Algebraic Computation of Some Intersection D-Modules
机译:
一些相交D-模块的代数计算
作者:
F.J. Calderon Moreno
;
L. Narvaez Macarro
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
15.
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity
机译:
具有稀疏性的多项式优化的收敛SDP松弛
作者:
Jean B. Lasserre
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
16.
Calculating Cocyclic Hadamard Matrices in Mathematical Exhaustive and Heuristic Searches
机译:
在数学穷举和启发式搜索中计算协循环Hadamard矩阵
作者:
V. Alvarez
;
J.A. Armario
;
M.D. Frau
;
P. Real
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
17.
Logiweb - A System for Web Publication of Mathematics
机译:
Logiweb-用于Web的数学发布系统
作者:
Klaus Grue
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
18.
GCLC — A Tool for Constructive Euclidean Geometry and More Than That
机译:
GCLC —用于构造欧几里得几何的工具
作者:
Predrag Janicic
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
19.
iB4e: A Software Framework for Parametrizing Specialized LP Problems
机译:
iB4e:用于参数化特殊LP问题的软件框架
作者:
Peter Huggins
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
20.
Flexible Object Hierarchies in Polymake
机译:
Polymake中的灵活对象层次结构
作者:
Ewgenij Gawrilow
;
Michael Joswig
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
21.
Robust HGCD with No Backup Steps
机译:
强大的HGCD,无备份步骤
作者:
Niels Moeller
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
22.
Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework
机译:
基于技术的学习环境中的双语模型的多媒体原型:数学学习框架的实现
作者:
Zuraini Dahlan
;
Noraimi Shafie
;
Rozeha A. Rashid
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
bilingual model;
multimedia prototype;
technology based learning environment;
23.
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces
机译:
基于Matlab的表面几何处理问题解决环境
作者:
A. Galvez
;
A. Iglesias
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
24.
Making Research on Symmetric Functions with MuPAD-Combinat
机译:
用MuPAD-Combinat进行对称函数的研究
作者:
Francois Descouens
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
25.
Making Change and Finding Repfigits: Balancing a Knapsack
机译:
做出改变并找到自负的人:平衡背包
作者:
Daniel Lichtblau
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
frobenius instance solving;
lattice reduction;
integer linear programming;
change-making problem;
frobenius numbers;
keith numbers;
repfigits;
26.
Methods to Access and Retrieve Mathematical Content in ActiveMath
机译:
在ActiveMath中访问和检索数学内容的方法
作者:
Paul Libbrecht
;
Erica Melis
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
27.
jReality, jtem, and Oorange — A Way to Do Math with Computers
机译:
jReality,item和Orange –一种使用计算机进行数学运算的方法
作者:
Tim Hoffmann
;
Markus Schmies
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
28.
Interfacing with the Numerical Homotopy Algorithms in PHCpack
机译:
与PHCpack中的数值同伦算法对接
作者:
Anton Leykin
;
Jan Verschelde
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
29.
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation
机译:
一个将MATLAB与面向自动微分的外部软件接口的系统
作者:
H. Martin Buecker
;
Atya Elsheikh
;
Andre Vehreschild
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
30.
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents
机译:
KNOPPIX / Math:数学软件和免费文档的便携式和可分发集合
作者:
Tatsuyoshi Hamada
;
Kuniyasu Suzaki
;
Kengo Iijima
;
Arimitsu Shikoda
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
31.
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP
机译:
OpenMP多线程符号和代数计算的实验
作者:
Hirokazu Murao
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
32.
MuPAD's Graphics System
机译:
MuPAD的图形系统
作者:
Christopher Creutzig
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
33.
An Efficient Implementation for Computing Groebner Bases over Algebraic Number Fields
机译:
在代数数域上计算Groebner基的有效实现
作者:
Masayuki Noro
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
34.
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces
机译:
基于Matlab的表面几何处理问题解决环境
作者:
A. Galvez
;
A. Iglesias
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
35.
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups
机译:
Mathematica笔记本,用于计算组的迭代产品的同调性
作者:
V. Alvarez
;
J.A. Armario
;
M.D. Frau
;
P. Real
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
36.
Development of NZMATH
机译:
NZMATH的发展
作者:
Matsui Tetsushi
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
37.
Generation of Oriented Matroids Using Satisfiability Solvers
机译:
使用满足性求解器生成定向拟阵
作者:
Lars Schewe
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
38.
Flexible Object Hierarchies in Polymake
机译:
Polymake中的灵活对象层次结构
作者:
Ewgenij Gawrilow
;
Michael Joswig
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
39.
DEpthLAUNAY
机译:
景深
作者:
Manuel Abellanas
;
Alfredo de las Vegas
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
40.
iB4e: A Software Framework for Parametrizing Specialized LP Problems
机译:
iB4e:用于参数化特殊LP问题的软件框架
作者:
Peter Huggins
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
41.
Stability of Parametric Decomposition
机译:
参数分解的稳定性
作者:
Kazuhiro Yokoyama
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
42.
Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework
机译:
基于技术的学习环境中的双语模型的多媒体原型:数学学习框架的实现
作者:
Zuraini Dahlan
;
Noraimi Shafie
;
Rozeha A. Rashid
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
bilingual model;
multimedia prototype;
technology based learning environment;
43.
Methods to Access and Retrieve Mathematical Content in ActiveMath
机译:
在ActiveMath中访问和检索数学内容的方法
作者:
Paul Libbrecht
;
Erica Melis
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
44.
Logiweb - A System for Web Publication of Mathematics
机译:
Logiweb-用于Web的数学发布系统
作者:
Klaus Grue
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
45.
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type
机译:
测试内在型实李子群幂等轨道的可容许性的通用计算方案
作者:
Alfred G. Noeel
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
46.
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment
机译:
多层编程环境中多项式算法的有效实现
作者:
Xin Li
;
Marc Moreno Maza
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
47.
Towards Reliable Software for the Evaluation of a Class of Special Functions
机译:
寻求用于评估一类特殊功能的可靠软件
作者:
Annie Cuyt
;
Stefan Becuwe
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
48.
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents
机译:
KNOPPIX / Math:数学软件和免费文档的便携式和可分发集合
作者:
Tatsuyoshi Hamada
;
Kuniyasu Suzaki
;
Kengo Iijima
;
Arimitsu Shikoda
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
49.
Generation of Oriented Matroids Using Satisfiability Solvers
机译:
使用满足性求解器生成定向拟阵
作者:
Lars Schewe
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
50.
Primal-Dual Enumeration for Multiparametric Linear Programming
机译:
多参数线性规划的本对偶枚举
作者:
Colin N. Jones
;
Jan M. Maciejowski
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
51.
Parallel Homotopy Algorithms to Solve Polynomial Systems
机译:
求解多项式系统的并行同伦算法
作者:
Anton Leykin
;
Jan Verschelde
;
Yan Zhuang
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
continuation methods;
high performance continuation;
jumpstarting homotopies;
linear-product systems;
parallel computation;
path following;
polynomial systems;
polyhedral homotopies;
simplex system;
52.
On the GAP Package sgpviz
机译:
在GAP软件包sgpviz上
作者:
Manuel Delgado
;
Jose Morais
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
53.
MuPAD's Graphics System
机译:
MuPAD的图形系统
作者:
Christopher Creutzig
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
54.
KASH: Recent Developments
机译:
喀什:最新动态
作者:
Sebastian Freundt
;
Aneesh Karve
;
Anita Krahmann
;
Sebastian Pauli
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
55.
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type
机译:
测试内在型实李子群幂等轨道的可容许性的通用计算方案
作者:
Alfred G. Noeel
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
56.
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions
机译:
Matlab贝塞尔函数乘积积分算法的Matlab实现
作者:
Joris Van Deun
;
Ronald Cools
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
57.
Links to Projects. Mathematical Software, icms2006—Developer's Meeting
机译:
链接到项目。 icms2006数学软件-开发人员会议
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
58.
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation
机译:
一个将MATLAB与面向自动微分的外部软件接口的系统
作者:
H. Martin Buecker
;
Atya Elsheikh
;
Andre Vehreschild
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
59.
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm
机译:
划分算法和Buchberger算法的交互式用户界面
作者:
Hiromasa Nakayama
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
60.
An Efficient Implementation for Computing Groebner Bases over Algebraic Number Fields
机译:
在代数数域上计算Groebner基的有效实现
作者:
Masayuki Noro
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
61.
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
机译:
折纸上刻的最大等边三角形的计算构造
作者:
Tetsuo Ida
;
Hidekazu Takahashi
;
Mircea Marin
;
Fadoua Ghourabi
;
Asem Kasem
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
62.
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment
机译:
多层编程环境中多项式算法的有效实现
作者:
Xin Li
;
Marc Moreno Maza
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
63.
Stability of Parametric Decomposition
机译:
参数分解的稳定性
作者:
Kazuhiro Yokoyama
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
64.
Tree Checking for Sparse Complexes
机译:
稀疏复合物的树检查
作者:
Massimo Caboara
;
Sara Faridi
;
Peter Selinger
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
65.
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs
机译:
无导数非线性程序的并行,异步方法
作者:
Joshua D. Griffin
;
Tamara G. Kolda
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
66.
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity
机译:
具有稀疏性的多项式优化的收敛SDP松弛
作者:
Jean B. Lasserre
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
67.
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
机译:
折纸上刻的最大等边三角形的计算构造
作者:
Tetsuo Ida
;
Hidekazu Takahashi
;
Mircea Marin
;
Fadoua Ghourabi
;
Asem Kasem
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
68.
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm
机译:
划分算法和Buchberger算法的交互式用户界面
作者:
Hiromasa Nakayama
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
69.
Links to Projects. Mathematical Software, icms2006—Developer's Meeting
机译:
链接到项目。 icms2006数学软件-开发人员会议
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
70.
Tree Checking for Sparse Complexes
机译:
稀疏复合物的树检查
作者:
Massimo Caboara
;
Sara Faridi
;
Peter Selinger
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
71.
GCLC — A Tool for Constructive Euclidean Geometry and More Than That
机译:
GCLC —用于构造欧几里得几何的工具
作者:
Predrag Janicic
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
72.
jReality, jtem, and Oorange — A Way to Do Math with Computers
机译:
jReality,item和Orange –一种使用计算机进行数学运算的方法
作者:
Tim Hoffmann
;
Markus Schmies
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
73.
The SARAG Library: Some Algorithms in Real Algebraic Geometry
机译:
SARAG库:实数代数几何中的一些算法
作者:
Fabrizio Caruso
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
74.
Algebraic Computation of Some Intersection D-Modules
机译:
一些相交D-模块的代数计算
作者:
F.J. Calderon Moreno
;
L. Narvaez Macarro
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
75.
Plural, a Non-commutative Extension of Singular: Past, Present and Future
机译:
复数,单数的非交换扩展:过去,现在和未来
作者:
Viktor Levandovskyy
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
76.
KASH: Recent Developments
机译:
喀什:最新动态
作者:
Sebastian Freundt
;
Aneesh Karve
;
Anita Krahmann
;
Sebastian Pauli
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
77.
Making Change and Finding Repfigits: Balancing a Knapsack
机译:
做出改变并找到自负的人:平衡背包
作者:
Daniel Lichtblau
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
frobenius instance solving;
lattice reduction;
integer linear programming;
change-making problem;
frobenius numbers;
keith numbers;
repfigits;
78.
Robust HGCD with No Backup Steps
机译:
强大的HGCD,无备份步骤
作者:
Niels Moeller
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
79.
The Design of CoCoALib
机译:
CoCoALib的设计
作者:
J. Abbott
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
80.
Parallel Homotopy Algorithms to Solve Polynomial Systems
机译:
求解多项式系统的并行同伦算法
作者:
Anton Leykin
;
Jan Verschelde
;
Yan Zhuang
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
关键词:
continuation methods;
high performance continuation;
jumpstarting homotopies;
linear-product systems;
parallel computation;
path following;
polynomial systems;
polyhedral homotopies;
simplex system;
81.
Calculating Cocyclic Hadamard Matrices in Mathematical Exhaustive and Heuristic Searches
机译:
在数学穷举和启发式搜索中计算协循环Hadamard矩阵
作者:
V. Alvarez
;
J.A. Armario
;
M.D. Frau
;
P. Real
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
82.
Primal-Dual Enumeration for Multiparametric Linear Programming
机译:
多参数线性规划的本对偶枚举
作者:
Colin N. Jones
;
Jan M. Maciejowski
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
83.
On the GAP Package sgpviz
机译:
在GAP软件包sgpviz上
作者:
Manuel Delgado
;
Jose Morais
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
84.
Making Research on Symmetric Functions with MuPAD-Combinat
机译:
用MuPAD-Combinat进行对称函数的研究
作者:
Francois Descouens
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
85.
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures
机译:
开发适合绘制精细TEX图片的Maple宏程序包
作者:
Masayoshi Sekiguchi
;
Satoshi Yamashita
;
Setsuo Takato
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
86.
Algorithm and Software for Integration over a Convex Polyhedron
机译:
凸多面体上集成的算法和软件
作者:
Mark Korenblit
;
Efraim Shmerling
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
87.
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions
机译:
Matlab贝塞尔函数乘积积分算法的Matlab实现
作者:
Joris Van Deun
;
Ronald Cools
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
88.
Computation of the Real Zeros of the Kummer Function M(a; c; x)
机译:
Kummer函数M(a; c; x)的实零点的计算
作者:
Alfredo Deano
;
Amparo Gil
;
Javier Segura
会议名称:
《International Congress on Mathematical Software(ICMS 2006); 20060901-03; Castro Urdiales(ES)》
|
2006年
上一页
1
下一页
意见反馈
回到顶部
回到首页