掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
ICMS 2010
ICMS 2010
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Software for Quantifier Elimination in Propositional Logic
机译:
在命题逻辑中的量化软件消除
作者:
Eugene Goldberg
;
Panagiotis Manolios
会议名称:
《ICMS 2010》
|
2014年
关键词:
Propositional logic;
quantifier elimination;
dependency sequents;
2.
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32
机译:
基于计算机的二元极值自二元码长32个重构
作者:
Jon-Lark Kim
会议名称:
《ICMS 2010》
|
2014年
关键词:
balance principle;
self-dual codes;
classification of linear codes;
3.
Skolemization Modulo Theories
机译:
Skolemization Modulo Matories.
作者:
Konstantin Korovin
;
Margus Veanes
会议名称:
《ICMS 2010》
|
2014年
关键词:
Theories;
theorem;
techniques;
4.
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices
机译:
在平板电脑设备上具有手写接口的CA的实现方法
作者:
Mitsushi Fujimoto
会议名称:
《ICMS 2010》
|
2014年
关键词:
tablet devices;
CAS;
GUI;
handwriting recognition;
5.
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems
机译:
在RISA / ASIR上开发线性代数包,用于egenproblems
作者:
Katsuyoshi Ohara
;
Shinichi Tajima
;
Akira Terui
会议名称:
《ICMS 2010》
|
2014年
关键词:
Linear Algebra;
Eigenproblems;
Residue Calculus;
6.
Theorema 2.0: A System for Mathematical Theory Exploration
机译:
Theorema 2.0:数学理论探索系统
作者:
Wolfgang Windsteiger
会议名称:
《ICMS 2010》
|
2014年
关键词:
Theorema;
mathematical assistant system;
automated theorem proving;
theory exploration;
user interfaces;
GPL;
7.
Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci
机译:
使用Maple的正则结构图书馆自动分类平面几何基因座
作者:
Francisco Botana
;
Tomás Recio
会议名称:
《ICMS 2010》
|
2014年
关键词:
parametrical systems solving;
constructible sets;
dynamic geometry;
8.
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e
机译:
在长度24至Z2E的2 - ADIC Golay码的重量枚举器上的重量枚举器
作者:
Sunghyu Han
会议名称:
《ICMS 2010》
|
2014年
关键词:
Golay codes;
Lifted codes;
p-Adic codes;
Weight enumerators;
9.
On Multivariate Birkhoff Rational Interpolation
机译:
关于多变量Birkhoff Rational Interpolation
作者:
Peng Xia
;
Bao-Xin Shang
;
Na Lei
会议名称:
《ICMS 2010》
|
2014年
关键词:
Birkhoff rational interpolation;
triangular decomposition;
parametric polynomial system;
10.
MathLibre: Modifiable Desktop Environment for Mathematics
机译:
MathLibre:用于数学的可修改的桌面环境
作者:
Tatsuyoshi Hamada
会议名称:
《ICMS 2010》
|
2014年
关键词:
mathematical software;
live linux;
11.
Approximating Generators for Integral Arithmetic Groups
机译:
用于积分算术组的近似发生器
作者:
Bettina Eick
会议名称:
《ICMS 2010》
|
2014年
关键词:
arithmetic groups;
finite approximation;
12.
Representing, Archiving, and Searching the Space of Mathematical Knowledge
机译:
代表,存档和搜索数学知识空间
作者:
Mihnea Iancu
;
Michael Kohlhase
;
Corneliu Prodescu
会议名称:
《ICMS 2010》
|
2014年
关键词:
Archiving;
Space;
Knowledge;
13.
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions
机译:
Mathematica的符号计算包,用于数学表达式的多功能操纵
作者:
Youngjoo Chung
会议名称:
《ICMS 2010》
|
2014年
关键词:
Symbolic Computing;
Formula Manipulation;
Mathematica;
14.
Software for Groups: Theory and Practice
机译:
组软件:理论与实践
作者:
Alexander Hulpke
会议名称:
《ICMS 2010》
|
2014年
关键词:
Software;
Groups;
Theory;
15.
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes
机译:
用于一般代数几何代码的解码算法的岩浆实现
作者:
Kwankyu Lee
会议名称:
《ICMS 2010》
|
2014年
关键词:
Decoding algorithm;
Algebraic Geometry coodes;
Algebraic curves;
16.
Flyspecking Flyspeck
机译:
Flyspecking Flyspeck.
作者:
Mark Adams
会议名称:
《ICMS 2010》
|
2014年
关键词:
Flyspecking;
Flyspeck;
formalisation;
17.
Early Examples of Software in Mathematical Knowledge Management
机译:
数学知识管理中的软件的早期示例
作者:
Patrick Ion
会议名称:
《ICMS 2010》
|
2014年
关键词:
mathematical knowledge management;
mathematical subject classification;
MSC;
mathematical markup language;
MathML;
SKOS;
network analysis;
18.
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs
机译:
话语级平行标记及其在柔性理论图中采用
作者:
Michael Kohlhase
;
Mihnea Iancu
会议名称:
《ICMS 2010》
|
2014年
关键词:
Discourse-Level;
Parallel;
Markup;
19.
New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic
机译:
用KETPIC解释波函数随机解释的新方法及其教材
作者:
Kenji Fukazawa
会议名称:
《ICMS 2010》
|
2014年
关键词:
stochastic interpretation;
wave functions;
KETpic;
20.
Reversible Codes and Applications to DNA*
机译:
可逆代码和应用于DNA *
作者:
Elif Segah Oztas
;
Irfan Siap
;
Bahattin Yildiz
会议名称:
《ICMS 2010》
|
2014年
关键词:
Coterm polynomials;
Reversible-complement codes;
DNA codes;
21.
The Sustainability of Digital Educational Resources*
机译:
数字教育资源的可持续性*
作者:
Yongsheng Rao
;
Ying Wang
;
Yu Zou
;
Jingzhong Zhang
会议名称:
《ICMS 2010》
|
2014年
关键词:
High-quality educational resources;
sustainability;
transparency;
openness;
22.
Computation of an Improved Lower Bound to Giuga’s Primality Conjecture
机译:
计算Giuga Primalally猜想的改进下限
作者:
Matthew Skerritt
会议名称:
《ICMS 2010》
|
2014年
关键词:
Giuga’s conjecture;
normality of primes;
branch and bound;
23.
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology
机译:
通过代数局部协调改变计算标准基础的算法
作者:
Katsusuke Nabeshima
;
Shinichi Tajima
会议名称:
《ICMS 2010》
|
2014年
关键词:
standard bases;
algebraic local cohomology;
singularities;
24.
Codes over a Non Chain Ring with Some Applications
机译:
使用一些应用程序在非链环上的代码
作者:
Aysegul Bayram
;
Elif Segah Oztas
;
Irfan Siap
会议名称:
《ICMS 2010》
|
2014年
关键词:
Non chain rings;
Linear codes;
Skew codes;
DNA codes;
25.
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
机译:
基于触控的动态几何系统:设计和实现
作者:
Wei Su
;
Paul S. Wang
;
Chuan Cai
;
Lian Li
会议名称:
《ICMS 2010》
|
2014年
关键词:
Touch-Operation-Based;
Geometry;
System;
26.
SyNRAC: A Toolbox for Solving Real Algebraic Constraints
机译:
Synrac:用于解决真实代数约束的工具箱
作者:
Hidenao Iwane
;
Hitoshi Yanami
;
Hirokazu Anai
会议名称:
《ICMS 2010》
|
2014年
关键词:
quantifier elimination;
27.
Metalibm: A Mathematical Functions Code Generator
机译:
MetaliBM:数学函数代码生成器
作者:
Olga Kupriianova
;
Christoph Lauter
会议名称:
《ICMS 2010》
|
2014年
关键词:
code generation;
elementary functions;
mathematical libraries;
28.
Recent Developments in Normaliz
机译:
近期发展
作者:
Winfried Bruns
;
Christof S?ger
会议名称:
《ICMS 2010》
|
2014年
关键词:
Hilbert basis;
Hilbert series;
rational cone;
polyhedron;
29.
An Improvement of Rosenfeld-Gr?bner Algorithm
机译:
Rosenfeld-GR的改进?BNER算法
作者:
Amir Hashemi
;
Zahra Touraji
会议名称:
《ICMS 2010》
|
2014年
关键词:
Differential algebra;
Rosenfeld-Gr?bner;
Buchberger first criterion;
30.
A Touch-Based Mathematical Expression Editor
机译:
基于触摸的数学表达式编辑器
作者:
Wei Su
;
Paul S. Wang
;
Lian Li
会议名称:
《ICMS 2010》
|
2014年
关键词:
Touch-Based;
Expression;
Editor;
31.
Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models
机译:
用Ketpic和印刷模型的教育影响生成3D打印机数学图数据的数据
作者:
Setsuo Takato
;
Naoki Hamaguchi
;
Haiduke Sarafian
会议名称:
《ICMS 2010》
|
2014年
关键词:
LATEX;
3D printer;
Teaching Materials;
32.
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions
机译:
在教学中教学中的视觉辅助材料的发展
作者:
Toshifumi Nomachi
;
Toshihiko Koshiba
;
Shunji Ouchi
会议名称:
《ICMS 2010》
|
2014年
关键词:
Scilab software;
orthant probability;
2-dimensional normal distribution;
Gaussian function;
teaching statistical material;
33.
Verification of Gr?bner Basis Candidates
机译:
验证GR吗?BNER基础候选人
作者:
Masayuki Noro
;
Kazuhiro Yokoyama
会议名称:
《ICMS 2010》
|
2014年
关键词:
Gr?bner basis;
modular algorithm;
verification;
34.
An Extension and Efficient Calculation of the Horner’s Rule for Matrices
机译:
矩阵矩阵规则的扩展和有效计算
作者:
Shinichi Tajima
;
Katsuyoshi Ohara
;
Akira Terui
会议名称:
《ICMS 2010》
|
2014年
关键词:
The Horner’s rule;
matrix polynomials;
35.
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
机译:
简单曲线的同位素排列:基于细分的精确数值方法
作者:
Jyh-Ming Lien
;
Vikram Sharma
;
Gert Vegter
;
Chee Yap
会议名称:
《ICMS 2010》
|
2014年
关键词:
Isotopy;
arrangement of curves;
interval arithmetic;
subdivision algorithms;
marching-cube;
36.
NLCertify: A Tool for Formal Nonlinear Optimization
机译:
nlcertify:正式非线性优化的工具
作者:
Victor Magron
会议名称:
《ICMS 2010》
|
2014年
关键词:
Formal Nonlinear Optimization;
Hybrid Symbolic-Numeric Certification;
Proof Assistant;
Sparse SOS;
Maxplus Approximation;
37.
Establishment of KETpic Programming Styles for Drawing
机译:
建立绘画的Ketpic编程风格
作者:
Satoshi Yamashita
;
Yoshifumi Maeda
;
Hisashi Usui
;
Kiyoshi Kitahara
;
Hideyo Makishita
;
Kazushi Ahara
会议名称:
《ICMS 2010》
|
2014年
关键词:
Establishment;
Programming;
Styles;
38.
Generating Optimized Sparse Matrix Vector Product over Finite Fields
机译:
在有限字段中生成优化的稀疏矩阵矢量产品
作者:
Pascal Giorgi
;
Bastien Vialla
会议名称:
《ICMS 2010》
|
2014年
关键词:
sparse linear algebra;
finite fields;
SpMV;
39.
QE Software Based on Comprehensive Gr?bner Systems
机译:
基于全面的GR的QE软件?BNER系统
作者:
Ryoya Fukasaku
会议名称:
《ICMS 2010》
|
2014年
关键词:
Quantifier Elimination;
Comprehensive Gr?bner System;
40.
OpenGeo: An Open Geometric Knowledge Base
机译:
Opengeo:开放的几何知识库
作者:
Dongming Wang
;
Xiaoyu Chen
;
Wenya An
;
Lei Jiang
;
Dan Song
会议名称:
《ICMS 2010》
|
2014年
关键词:
Data management;
geometry software;
knowledge object;
open database;
41.
An Implementation Method of Boolean Gr?bner Bases and Comprehensive Boolean Gr?bner Bases on General Computer Algebra Systems
机译:
BOOLEAN GR的实施方法?BNER基础和全面的布尔GR?BNER基于一般计算机代数系统
作者:
Akira Nagai
;
Shutaro Inoue
会议名称:
《ICMS 2010》
|
2014年
关键词:
Boolean Gr?bner Bases;
Boolean rings;
42.
New Approaches in Black Box Group Theory
机译:
黑匣子组理论的新方法
作者:
Alexandre Borovik
;
?ükrü Yal??nkaya
会议名称:
《ICMS 2010》
|
2014年
关键词:
Black box groups;
projective geometry;
classical groups;
unipotent elements;
43.
Groebner Basis in Geodesy and Geoinformatics
机译:
Geodebner在Geodey和地理信息学中的基础
作者:
Joseph Awange
;
Béla Paláncz
;
Robert Lewis
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner basis;
nonlinear polynomial systems;
transformation problems;
GNSS;
Geodesy;
Geoinformatics;
44.
What Is New in CoCoA?
机译:
什么是可可新的?
作者:
John Abbott
;
Anna Maria Bigatti
会议名称:
《ICMS 2010》
|
2014年
关键词:
What;
CoCoA;
Computer;
45.
Soft Math Math Soft
机译:
软数学柔软
作者:
Bruno Buchberger
会议名称:
《ICMS 2010》
|
2014年
关键词:
Soft;
Math;
talk;
46.
Computation of Genus 0 Belyi Functions
机译:
计算属的0 Belyi功能
作者:
Mark van Hoeij
;
Raimundas Vidunas
会议名称:
《ICMS 2010》
|
2014年
关键词:
Belyi functions;
Heun functions;
pull-back transformations;
47.
Software Packages for Holonomic Gradient Method
机译:
实体梯度法的软件包
作者:
Tamio Koyama
;
Hiromasa Nakayama
;
Katsuyoshi Ohara
;
Tomonari Sei
;
Nobuki Takayama
会议名称:
《ICMS 2010》
|
2014年
关键词:
holonomic gradient method;
normalizing constant;
region probability;
Bingham prior;
R project;
48.
CGAL – Reliable Geometric Computing for Academia and Industry
机译:
CGAL - 学术界和工业的可靠几何计算
作者:
Eric Berberich
会议名称:
《ICMS 2010》
|
2014年
关键词:
Cgal;
library;
computational geometry;
arrangements;
curves;
triangulations;
high-dimensional geometry;
49.
On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category
机译:
关于自由产生的小类别的第一个BAUES-WIRSCHING协调的计算
作者:
Yasuhiro Momose
;
Yasuhide Numata
会议名称:
《ICMS 2010》
|
2014年
关键词:
Finite quivers;
path algebras;
category algebras;
inner derivations;
Gaussian elimination;
50.
Integration of Libnormaliz in CoCoALib and CoCoA 5
机译:
Libnormaliz在Cocoalib和Cocoa 5的整合
作者:
John Abbott
;
Anna Maria Bigatti
;
Christof S?ger
会议名称:
《ICMS 2010》
|
2014年
关键词:
Integration;
Libnormaliz;
library;
51.
On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities
机译:
在计算含有无限许多奇点的真实表面的细胞分解
作者:
Daniel J. Bates
;
Daniel A. Brake
;
Jonathan D. Hauenstein
;
Andrew J. Sommese
;
CharlesW. Wampler
会议名称:
《ICMS 2010》
|
2014年
关键词:
Real decomposition;
real algebraic set;
numerical algebraic geometry;
isosingular deflation;
homotopy continuation;
52.
From Calculus to Algorithms without Errors
机译:
从微积分到算法而没有错误
作者:
Norbert Müller
;
Martin Ziegler
会议名称:
《ICMS 2010》
|
2014年
关键词:
Recursive Analysis;
Rigorous Numerics;
53.
A Tablet-Compatible Web-Interface for Mathematical Collaboration
机译:
用于数学协作的平板电脑兼容的网页界面
作者:
Marco Pollanen
;
Jeff Hooper
;
Bruce Cater
;
Sohee Kang
会议名称:
《ICMS 2010》
|
2014年
关键词:
Mathematical Collaboration;
Mathematical User Interfaces;
Formula Input;
54.
CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
机译:
CAPD :: Redhom V2 - 基于缩减算法的同源软件
作者:
Mateusz Juda
;
Marian Mrozek
会议名称:
《ICMS 2010》
|
2014年
关键词:
Homology software;
homology algorithms;
Betti numbers;
homology groups;
homology generators;
homology maps;
persistent homology;
cubical sets;
simplicial complexes;
CW complexes;
55.
PHAT – Persistent Homology Algorithms Toolbox
机译:
PHAT - 持久性同源算法工具箱
作者:
Ulrich Bauer
;
Michael Kerber
;
Jan Reininghaus
;
Hubert Wagner
会议名称:
《ICMS 2010》
|
2014年
关键词:
Homology;
Algorithms;
Toolbox;
56.
Creating Interactive Graphics for Mathematics Education Utilizing KETpic
机译:
利用Ketpic创建数学教育的交互式图形
作者:
Shunji Ouchi
;
Yoshifumi Maeda
;
Kiyoshi Kitahara
;
Naoki Hamaguchi
会议名称:
《ICMS 2010》
|
2014年
关键词:
computer algebra systems;
Scilab;
interactive graphics;
mathematics education;
hyperlink;
TEX;
KETpic;
57.
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses
机译:
用计算机代数系统在数学教育和教师培训课程中练习
作者:
Hideyo Makishita
会议名称:
《ICMS 2010》
|
2014年
关键词:
Application of Mathematics;
Scilab;
KETpic;
WASAN;
58.
GNU TEXMACS towards a Scientific Office Suite
机译:
GNU Texmacs走向科学的办公室套房
作者:
Massimiliano Gubinelli
;
Joris van der Hoeven
;
Fran?ois Poulain
;
Denis Raux
会议名称:
《ICMS 2010》
|
2014年
关键词:
Office;
Suite;
text;
59.
Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods
机译:
HOM4PS-3:基于多面体同型延续方法的多项式方程系统的平行数值求解器
作者:
Tianran Chen
;
Tsung-Lin Lee
;
Tien-Yien Li
会议名称:
《ICMS 2010》
|
2014年
关键词:
polynomial systems;
homotopy continuation;
polyhedral homotopy;
binomial system;
60.
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
机译:
使用常规链库通过投影和提升构建圆柱代数分解
作者:
Matthew England
;
David Wilson
;
Russell Bradford
;
James H. Davenport
会议名称:
《ICMS 2010》
|
2014年
关键词:
Regular;
Library;
Build;
61.
Groebner Bases in Theorema*
机译:
Groebner基地在定理*
作者:
Bruno Buchberger
;
Alexander Maletzky
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner basis;
Buchberger algorithm;
mathematical theory exploration;
Theorema;
62.
Software for Discussing Parametric Polynomial Systems: The Gr?bner Cover
机译:
用于讨论参数多项式系统的软件:GR?BNER封面
作者:
Antonio Montes
;
Michael Wibmer
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner cover;
parametric polynomial;
canonical algorithm;
automatic theorem discovering;
63.
IFSGen4LATEX: Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in LATEX
机译:
ifsgen4latex:用于乳胶中迭代功能系统的生成和可视化的交互式图形用户界面
作者:
Akemi Gálvez
;
Kiyoshi Kitahara
;
Masataka Kaneko
会议名称:
《ICMS 2010》
|
2014年
关键词:
Mathematical editing;
fractal images;
iterated function systems;
graphical user interface;
LATEX;
64.
Bertini real: Software for Oneand Two-Dimensional Real Algebraic Sets
机译:
Bertini Real:用于一个和二维真正代数集的软件
作者:
Daniel A. Brake
;
Daniel J. Bates
;
Wenrui Hao
;
Jonathan D. Hauenstein
;
Andrew J. Sommese
;
CharlesW. Wampler
会议名称:
《ICMS 2010》
|
2014年
关键词:
Numerical algebraic geometry;
cell decomposition;
algebraic surface;
algebraic curve;
homotopy continuation;
deflation;
65.
Dense Arithmetic over Finite Fields with the CUMODP Library
机译:
用COMODP库的有限字段密集算术
作者:
Sardar Anisul Haque
;
Xin Li
;
Farnam Mansouri
;
Marc Moreno Maza
;
Wei Pan
;
Ning Xie
会议名称:
《ICMS 2010》
|
2014年
关键词:
Polynomial arithmetic;
parallel processing;
many-core GPUs;
66.
Generic and Parallel Groebner Bases in JAS (Extended Abstract)
机译:
JAS中的通用和平行Groebner基础(扩展摘要)
作者:
Heinz Kredel
会议名称:
《ICMS 2010》
|
2014年
关键词:
generic multivariate polynomials;
generic Groebner bases;
algorithm composition;
parallel computation;
67.
A GAP Package for Computing with Real Semisimple Lie Algebras
机译:
用真正的半单层代数计算的间隙包装
作者:
Heiko Dietrich
;
Paolo Faccin
;
Willem A. de Graaf
会议名称:
《ICMS 2010》
|
2014年
关键词:
GAP;
real semisimple Lie algebras;
68.
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex
机译:
公牛! - 基于Voronoi图,准三角测量和β-复合物的分子几何发动机
作者:
Deok-Soo Kim
;
Youngsong Cho
;
Jae-Kwan Kim
;
Joonghyun Ryu
;
Mokwon Lee
;
Jehyun Cha
;
Chanyoung Song
会议名称:
《ICMS 2010》
|
2014年
关键词:
application program interface;
engine;
molecular structure;
computational geometry;
geometric modeling;
C++;
69.
The Gudhi Library: Simplicial Complexes and Persistent Homology
机译:
Gudhi图书馆:单纯复合体和持续同源性
作者:
Clément Maria
;
Jean-Daniel Boissonnat
;
Marc Glisse
;
Mariette Yvinec
会议名称:
《ICMS 2010》
|
2014年
关键词:
persistent homology;
simplicial complex;
software library;
computational topology;
generic programming;
70.
Robustly and Efficiently Computing Algebraic Curves and Surfaces
机译:
强大而有效地计算代数曲线和表面
作者:
Eric Berberich
会议名称:
《ICMS 2010》
|
2014年
关键词:
algebraic curves;
algebraic surfaces;
geometric computing;
symbolic operations;
arrangements;
71.
Doing Algebraic Geometry with the RegularChains Library
机译:
与正则线图书馆进行代数几何
作者:
Parisa Alvandi
;
Changbo Chen
;
Steffen Marcus
;
Marc Moreno Maza
;
éric Schost
;
Paul Vrbik
会议名称:
《ICMS 2010》
|
2014年
关键词:
Algebraic geometry;
regular chains;
local analysis;
72.
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema*
机译:
定理中双变型Buchberger算法的复杂性分析*
作者:
Alexander Maletzky
;
Bruno Buchberger
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner basis;
Buchberger algorithm;
mathematical theory exploration;
complexity analysis;
Theorema;
73.
A Package for Parametric Matrix Computations
机译:
用于参数矩阵计算的包
作者:
Robert M. Corless
;
Steven E. Thornton
会议名称:
《ICMS 2010》
|
2014年
关键词:
Package;
Matrix;
Computations;
74.
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
机译:
通过增量三角分分解选择真实表不变圆柱代数分解的变量排序
作者:
Matthew England
;
Russell Bradford
;
James H. Davenport
;
David Wilson
会议名称:
《ICMS 2010》
|
2014年
关键词:
Variable;
Invariant;
Decomposition;
75.
Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques
机译:
通过生物启发优化技术表示和可视化自由形式曲线的计算机软件程序
作者:
Andrés Iglesias
;
Akemi Gálvez
会议名称:
《ICMS 2010》
|
2014年
关键词:
computer software;
mathematical representation;
scientific visualization;
free-form curves;
bio-inspired optimization;
76.
Software Using the Gr?bner Cover for Geometrical Loci Computation and Classification
机译:
使用GR的软件?BNER封面用于几何基因座计算和分类
作者:
Miguel A. Abánades
;
Francisco Botana
;
Antonio Montes
;
Tomás Recio
会议名称:
《ICMS 2010》
|
2014年
关键词:
Locus;
Taxonomy;
Dynamical Geometry;
Groebner Cover;
77.
Effective Computation of Radical of Ideals and Its Application to Invariant Theory*
机译:
有效计算理想的激进及其应用于不变理论*
作者:
Amir Hashemi
会议名称:
《ICMS 2010》
|
2014年
关键词:
Polynomial rings;
Regular sequences;
Radical of ideals;
Noether position;
Deterministic algorithms;
78.
javaPlex: A Research Software Package for Persistent (Co)Homology
机译:
javaplex:持久性(CO)同源性的研究软件包
作者:
Henry Adams
;
Andrew Tausz
;
Mikael Vejdemo-Johansson
会议名称:
《ICMS 2010》
|
2014年
关键词:
persistent homology;
topological data analysis;
computational topology;
79.
Real Quantifier Elimination in the RegularChains Library
机译:
正则批量淘汰标准度库
作者:
Changbo Chen
;
Marc Moreno Maza
会议名称:
《ICMS 2010》
|
2014年
关键词:
Quantifier elimination;
cylindrical algebraic decomposition;
triangular decomposition;
RegularChains;
80.
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems
机译:
GROEBNER基础方法在非线性力学问题中的应用
作者:
Y. Jane Liu
;
John Peddieson
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner basis;
Computational algebraic geometry;
Cable statics;
Plate vibrations;
Steady state vibrations;
Free vibrations;
81.
Math Web Search Interfaces and the Generation Gap of Mathematicians
机译:
数学网络搜索接口和数学家的生成差距
作者:
Andrea Kohlhase
会议名称:
《ICMS 2010》
|
2014年
关键词:
math search interfaces;
repertory grid analysis;
generation gap;
82.
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
机译:
通过RealComprehensiveRiangulation求解参数多项式系统
作者:
Changbo Chen
;
Marc Moreno Maza
会议名称:
《ICMS 2010》
|
2014年
关键词:
Parametric polynomial system;
real comprehensive triangular decomposition;
RegularChains;
83.
Computing Moore-Penrose Inverses of Ore Polynomial Matrices
机译:
计算矿石多项式矩阵的Moore-PenRose逆
作者:
Yang Zhang
会议名称:
《ICMS 2010》
|
2014年
关键词:
Moore-Penrose inverse;
Ore polynomialmatrices;
Quaternion;
84.
Function Interval Arithmetic*
机译:
功能间隔算术*
作者:
Jan Duracz
;
Amin Farjudian
;
Michal Kone?ny
;
Walid Taha
会议名称:
《ICMS 2010》
|
2014年
关键词:
Validated Numeric Computation;
ODEs;
Theorem Proving;
85.
Hierarchical Comprehensive Triangular Decomposition*
机译:
分层综合三角分解*
作者:
Zhenghong Chen
;
Xiaoxian Tang
;
Bican Xia
会议名称:
《ICMS 2010》
|
2014年
关键词:
Comprehensive triangular decomposition;
regular chain;
hierarchical;
generic regular decomposition;
parametric polynomial system;
86.
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
机译:
SGPDEC:Cascade(DE)有限变换半群和排列组的组成
作者:
Attila Egri-Nagy
;
James D. Mitchell
;
Chrystopher L. Nehaniv
会议名称:
《ICMS 2010》
|
2014年
关键词:
transformation semigroup;
permutation group;
wreath product;
Krohn-Rhodes Theory;
87.
Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP
机译:
细菌基因组学与计算集团理论:差距的生物图包装
作者:
Attila Egri-Nagy
;
Andrew R. Francis
;
Volker Gebhardt
会议名称:
《ICMS 2010》
|
2014年
关键词:
computational group theory;
bacterial genomics;
88.
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods
机译:
通过符号方法计算Rational曲线对Rational参数化表面的正交投影
作者:
Zhiwang Gan
;
Meng Zhou
会议名称:
《ICMS 2010》
|
2014年
关键词:
Orthogonal projection;
Point projection;
Curve projection;
Rational curve;
Rational surface;
89.
Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method
机译:
使用新的交互式数学输入法向掌握基础数学惯例的基于Web的钻探系统的开发和评估
作者:
Shizuka Shirai
;
Tetsuo Fukui
会议名称:
《ICMS 2010》
|
2014年
关键词:
math e-assessment systems;
mathematics interfaces;
90.
Implementing the L∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis
机译:
在CGAL中实施L∞段Voronoi图并在VLSI模式分析中应用
作者:
Panagiotis Cheilaris
;
Sandeep Kumar Dey
;
Maria Gabrani
;
Evanthia Papadopoulou
会议名称:
《ICMS 2010》
|
2014年
关键词:
Implementing;
Segment;
Diagram;
91.
Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis
机译:
通过Groebner基础最大化参数估计的似然函数
作者:
Joseph Awange
;
Béla Paláncz
;
Robert Lewis
会议名称:
《ICMS 2010》
|
2014年
关键词:
Groebner basis;
Maximum Likelihood;
Point cloud;
Laser scanning;
Robust estimation;
92.
Mathematical Software for Modified Bessel Functions*
机译:
修改贝塞尔函数的数学软件*
作者:
Juri Rappoport
会议名称:
《ICMS 2010》
|
2014年
关键词:
mathematical software;
modified Bessel functions;
Lanczos tau method;
Chebyshev polynomials;
Kontorovich-Lebedev integral transforms;
93.
The Basic Polynomial Algebra Subprograms
机译:
基本多项式代数子程序
作者:
Changbo Chen
;
Svyatoslav Covanov
;
Farnam Mansouri
;
Marc Moreno Maza
;
Ning Xie
;
Yuzhen Xie
会议名称:
《ICMS 2010》
|
2014年
关键词:
Polynomial arithmetic;
parallel processing;
multi-core processors;
Fast Fourier Transforms (FFTs);
94.
Computing Persistence Modules on Commutative Ladders of Finite Type
机译:
有限类型的换向梯子上计算持久模块
作者:
Emerson G. Escolar
;
Yasuaki Hiraoka
会议名称:
《ICMS 2010》
|
2014年
关键词:
Homology groups;
Representation theory of quivers;
Discrete Morse theory;
95.
Computer Aided Geometry
机译:
计算机辅助几何
作者:
Douglas Navarro Guevara
;
Adrian Navarro Alvarez
会议名称:
《ICMS 2010》
|
2014年
关键词:
dynamic geometry;
computer algebra;
function’s representation;
primitive transcendental functions;
symbolic computation;
96.
Heuristics for Sphere Recognition
机译:
球形识别的启发式
作者:
Michael Joswig
;
Frank H. Lutz
;
Mimi Tsuruga
会议名称:
《ICMS 2010》
|
2014年
关键词:
sphere recognition;
combinatorial manifolds;
discrete Morse theory;
presentations of fundamental groups;
bistellar flips;
97.
Integrating Circumradius and Area Formulae for Cyclic Pentagons*
机译:
整合循环和区域配方循环五角星*
作者:
Shuichi Moritsugu
会议名称:
《ICMS 2010》
|
2014年
关键词:
cyclic polygons;
circumradius formula;
area formula;
98.
Experimental Computation and Visual Theorems
机译:
实验计算和视觉定理
作者:
Jonathan M. Borwein
会议名称:
《ICMS 2010》
|
2014年
关键词:
visual theorems;
experimental mathematics;
randomness;
normality of numbers;
short walks;
planar walks;
fractals;
protein confirmation;
99.
An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters
机译:
一种用参数使用局部共同课程计算μ恒定变形的Tjurina分层的算法
作者:
Katsusuke Nabeshima
;
Shinichi Tajima
会议名称:
《ICMS 2010》
|
2014年
关键词:
μ-constant deformations;
local cohomology;
singularities;
100.
Isotopic ε-Approximation of Algebraic Curves (Extended Abstract)
机译:
代数曲线的同位素ε-近似(扩展摘要)
作者:
Kai Jin
会议名称:
《ICMS 2010》
|
2014年
关键词:
Bivariate polynomial system;
real roots isolation;
plane (space) algebraic curves;
topology;
isotopic approximation;
意见反馈
回到顶部
回到首页