掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
科研证明
科技查新
收录引用
期刊封面目录
文献服务
文献查询
专题文献代查
自科基金查询
文献下载
个人文献会员
文献数据库
(团队版)
文献阅读
期刊订阅
文档翻译
文字翻译
图片翻译
格式转换
文献写作
AI选题
AI大纲
AI创作
文献发表
论文查重
选刊投稿
全部产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Congress on Mathematical Software
International Congress on Mathematical Software
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
111
条结果
1.
Preface
机译:
前言
作者:
Anna Maria Bigatti
;
Jacques Carette
;
James H. Davenport
;
Michael Joswig
;
Timo de Wolff
会议名称:
《International Congress on Mathematical Software》
|
2020年
2.
Solving Real-Algebraic Formulas with SMT-RAT
机译:
用SMT-RAT解实数代数公式
作者:
Erika Abraham
会议名称:
《International Congress on Mathematical Software》
|
2020年
3.
Julia-The Power of Language
机译:
朱莉娅-语言的力量
作者:
Alan Edelman
会议名称:
《International Congress on Mathematical Software》
|
2020年
4.
NTL: A Library for Doing Number Theory
机译:
NTL:做数字理论的图书馆
作者:
Victor Shoup
会议名称:
《International Congress on Mathematical Software》
|
2020年
5.
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Groebner Bases
机译:
使用Groebner基的机器人逆运动学计算的设计与实现
作者:
Noriyuki Horigome
;
Akira Terui
;
Masahiko Mikawa
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Groebner bases;
Robotics;
Inverse kinemetics;
6.
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
机译:
CAD窗帘:为什么会出问题,我们该如何解决?
作者:
Akshar Nair
;
James Davenport
;
Gregory Sankaran
会议名称:
《International Congress on Mathematical Software》
|
2020年
7.
Chordality Preserving Incremental Triangular Decomposition and Its Implementation
机译:
保弦的增量三角分解及其实现
作者:
Changbo Chen
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Triangular decomposition;
Chordal graph;
Incremental algorithm;
Regular chain;
8.
Q(-3~(1/2))-Integral Points on a Mordell Curve
机译:
Q(-3〜(1/2))-Mordell曲线上的积分点
作者:
Francesca Bianchi
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Elliptic curves;
Quadratic Chabauty;
Integral points;
9.
A Numerical Approach for Computing Euler Characteristics of Affine Varieties
机译:
计算仿射品种欧拉特征的数值方法
作者:
Xiaxin Li
;
Jose Israel Rodriguez
;
Botong Wang
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Euler characteristic;
Numerical algebraic geometry Homotopy continuation;
10.
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set
机译:
使用伪见证集评估和微分多项式
作者:
Jonathan D. Hauenstein
;
Margaret H. Regan
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Numerical algebraic geometry;
Pseudo-witness set Implicit polynomial;
Directional derivatives;
Critical points;
11.
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals
机译:
Pfaffian系统的算法和超几何积分的同调相交数
作者:
Saiei-Jaeyeong Matsubara-Heo
;
Nobuki Takayama
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Cohomology intersection numbers;
GKZ hypergeometric systems;
Groebner basis;
12.
Computations with Algebraic Surfaces
机译:
代数曲面的计算
作者:
Andreas-Stephan Elsenhans
;
Joerg Jahnel
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Algebraic surfaces;
Computer algebra;
Point counting;
13.
Evaluating Fractional Derivatives of the Riemann Zeta Function
机译:
评估黎曼Zeta函数的分数导数
作者:
Ricky E. Farr
;
Sebastian Pauli
;
Filip Saidak
会议名称:
《International Congress on Mathematical Software》
|
2020年
14.
Towards Efficient Normalizers of Primitive Groups
机译:
寻求原始群的有效归一化
作者:
Sergio Siccha
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Normalizers;
Primitive groups;
Permutation group algorithms;
15.
Homomorphic Encryption and Some Black Box Attacks
机译:
同态加密和一些黑盒攻击
作者:
Alexandre Borovik
;
Suekrue Yalcinkaya
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Homomorphic encryption;
Black box groups Probabilistic methods;
16.
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups
机译:
联想Z代数的幂商和Baumslag-Solitar群的增商
作者:
Tobias Moede
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Associative algebras;
Augmentation quotients;
Computer algebra;
Group theory;
Nilpotent quotient algorithm;
17.
The GAP Package LiePRing
机译:
GAP套件LiePRing
作者:
Bettina Eick
;
Michael Vaughan-Lee
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Lie ring;
Automorphism group;
Finite p-group;
18.
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry
机译:
用对称性对凸多面体的单纯解剖进行分类
作者:
Anton Betten
;
Tarun Mukthineni
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Dissection;
Triangulation;
Polyhedra;
Geometry Classification;
Computational group theory;
19.
Classification Results for Hyperovals of Generalized Quadrangles
机译:
广义四边形的超卵形的分类结果
作者:
Bart De Bruyn
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Generalized quadrangle;
Hyperoval;
Pseudo-embedding;
Even set;
Ideal;
20.
Isomorphism and Invariants of Parallelisms of Projective Spaces
机译:
射影空间平行性的同构和不变量
作者:
Svetlana Topalova
;
Stela Zhelezova
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Resolutions of combinatorial designs;
Parallelisms of projective spaces;
Classification;
Isomorphism;
Invariants;
21.
Classification of Linear Codes by Extending Their Residuals
机译:
通过扩展残差对线性代码进行分类
作者:
Stefka Bouyuklieva
;
Iliya Bouyukliev
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Linear code;
Classification;
Residual code;
22.
The Program GENERATION in the Software Package QEXTNEWEDITION
机译:
软件包QEXTNEWEDITION中的程序生成
作者:
Iliya Bouyukliev
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Linear code;
Classification;
Software;
23.
Algebraic Polytopes in Normaliz
机译:
Normaliz中的代数多面体
作者:
Winfried Brums
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Polyhedron;
Real algebraic number field;
Computation;
24.
Real Tropical Hyperfaces by Patchworking in polymake
机译:
Polymake中Patchworking制作的真正热带Hyperfaces
作者:
Michael Joswig
;
Paul Vater
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Hilbert's 16th problem;
Real algebraic hypersurfaces;
Viro's patchworking;
Tropical hypersurfaces;
25.
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies
机译:
通过新的冷却凸面退火时间表对实际区域的同位素进行体积估计
作者:
Apostolos Chalkis
;
Ioannis Z. Emiris
;
Vissarion Fisikopoulos
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Volume approximation;
Zonotope;
Simulated annealing Billiard Walk;
Mathematical software;
26.
Slack Ideals in Macaulay2
机译:
Macaulay2中的休闲理想
作者:
Antonio Macchia
;
Amy Wiebe
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Polytopes;
Slack matrices;
Slack ideals;
Matroids;
27.
Hyperplane Arrangements in polymake
机译:
Polymake中的超平面布置
作者:
Lars Kastner
;
Marta Panizzut
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Hyperplane arrangements;
Cell decomposition;
28.
A Convex Programming Approach to Solve Posynomial Systems
机译:
求解多项式系统的凸规划方法
作者:
Marianne Akian
;
Xavier Allamigeon
;
Marin Boyet
;
Stephane Gaubert
会议名称:
《International Congress on Mathematical Software》
|
2020年
29.
Equality Checking for General Type Theories in Andromeda 2
机译:
一般类型理论的相等性检验在《仙女座2》中
作者:
Andrej Bauer
;
Philipp G. Haselwarter
;
Anja Petkovic
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Algorithmic equality checking;
Dependent type theory;
Proof assistant;
30.
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry
机译:
GeoLogic-欧几里得几何图形交互式定理证明
作者:
Miroslav Olsak
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Euclidean geometry;
Logical system;
31.
A Formalization of Properties of Continuous Functions on Closed Intervals
机译:
闭合区间上连续函数性质的形式化
作者:
Yaoshun Fu
;
Wensheng Yu
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Coq;
Formalization;
Limits;
Continuous functions Closed intervals;
32.
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
机译:
人工神经网络的圆柱代数分解的变量排序选择
作者:
Changbo Chen
;
Zhangpeng Zhu
;
Haoyu Chi
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Cylindrical algebraic decomposition;
Variable ordering;
Machine learning;
Neural network;
33.
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
机译:
将机器学习应用于启发式算法以求解实多项式约束
作者:
Christopher W. Brown
;
Glenn Christopher Daves
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Non-linear polynomial constraints;
Machine learning;
34.
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
机译:
基于机器学习的软件管道为多项式输入算法选择变量排序
作者:
Dorian Florescu
;
Matthew England
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Machine learning;
Scikit-learn;
Mathematical software;
Cylindrical algebraic decomposition;
Variable ordering;
35.
FunGrim: A Symbolic Library for Special Functions
机译:
FunGrim:特殊功能的符号库
作者:
Fredrik Johansson
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Special functions;
Symbolic computation;
Mathematical databases;
Semantic mathematical markup;
36.
Operational Research Literature as a Use Case for the Open Research Knowledge Graph
机译:
运营研究文献作为开放研究知识图的用例
作者:
Mila Runnwerth
;
Markus Stocker
;
Soeren Auer
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Knowledge graph;
Mathematical knowledge management;
Operational research literature;
Operations research literature;
37.
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
机译:
使演示数学成为可计算的:提出一种上下文敏感的方法将LaTeX转换为计算机代数系统
作者:
Andre Greiner-Petter
;
Moritz Schubotz
;
Akiko Aizawa
;
Bela Gipp
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Presentation to computation;
Translation;
Computer algebra systems;
Mathematical information retrieval;
38.
Employing C++ Templates in the Design of a Computer Algebra Library
机译:
在计算机代数库的设计中使用C ++模板
作者:
Alexander Brandt
;
Robert H.C. Moir
;
Marc Moreno Maza
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Algebraic hierarchy;
C++ templates;
Type safety;
39.
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project
机译:
多语言维基百科项目中包含的数学世界知识
作者:
Dennis Tobias Halbach
会议名称:
《International Congress on Mathematical Software》
|
2020年
40.
Archiving and Referencing Source Code with Software Heritage
机译:
存档和引用具有软件遗产的源代码
作者:
Roberto Di Cosmo
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Software source code;
Archival;
Reference;
Reproducibility;
41.
Polymake.jl: A New Interface to polymake
机译:
Polymake.jl:polymake的新接口
作者:
Marek Kaluba
;
Benjamin Lorenz
;
Sascha Timme
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Polymake;
Julia;
42.
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza
机译:
萨拉戈萨大学的基于网络的教学笔记本
作者:
Miguel Angel Marco Buzunariz
会议名称:
《International Congress on Mathematical Software》
|
2020年
43.
Phase Portraits of Bi-dimensional Zeta Values
机译:
二维Zeta值的相像
作者:
Olivier Bouillot
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Phase portrait;
Lindelof formula;
double Zeta Values;
44.
Prototyping Controlled Mathematical Languages in Jupyter Notebooks
机译:
Jupyter笔记本中受控数学语言的原型制作
作者:
Jan Frederik Schaefer
;
Kai Amann
;
Michael Kohlhase
会议名称:
《International Congress on Mathematical Software》
|
2020年
45.
Method to Create Multiple Choice Exercises for Computer Algebra System
机译:
计算机代数系统中多项选择题的创建方法
作者:
Tatsuyoshi Hamada
;
Yoshiyuki Nakagawa
;
Makoto Tamura
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
CAS;
Multiple choice exercises;
Calculus;
46.
A Flow-Based Programming Environment for Geometrical Construction
机译:
基于流的几何构造编程环境
作者:
Kento Nakamura
;
Kazushi Ahara
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Flow-based programming;
Interactive geometry software;
Kaleidoscope patterns;
47.
MORLAB - A Model Order Reduction Framework in MATLAB and Octave
机译:
MORLAB-MATLAB和Octave中的模型降阶框架
作者:
Peter Benner
;
Steffen W. R. Werner
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Model order reduction;
Dynamical systems;
MATLAB;
Octave;
48.
FlexRiLoG-A SageMath Package for Motions of Graphs
机译:
用于图形运动的FlexRiLoG-A SageMath软件包
作者:
Georg Grasegger
;
Jan Legersky
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Motion;
Flexible labeling;
Flexible graph;
NAC-coloring;
49.
Markov Transition Matrix Analysis of Mathematical Expression Input Models
机译:
数学表达式输入模型的马尔可夫转移矩阵分析
作者:
Francis Quinby
;
Seyeon Kim
;
Sohee Kang
;
Marco Pollanen
;
Michael G. Reynolds
;
Wesley S. Burr
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Mathematical notation;
Eye-tracking;
Mathematical software interfaces;
Transitions;
50.
Certifying Irreducibility in Zx
机译:
证明Z x的不可约性
作者:
John Abbott
会议名称:
《International Congress on Mathematical Software》
|
2020年
关键词:
Certificate;
Irreducibility;
51.
A Content Dictionary for In-Object Comments
机译:
对象内注释的内容字典
作者:
Lars Hellstroem
会议名称:
《International Congress on Mathematical Software》
|
2020年
52.
Implementing the Tangent Graeffe Root Finding Method
机译:
实施切线Graeffe根查找方法
作者:
Joris van der Hoeven
;
Michael Monagan
会议名称:
《International Congress on Mathematical Software》
|
2020年
53.
Introducing HOL Zero
机译:
介绍HOL ZERO
作者:
Mark Adams
会议名称:
《International Congress on Mathematical Software》
|
2010年
54.
Reliable and Efficient Geometric Computing
机译:
可靠和高效的几何计算
作者:
Kurt Mehlhorn
会议名称:
《International Congress on Mathematical Software》
|
2010年
55.
Validated Special Functions Software
机译:
经过验证的特殊功能软件
作者:
Annie Cuyt
;
Pranky Backeljauw
;
Stefan Becuwe
;
Joris Van Deun
会议名称:
《International Congress on Mathematical Software》
|
2010年
56.
A Formal Proof of Pick's Theorem (Extended Abstract)
机译:
选择定理的正式证明(扩展摘要)
作者:
John Harrison
会议名称:
《International Congress on Mathematical Software》
|
2010年
57.
Linear Programs for the Kepler Conjecture
机译:
开普勒猜想的线性程序
作者:
Thomas C. Hales
会议名称:
《International Congress on Mathematical Software》
|
2010年
58.
Magma - A Tool for Number Theory
机译:
岩浆 - 数字理论的工具
作者:
John Cannon
;
Steve Donnelly
;
Claus Fieker
;
Mark Watkins
会议名称:
《International Congress on Mathematical Software》
|
2010年
59.
On Local Deformations of Planar Quad-Meshes
机译:
关于平面Quad-网格的局部变形
作者:
Tim Hoffmann
会议名称:
《International Congress on Mathematical Software》
|
2010年
60.
Computational Discrete Geometry
机译:
计算离散几何形状
作者:
Thomas C. Hales
会议名称:
《International Congress on Mathematical Software》
|
2010年
61.
Euler's Polyhedron Formula in mizar
机译:
Euler的多面体公式在Mizar
作者:
Jesse Alama
会议名称:
《International Congress on Mathematical Software》
|
2010年
62.
Operadic Grobner Bases: An Implementation
机译:
Operadic Grobner基地:实施
作者:
Vladimir Dotsenko
;
Mikael Vejdemo-Johansson
会议名称:
《International Congress on Mathematical Software》
|
2010年
63.
Accurate and Reliable Computing in Floating-Point Arithmetic
机译:
在浮点算术中准确可靠地计算
作者:
Siegfried M. Rump
会议名称:
《International Congress on Mathematical Software》
|
2010年
64.
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic
机译:
一种新的任意特征中的二项份品种的新消退算法
作者:
Rocio Blanco
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Resolution of singularities;
Binomial ideals;
65.
Simplicial Cohomology of Smooth Orbifolds in GAP
机译:
间隙中光滑牙龈的单纯同学
作者:
Mohamed Barakat
;
Simon Gortzen
会议名称:
《International Congress on Mathematical Software》
|
2010年
66.
Sollya: An Environment for the Development of Numerical Codes
机译:
SOLLYA:用于开发数值代码的环境
作者:
Sylvain Chevillard
;
Mioara Joldes
;
Christoph Lauter
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Numerical software;
Faithful rounding;
Computer algebra;
Development tool;
Function approximation;
67.
C++ Tools for Exploiting Polyhedral Symmetries
机译:
用于利用多面体对称的C ++工具
作者:
Thomas Rehn
;
Achill Schurmann
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Polyhedral combinatorics;
Symmetries;
Permutation group algorithms;
Representation conversion;
68.
isl: An Integer Set Library for the Polyhedral Model
机译:
ISL:多面体模型的整数集库
作者:
Sven Verdoolaege
会议名称:
《International Congress on Mathematical Software》
|
2010年
69.
A GAP Package for Computation with Coherent Configurations
机译:
使用相干配置计算的间隙包
作者:
Dmitrii V. Pasechnik
;
Keshav Kini
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
GAP;
Coherent configuration;
Association scheme;
Permutation group;
GRAPE;
Sage;
Semidefinite programming;
Centralizer ring;
70.
Complex Inclusion Functions in the CoStLy C++ Class Library
机译:
复杂的包含函数在昂贵的C ++类库中
作者:
Markus Neher
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Interval Arithmetic;
Complex Standard Functions;
71.
Reliable Computing with GNU MPFR
机译:
可靠计算GNU MPFR
作者:
Paul Zimmermann
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Reliable computing;
Correct rounding;
IEEE 754;
GNU MPFR;
72.
CoCoALib: A C++ Library for Computations in Commutative Algebra and Beyond
机译:
Cocoalib:用于换向代数及超越的计算的C ++库
作者:
John Abbott
;
Anna M. Bigatti
会议名称:
《International Congress on Mathematical Software》
|
2010年
73.
Enumerating Galois Representations in Sage
机译:
枚举伽罗尼亚州的伽罗兰表现
作者:
Craig Citro
;
Alexandra Ghitza
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Galois representations;
Sage;
Modular forms;
74.
FGb: A Library for Computing Grobner Bases
机译:
FGB:计算Grobner基地的图书馆
作者:
Jean-Charles Faugere
会议名称:
《International Congress on Mathematical Software》
|
2010年
75.
Towards High-Performance Computational Algebra with GAP
机译:
朝着具有差距的高性能计算代数
作者:
Reifner Behrends
;
Alexander Konovalov
;
Steve Linton
;
Prank Lubeck
;
Max Neunhoffer
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
GAP;
Shared memory programming;
Threads;
Data spaces;
76.
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases
机译:
通过Groebner基础计算有限(L-)呈现的多环素的多环素
作者:
Bettina Eick
;
Max Horn
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Polycyclic quotient;
Nilpotent quotient;
Finitely presented group;
L-presented group;
Groebner bases;
77.
Construction of Harmonic Surfaces with Prescribed Geometry
机译:
规定几何谐波曲面的构造
作者:
Matthias Weber
会议名称:
《International Congress on Mathematical Software》
|
2010年
78.
Fast Library for Number Theory: An Introduction
机译:
数字理论的快速图书馆:介绍
作者:
William B. Hart
会议名称:
《International Congress on Mathematical Software》
|
2010年
79.
Computer Algebra Methods in Tropical Geometry
机译:
在热带几何中的计算机代数方法
作者:
Thomas Markwig
会议名称:
《International Congress on Mathematical Software》
|
2010年
80.
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic
机译:
具有固定精度算法的认证几何计算的受控扰动
作者:
Dan Halperin
会议名称:
《International Congress on Mathematical Software》
|
2010年
81.
Exact Geometric and Algebraic Computations in CGAL
机译:
CGAL中的确切几何和代数计算
作者:
Menelaos I. Karavelas
会议名称:
《International Congress on Mathematical Software》
|
2010年
82.
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
机译:
在积分差分代数上为无限重写系统的自动汇合证明
作者:
Loredana Tec
;
Georg Regensburger
;
Markus Rosenkranz
;
Bruno Buchberger
会议名称:
《International Congress on Mathematical Software》
|
2010年
83.
Constructive Membership Testing in Black-Box Classical Groups
机译:
黑匣子古典群体中的建设性会员测试
作者:
Sophie Ambrose
;
Scott H. Murray
;
Cheryl E. Praeger
;
Csaba Schneider
会议名称:
《International Congress on Mathematical Software》
|
2010年
84.
Introduction to Normaliz 2.5
机译:
rancoriz 2.5简介
作者:
Winfried Brans
;
Bogdan Ichim
;
Christof Soger
会议名称:
《International Congress on Mathematical Software》
|
2010年
85.
Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
机译:
Mathemagix:迈向符号和认证数字计算的大规模编程
作者:
Gregoire Lecerf
会议名称:
《International Congress on Mathematical Software》
|
2010年
86.
On Solving Systems of Bivariate Polynomials
机译:
在求生物多项式的求解系统
作者:
Fabrice Rouillier
会议名称:
《International Congress on Mathematical Software》
|
2010年
87.
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
机译:
库中使用的标准化间隔算术和间隔算术
作者:
Nathalie Revol
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Interval arithmetic;
Standardization;
Interval-based libraries;
88.
Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems
机译:
在大型半纤维编程问题中利用结构化稀疏性
作者:
Masakazu Kojima
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Semidefinite Program;
Primal-Dual Interior-Point Method;
Sparsity;
Chordal Graph;
89.
LINBOX Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
机译:
Linbox创建范围分配,并行构建块和单独编译
作者:
Jean-Guillaume Dumas
;
Thierry Gautier
;
Clement Pernet
;
B. David Saunders
会议名称:
《International Congress on Mathematical Software》
|
2010年
90.
An Improvement of a Function Computing Normalizers for Permutation Groups
机译:
改进排列组的函数计算常规程序
作者:
Izumi Miyamoto
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Permutation group;
Normalizer;
Association scheme;
91.
The Dynamic Dictionary of Mathematical Functions (DDMF)
机译:
数学函数的动态词典(DDMF)
作者:
Alexandre Benoit
;
Frederic Chyzak
;
Alexis Darrasse
;
Stefan Gerhold
;
Marc Mezzarobba
;
Bruno Salvy
会议名称:
《International Congress on Mathematical Software》
|
2010年
92.
NZMATH 1.0
机译:
nzmath 1.0
作者:
Satoru Tanaka
;
Naoki Ogura
;
Ken Nakamula
;
Tetsushi Matsui
;
Shigenori Uchiyama
会议名称:
《International Congress on Mathematical Software》
|
2010年
93.
TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory
机译:
塔德:采用离散摩尔斯理论的数据分析计算框架
作者:
Jan Reininghaus
;
David Gunther
;
Ingrid Hotz
;
Steffen Prohaska
;
Hans-Christian Hege
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Discrete Morse theory;
Data analysis;
Scalar fields;
Vector fields;
94.
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
机译:
在MIZAR数学库中证明自动定理评估
作者:
Josef Urban
;
Krystof Hoder
;
Andrei Voronkov
会议名称:
《International Congress on Mathematical Software》
|
2010年
95.
Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
机译:
通过存储基于表达式DAG的浮动速度精确决策计算的浮动速度精确决策计算来推迟DAG施工
作者:
Marc Morig
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Expression dag;
Exact geometric computation;
Error-free transformations;
Algorithm engineering;
96.
The Reformulation-Optimization Software Engine
机译:
重新定期优化软件引擎
作者:
Leo Liberti
;
Sonia Cafieri
;
David Savourey
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Reformulation;
MINLR;
97.
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals
机译:
一种计算确定积分的非均匀微分方程算法
作者:
Hiromasa Nakayama
;
Kenta Nishiyama
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Integration algorithm;
Holonomic functions;
D-module;
Grobner basis;
98.
Communicating Functional Expressions from Mathematica to C-XSC
机译:
将Mathematica的功能表达传送到C-XSC
作者:
Evgenija D. Popova
;
Walter Kramer
会议名称:
《International Congress on Mathematical Software》
|
2010年
99.
Removing Redundant Quadratic Constraints
机译:
删除冗余二次约束
作者:
David Adjiashvili
;
Michel Baes
;
Philipp Rostalski
会议名称:
《International Congress on Mathematical Software》
|
2010年
关键词:
Semidefinite Optimization;
Semidefinite Relaxation;
Aircraft Design;
100.
MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems
机译:
MD-JEEP:用于距离几何问题的分支和修剪算法的实现
作者:
Antonio Mucherino
;
Leo Liberti
;
Carlile Lavor
会议名称:
《International Congress on Mathematical Software》
|
2010年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页