掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Computer Algebra in Scientific Computing
International Workshop on Computer Algebra in Scientific Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Factoring Sparse Bivariate Polynomials Using the Priority Queue
机译:
使用优先级队列对稀疏的双变量多项式进行分解
作者:
Fatima K. Abu Salem
;
Khalil El-Harake
;
Karl Gemayel
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Algorithms and Data Structures;
Performance evaluation;
Data Locality;
Bivariate Polynomial Factorisation;
Hensel Lifting;
Newton Polytope;
2.
Solving Parametric Sparse Linear Systems by Local Blocking
机译:
通过局部阻塞解决参数稀疏线性系统
作者:
Tateaki Sasaki
;
Daiju Inaba
;
Fujio Kako
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Parametric sparse linear system;
Application-oriented method;
Block triangularization;
Local blocks;
Strongly connected subgraph;
3.
On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses
机译:
关于变量肿块在限制三体问题中进化方程的可积
作者:
Alexander N. Prokopenya
;
Mukhtar Zh. Minglibayev
;
Baglan A. Beketauov
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
4.
Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential Equations
机译:
常微分方程复数溶液可动奇异性的数值研究方案
作者:
Radoslaw Antoni Kycia
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Movable singularities;
Ordinary differential equations;
Numerical integration;
5.
Finding a Deterministic Generic Position for an Algebraic Space Curve
机译:
寻找代数空间曲线的确定性通用位置
作者:
Jin-San Cheng
;
Kai Jin
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Algebraic space curve;
Generic position;
Weak generic position;
6.
A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields
机译:
关于Archimedean和非Archimedean字段的全球牛顿迭代的注释
作者:
Jonathan D. Hauenstein
;
Victor Y. Pan
;
Agnes Szanto
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
7.
Relation Algebra, RELVIEW, and Plurality Voting
机译:
关系代数,relview和多种投票
作者:
Rudolf Berghammer
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
8.
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations
机译:
CAS应用于构建突发件和Korteg-de Vries-Burgers方程的搭配和最小残留方法
作者:
Vasily P. Shapeev
;
Evgenii V. Vorozhtsov
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Computer algebra system;
Korteweg-de Vries-Burgers equation;
Derivation of the formulas of the analytic-numerical algorithm;
Interface between CAS and Fortran;
Computer code verification;
9.
Enumeration of Schur Rings Over Small Groups
机译:
小组梭戒指的枚举
作者:
Matan Ziv-Av
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
10.
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems
机译:
可计算无限功率系列的线性差分系统系数的作用
作者:
Sergei A. Abramov
;
Moulay A. Barkatou
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
11.
Towards Conflict-Driven Learning for Virtual Substitution
机译:
对虚拟替代的冲突学习
作者:
Konstantin Korovin
;
Marek Kosa
;
Thomas Sturm
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
12.
Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin Problem
机译:
在经典和泛化的goryachev-chaplygin问题中不变的歧管
作者:
Valentin Irtegov
;
Tatyana Titorenko
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
The Goryachev-Chaplygin problem;
Computer algebra;
Invariant manifolds;
Stability;
13.
Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems
机译:
通过计算机代数系统在耦合逻辑地图格子中的一致性和大规模模式
作者:
Maciej Janowicz
;
Arkadiusz Orlowski
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Coupled logistic-map lattices;
Bose-Einstein condensation;
Pattern formation;
Computer algebra systems;
14.
Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations
机译:
通过矩阵和多项式迭代的真实多项式根本
作者:
Victor Y. Pan
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Polynomials;
Real roots;
Matrices;
Matrix sign iteration;
Companion matrix;
Real eigenvalues;
Frobenius algebra;
Square root iteration;
Root squaring;
15.
Continuous Problems: Optimality, Complexity, Tractability
机译:
持续存在问题:最优,复杂性,途径
作者:
Leszek Plaskota
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
16.
Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation
机译:
平面四分分段 - 二次插值的轨迹估计锐度
作者:
Ryszard Kozera
;
Lyle Noakes
;
Piotr Szmielew
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
17.
Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values
机译:
计算由值给出的隐式和参数曲线排列的拓扑结构
作者:
Jorge Caravantes
;
Mario Fioravanti
;
Laureano Gonzalez-Vega
;
Ioana Necula
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
18.
Lie Symmetry Analysis for Cosserat Rods
机译:
洞穴棒的对称分析
作者:
Dominik L. Michels
;
Dmitry A. Lyakhov
;
Vladimir P. Gerdt
;
Gerrit A. Sobottka
;
Andreas G. Weber
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Cosserat Rods;
General Solution;
Janet Basis;
Kirchhoff Rods;
Lie Symmetry Method;
19.
Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials
机译:
利用具有插值Hermite多项式的有限元方法对自伴二阶微分方程的边值问题的象征性 - 数字解
作者:
Alexander A. Gusev
;
Ochbadrakh Chuluunbaatar
;
Sergue I. Vinitsky
;
Vladimir L. Derbov
;
Andrzej Gozdz
;
Luong Le Hai
;
Vitaly A. Rostovtsev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
20.
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures
机译:
关于靶向许多核心架构的子节奏树技术的并行化
作者:
Sardar Anisul Haque
;
Farnam Mansouri
;
Marc Moreno Maza
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
21.
Deterministically Computing Reduction Numbers of Polynomial Ideals
机译:
多项式理想的确定减少数量
作者:
Amir Hashemi
;
Michael Schweinfurter
;
Werner M. Seiler
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
22.
CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation
机译:
CAS应用于求解泊松方程的高级差分方案
作者:
Grigoriy M. Drozdov
;
Vasily P. Shapeev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
23.
On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions
机译:
用边界条件测试PDE分析解的唯一性
作者:
Sergey V. Paramonov
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
24.
On the Computation of the Determinant of a Generalized Vandermonde Matrix
机译:
关于广义Vandermonde矩阵的决定因素的计算
作者:
Takuya Kitamoto
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
25.
Applications of the Newton Index to the Construction of Irreducible Polynomials
机译:
牛顿指数对不可缩短的多项式构建的应用
作者:
Doru Stefanescu
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
26.
Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation
机译:
通过计算机代数实验获得的指导强烈常规图的零星示例
作者:
Stefan Gyurki
;
Mikhail Klin
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
27.
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data
机译:
一种将非线性微分方程转换为与噪声数据的参数估计的整体方程转换为整体方程的算法
作者:
Francois Boulier
;
Anja Korporal
;
Francois Lemaire
;
Wilfrid Perruquetti
;
Adrien Poteaux
;
Rosane Ushirobira
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
28.
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
机译:
真理表不变圆柱形代数分解通过常规链
作者:
Russell Bradford
;
Changbo Chen
;
James H. Davenport
;
Matthew England
;
Marc Moreno Maza
;
David Wilson
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Cylindrical algebraic decomposition;
Equational constraint;
Regular chains;
Triangular decomposition;
29.
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents
机译:
具有真实和象征性指数的多项式方程的广义大规模动作系统和正解
作者:
Stefan Muller
;
Georg Regensburger
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Chemical reaction network theory;
Generalized mass-action systems;
Generalized polynomial equations;
Symbolic exponents;
Positive solutions;
Binomial equations;
Birch's theorem;
Oriented matroids;
Multistationarity;
30.
An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
机译:
一种计算代数局部同学级截断的湮灭理想算法
作者:
Takafumi Shibuta
;
Shinichi Tajima
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
31.
Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures
机译:
枫叶中的分析计算实现了模拟平稳不规则集成光波导结构的绝热模式方法
作者:
Leonid A. Sevastyanov
;
Anton L. Sevastyanov
;
Anastasiya A. Tyutyunnik
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2014年
关键词:
Integrated optics;
Waveguide modes;
Adiabatic waveguide modes;
Thin-film waveguide Luneburg lens;
Numerical modeling;
Analytical calculations;
32.
Polynomial Real Root Isolation by Means of Root Radii Approximation
机译:
通过根半径近似多项式真正的孤立
作者:
Victor Y. Pan
;
Liang Zhao
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Polynomials;
Real root-finding;
Root isolation;
Root radii;
33.
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation
机译:
用多项式同型延期求解云中的多项式系统
作者:
Nathan Bliss
;
Jeff Sommars
;
Jan Verschelde
;
Xiangcheng Yu
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Blackbox solver;
Classifying polynomial systems;
Cloud computing;
Graph isomorphism;
Internet accessible symbolic and numeric computation;
Homotopy continuation;
Mathematical software;
Polynomial system;
Web interface;
34.
Triangular Decomposition of Matrices in a Domain
机译:
域中矩阵的三角分解
作者:
Gennadi Malaschonok
;
Anton Scherbinin
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
35.
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations
机译:
计算一类准线性部分微分方程的最高阶除数
作者:
Dima Grigoriev
;
Fritz Schwarz
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Quasi-linear differential polynomial;
Divisor;
Algorithm;
36.
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients
机译:
具有Rational函数系数的一阶线性差异系统的超高度解决方案
作者:
S. A. Abramov
;
M. Petkovsek
;
A. A. Ryabenko
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
37.
A New Polynomial Bound and Its Efficiency
机译:
一种新的多项式结合及其效率
作者:
Doru Stefanescu
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
38.
Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data
机译:
用于插值减少数据的分段 - 二际和重新处理
作者:
Ryszard Kozera
;
Lyle Noakes
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
39.
Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling
机译:
符号数值模型借助于XUSBEMMETRICATAT相对均衡的稳定性研究
作者:
Andrei V. Banshchikov
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
40.
Polynomial Complexity Recognizing a Tropical Linear Variety
机译:
多项式复杂性识别热带线性品种
作者:
Dima Grigoriev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Polynomial complexity;
Recognizing tropical linear variety;
41.
Regular Chains under Linear Changes of Coordinates and Applications
机译:
坐标和应用的线性变化下的正链
作者:
Parisa Alvandi
;
Changbo Chen
;
Amir Hashemi
;
Marc Moreno Maza
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
42.
Symbolic Computation and Finite Element Methods
机译:
符号计算与有限元方法
作者:
Veronika Pillwein
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Computer algebra;
Symbolic summation;
Cylindrical algebraic decomposition;
Finite element methods;
43.
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group
机译:
在SO(3)组空间中生成点组的Irreafible基础的符号算法
作者:
A. A. Gusev
;
V. P. Gerdt
;
S. I. Vinitsky
;
V. L. Derbov
;
A. Gozdz
;
A. Pedrak
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Intrinsic point symmetry groups;
Method of generalized projection operators;
Octahedral group;
Irreducible representations in the space L~2(SO(3));
44.
Simplification of Cylindrical Algebraic Formulas
机译:
圆柱代数公式的简化
作者:
Changbo Chen
;
Marc Moreno Maza
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
45.
Parametric Solvable Polynomial Rings and Applications
机译:
参数可解变多项式环和应用
作者:
Heinz Kredel
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
46.
Symbolic-Numeric Solution of Boundary-Value Problems for the Schrodinger Equation Using the Finite Element Method: Scattering Problem and Resonance States
机译:
利用有限元方法的施罗德格方程边值问题的象征性 - 数字解数:散射问题与谐振状态
作者:
A. A. Gusev
;
L. Le Hai
;
O. Chuluunbaatar
;
V. Ulziibayar
;
S. I. Vinitsky
;
V. L. Derbov
;
A. Gozdz
;
V. A. Rostovtsev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
47.
Janet Bases and Resolutions in CoCoALib
机译:
珍妮可原基地和可可的决议
作者:
Mario Albert
;
Matthias Fetzer
;
Werner M. Seiler
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
48.
Distance Evaluation Between an Ellipse and an Ellipsoid
机译:
椭圆和椭圆体之间的距离评估
作者:
Alexei Yu. Uteshev
;
Marina V. Yashina
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Distance between ellipse and ellipsoid;
Elimination of variables in algebraic system;
49.
A New Approach for Computing Regular Solutions of Linear Difference Systems
机译:
一种新的线性差异系统定期解决方案的新方法
作者:
Moulay Barkatou
;
Thomas Cluzeau
;
Carole El Bacha
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
50.
Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation
机译:
近似量子傅立叶变换与相位估计量子算法
作者:
Alexander N. Prokopenya
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
51.
Randomized Circulant and Gaussian Pre-processing
机译:
随机循环和高斯预处理
作者:
Victor Y. Pan
;
Liang Zhao
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Random circulant matrices;
Linear systems;
Pre-processing;
Pivoting;
Pre-conditioning;
Gaussian random matrices;
52.
Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite
机译:
计算机代数方法在恒定扭矩对卫星固定运动的影响调查中的应用
作者:
Sergey A. Gutnik
;
Anna Guerman
;
Vasily A. Sarychev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
53.
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions
机译:
使用经认证的多种Lyapunov样功能的混合系统安全验证
作者:
Zhikun She
;
Dan Song
;
Meilun Li
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
54.
Algebraic General Solutions of First Order Algebraic ODEs
机译:
一阶代数杂物的代数通用解决方案
作者:
Ngoc Thieu Vo
;
Franz Winkler
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
55.
Analysis of Reaction Network Systems Using Tropical Geometry
机译:
热带几何反应网络系统分析
作者:
Satya Swarup Samal
;
Dima Grigoriev
;
Holger Frohlich
;
Ovidiu Radulescu
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
56.
Homotopy Analysis Method for Stochastic Differential Equations with Maxima
机译:
具有最大值的随机微分方程的同型分析方法
作者:
Maciej Janowicz
;
Joanna Kaleta
;
Filip Krzyzewski
;
Marian Rusek
;
Arkadiusz Orlowski
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Homotopy analysis method;
Stochastic differential equations;
Quantum scalar field;
Computer algebra systems;
Maxima;
57.
On the Topology and Visualization of Plane Algebraic Curves
机译:
平面代数曲线的拓扑和可视化
作者:
Kai Jin
;
Jin-San Cheng
;
Xiao-Shan Gao
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Plane curve;
Topology;
Interval polynomial;
Visualization;
Root candidate;
58.
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
机译:
高效计算代数局部协调类别和零维标准基础的顺序变化
作者:
Katsusuke Nabeshima
;
Shinichi Tajima
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Standard bases;
Algebraic local cohomology;
Singularities;
59.
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains
机译:
使用正常形式的第一个集成量模数差分常规链
作者:
Francois Boulier
;
Francois Lemaire
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
First integral;
Linear algebra;
Differential algebra;
Nonlinear system;
60.
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
机译:
双点边界问题,一个温和的奇点和梯级Kirchhoff Plates的应用
作者:
Markus Rosenkranz
;
Jane Liu
;
Alexander Maletzky
;
Bruno Buchberger
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
61.
Automated Reasoning in Reduction Rings Using the Theorema System
机译:
使用定理系统进行简化戒指的自动推理
作者:
Alexander Maletzky
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Grobner bases;
Reduction rings;
Mathematical theory exploration;
Automated reasoning;
Formalized mathematics;
Theorema;
62.
On the Partial Analytical Solution of the Kirchhoff Equation
机译:
基于Kirchhoff方程的部分分析解决方案
作者:
Dominik L. Michels
;
Dmitry A. Lyakhov
;
Vladimir P. Gerdt
;
Gerrit A. Sobottka
;
Andreas G. Weber
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Differential Thomas Decomposition;
Kirchhoff Rods;
Lie Symmetry Analysis;
Partial Analytical Solutions;
Partial Differential Equations;
Semi-analytical Integration;
63.
On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields
机译:
在两个力场影响下刚体运动问题的不变歧管及其稳定性
作者:
Valentin Irtegov
;
Tatiana Titorenko
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
64.
Bounds for the Condition Number of Polynomials Systems with Integer Coefficients
机译:
具有整数系数的多项式系统的条件数量的界限
作者:
Aaron Herman
;
Elias Tsigaridas
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
65.
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
机译:
用于计算空间曲线切线锥的标准基础算法
作者:
Parisa Alvandi
;
Marc Moreno Maza
;
Eric Schost
;
Paul Vrbik
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
关键词:
Computational algebraic geometry;
Tangent cone;
Regular chain;
Puiseux series;
66.
Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra
机译:
准稳态 - 直觉,扰动理论和算法代数
作者:
Alexandra Goeke
;
Sebastian Walcher
;
Eva Zerz
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2015年
67.
On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods
机译:
计算机代数方法研究两个连接刚体系统的运动
作者:
Valentin Irtegov
;
Tatiana Titorenko
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
68.
Complexity Estimates for Fourier-Motzkin Elimination
机译:
傅立叶 - Motzkin消除的复杂性估计
作者:
Rui-Juan Jing
;
Marc Moreno-Maza
;
Dolaram Talaashrafi
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Polyhedral set;
Fourier-Motzkin Elimination;
Algebraic complexity;
Efficient implementation;
69.
Progress Report on the Scala Algebra System
机译:
Scala代数系统的进度报告
作者:
Raphaeel Jolly
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Type classes;
Implicit conversion;
Operator overloading;
Domain specific language;
70.
Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations
机译:
Routh - 多项式矩阵家族的赫尔维茨稳定性。真正的扰动
作者:
Elizaveta A. Kalinina
;
Yuri A. Smolkin
;
Alexei Yu. Uteshev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Matrix polynomials;
Robust Routh - Hurwitz stability;
Parameters;
Frobenius norm;
71.
Hermite Rational Function Interpolation with Error Correction
机译:
Hermite Rational功能插值与纠错
作者:
Erich L. Kaltofen
;
Clement Pernet
;
Zhi-Hong Yang
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Hermite interpolation;
Cauchy interpolation;
Error correction codes;
Multiplicity codes;
List decoding;
72.
Good Pivots for Small Sparse Matrices
机译:
对于小稀疏矩阵的良好枢轴
作者:
Manuel Kauers
;
Jakob Moosbauer
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
73.
Nullstellensatz-Proofs for Multiplier Verification
机译:
NULLSTELLENSAZ - 乘法器验证的证明
作者:
Daniela Kaufmann
;
Armin Biere
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
74.
'Mathemachines' via LEGO, GeoGebra and CindyJS
机译:
“Mathemachines”通过Lego,Geogebra和Cindyjs
作者:
Zoltan Kovacs
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Linkages;
Algebraic geometry;
LEGO;
GeoGebra;
Cindy JS;
75.
Balanced NUCOMP
机译:
平衡的Nucomp.
作者:
Sebastian Lindner
;
Laurent Imbert
;
Michael J. Jacobson Jr.
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
76.
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order
机译:
任意顺序的标量常微分方程的接触线性化
作者:
Yang Liu
;
Dmitry Lyakhov
;
Dominik L. Michels
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Contact symmetry;
Differential Thomas decomposition;
Exact linearization;
Nonlinear ordinary differential equations;
Symbolic computation;
77.
Tropical Geometry of Biological Systems (Invited Talk)
机译:
生物系统的热带几何体(邀请谈话)
作者:
Ovidiu Radulescu
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Tropical geometry;
Chemical reaction networks;
Model reduction;
Singular perturbations;
Metastability;
Itinerancy;
78.
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
机译:
隐式微分方程奇异性的代数和几何分析(邀请谈话)
作者:
Werner M. Seiler
;
Matthias Seiss
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Implicit differential equations;
Algebraic differential equations;
Singularities;
Vessiot spaces;
Regularity decomposition;
Singular initial value problems;
79.
Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations
机译:
通过细分迭代更快的数值单变量多项式根系发现
作者:
Qi Luan
;
Victor Y. Pan
;
Wongeun Kim
;
Vitaly Zaderman
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Polynomial roots;
Subdivision;
Sparse polynomials;
Real polynomial root-finding;
80.
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities
机译:
计算参数标准碱基用于半加权均匀孤立的过度奇异性
作者:
Katsusuke Nabeshima
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Semi-weighted homogeneous isolated hypersurface singularities;
Standard bases;
Algebraic local cohomology;
81.
On the Complexity of Computing Integral Bases of Function Fields
机译:
论函数字段计算积分基础的复杂性
作者:
Simon Abelard
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Puiseux series;
Linear algebra;
Polynomial matrices;
82.
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations
机译:
截断和无限功率系列中的线性常微分方程系数的作用
作者:
Sergei A. Abramov
;
Denis E. Khmelnov
;
Anna A. Ryabenko
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Differential equations;
Truncated power series;
Algorithmically represented infinite power series;
Laurent series;
Computer algebra systems;
83.
Acceleration of Subdivision Root-Finding for Sparse Polynomials
机译:
稀疏多项式的细分根系加速度
作者:
Victor Y. Pan
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Polynomial root-finding;
Subdivision;
Sparse polynomials;
Exclusion test;
Root-counting;
Power sums of roots;
84.
Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field
机译:
研究中央引力场中非平稳三轴体的平移 - 旋转运动的分析计算
作者:
Alexander Prokopenya
;
Mukhtar Minglibayev
;
Oralkhan Baisbayeva
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Non-stationary two-body problem;
Translational-rotational motion;
Secular perturbations;
Evolution equations;
Wolfram mathematica;
85.
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes
机译:
保守差分计划发现三体问题的周期性近似解
作者:
Edic A. Ayryan
;
Mikhail D. Malykh
;
Leonid A. Sevastianov
;
Yu Ying
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Finite difference method;
Algebraic integrals of motion;
Dynamical system;
86.
Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach
机译:
单变量多项式,长不平衡系数作为双变量平衡的系数:Toom-Cook乘法方法
作者:
Marco Bodrato
;
Alberto Zanoni
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Long integer multiplication;
Toom-Cook;
Polynomial multiplication;
Interpolation;
87.
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
机译:
用于检测可逆化学反应网络稳态理想二元性的线性代数方法
作者:
Hamid Rahkooy
;
Ovidiu Radulescu
;
Thomas Sturm
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Binomial ideals;
Linear algebra;
Reversible chemical reaction networks;
88.
First-Order Tests for Toricity
机译:
一阶测试对多情的测试
作者:
Hamid Rahkooy
;
Thomas Sturm
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Binomial ideals;
Chemical reaction networks;
Logic computation;
Scientific computation;
Symbolic computation;
Toric varieties;
89.
Power Series Arithmetic with the BPAS Library
机译:
Power系列与BPA库算术
作者:
Alexander Brandt
;
Mahsa Kazemi
;
Marc Moreno-Maza
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Lazy power series;
Weierstrass preparation;
Hensel's lemma;
90.
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition
机译:
Lazard圆柱代数分解方法的增强功能
作者:
Christopher W. Brown
;
Scott McCallum
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
91.
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System
机译:
寻找使用计算机代数系统在超前站的铁路互锁系统中兼容路线
作者:
Eugenio Roanes-Lozano
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Railway interlocking systems;
Routes;
Railway station layout;
Graphs;
Computer algebra systems;
92.
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality
机译:
通过Matlis Tuality计算沿ICIS细菌的对数矢量字段
作者:
Shinichi Tajima
;
Takafumi Shibuta
;
Katsusuke Nabeshima
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Logarithmic vector fields;
Local cohomology;
Matlis duality;
Isolated complete intersection singularity;
93.
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization
机译:
两种稀疏多变量Hensel提升算法的复杂性和平行实现,用于多项式分解
作者:
Tian Chen
;
Michael Monagan
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Sparse multivariate Hensel lifting;
Sparse interpolation;
Multivariate Diophantine equations;
Polynomial factorization;
Bivariate Hensel lifting;
Cilk C;
94.
The GPGCD Algorithm with the Bezout Matrix
机译:
具有Bezout矩阵的GPGCD算法
作者:
Boming Chi
;
Akira Terui
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Approximate GOD;
GPGCD algorithm;
Bezout matrix;
Modified newton method;
95.
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers
机译:
在并行共享存储器计算机上的多项式同型偶像路径的鲁棒数值跟踪
作者:
Simon Telen
;
Marc Van Barel
;
Jan Verschelde
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Adaptive step size control;
Multithreading;
Newton's method;
Parallel shared memory computer;
Path tracking;
Polynomial homotopy;
Polynomial system;
Power series;
96.
Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials
机译:
从其部分衍生物之一和两种多项式的产品的多项式的伯恩斯坦系数的象征性 - 数值计算
作者:
Jihad Titi
;
Juergen Garloff
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Multivariate polynomial;
Bernstein polynomial;
Bernstein coefficient;
97.
On Parametric Linear System Solving
机译:
参数线性系统求解
作者:
Robert M. Corless
;
Mark Giosbrecht
;
Leili Rafiee Sevyeri
;
B. David Saunders
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Hermite form;
Smith form;
Frobenius form;
Parametric linear systems;
98.
Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) × SU(1,1) Group
机译:
计算O(5)×SU(1,1)组计算正交基础的符号数值算法
作者:
Algirdas Deveikis
;
Alexander A. Gusev
;
Vladimir P. Gerdt
;
Sergue I. Vinitsky
;
Andrzej Gozdz
;
Aleksandra Pedrak
;
Cestmir Burdik
;
George S. Pogosyan
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Orthonormal non-canonical basis;
Irreducible representations;
Group O(5) × SU(1,1);
Gram-Schmidt orthonormalization;
Wolfram Mathematica;
99.
Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means
机译:
使用计算机代数的分子动力学问题高阶差分方案准确性的比较研究
作者:
Evgenii V. Vorozhtsov
;
Sergey P. Kiselev
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Molecular dynamics;
Hamilton equations;
Symplectic difference schemes;
Groebner bases;
CAS Mathematica;
100.
Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups
机译:
通过Galois和Galois类似的组表征多项式的指数格的琐碎性
作者:
Tao Zheng
会议名称:
《International Workshop on Computer Algebra in Scientific Computing》
|
2020年
关键词:
Polynomial root;
Multiplicative relation;
Exponent lattice;
Trivial;
Galois group;
Galois-like;
意见反馈
回到顶部
回到首页