首页>外文会议>其他>International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)

International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Understanding Expression Simplification

机译：了解表达式简化
- 作者：Jacques Carette
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- simplification of expressions;
- computer algebra;
- kolmogorov complexity;
- model description length;
2.The Polytope of Non-Crossing Graphs on a Planar Point Set

机译：平面点集上非交叉图的多面性
- 作者：David Orden;Francisco Santos
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- non-crossing graphs;
- polytope;
3.The Approximate GCD of Inexact Polynomials Part Ⅱ: A Multivariate Algorithm

机译：不精确多项式的近似GCD第二部分：多元算法
- 作者：Zhonggang Zeng;Barry H. Dayton
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- polynomial;
- greatest common divisor;
- squarefree;
- factorization;
4.The Characteristic Ideal of a Finite, Connected, Regular Graph

机译：有限，连通，正则图的特征理想
- 作者：Josep M. Brunat;Antonio Monies
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
5.Sylvester A-Resultants for Bivariate Polynomials with Planar Newton Polygons

机译：具有平面牛顿多边形的双变量多项式的Sylvester A-结果
- 作者：Amit Khetan;Ning Song;Ron Goldman
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- theory;
6.The Truncated Fourier Transform and Applications

机译：截断傅立叶变换及其应用
- 作者：Joris van der Hoeven
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
7.Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra

机译：Clifford代数的齐次几何模型中的符号计算
- 作者：Hongbo Li
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- clifford algebra;
- homogeneous model;
- symbolic computation;
- automated theorem proving;
- geometric algebra;
8.Symbolic Summation with Single-Nested Sum Extensions

机译：单嵌套和扩展的符号求和
- 作者：Carsten Schneider
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- difference field extensions;
- telescoping;
- creative telescoping;
9.From Hypercircles to Units

机译：从超圆到单位
- 作者：Tomas Recio;J. Rafael Sendra;Carlos Villarino
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- hypercircles;
- linear fractions;
- rational curves;
- rational para-metrizations;
10.Finding the Smallest Image of a Set

机译：寻找一组最小的图像
- 作者：Steve Linton
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- permutation group;
- algorithm;
- smallest image;
11.Factoring Polynomials via Polytopes

机译：通过多拓扑分解多项式
- 作者：Fatima Abu Salem;Shuhong Gao;Alan G. B. Lauder
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- multivariate polynomial;
- factorisation;
- newton polytope;
12.Efficient Projection Orders for CAD

机译：CAD的高效投影订单
- 作者：Andreas Dolzmann;Andreas Seidl;Thomas Sturm
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- partial CAD;
- projection operator;
- REDLOG;
13.Differential Rational Normal Forms and a Reduction Algorithm for Hyperexponential Functions

机译：微分有理范式和超指数函数的约简算法
- 作者：Keith Geddes;Ha Le;Ziming Li
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- normal forms;
- rational functions;
- hyperexponential functions;
- reduction algorithms;
14.Complexity Issues in Bivariate Polynomial Factorization

机译：二元多项式因式分解中的复杂性问题
- 作者：A. Bostan;G. Lecerf;B. Salvy;E. Schost;B. Wiebelt
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- computer algebra;
- polynomial factorization;
- hensel lifting;
- multi-moduli;
- tellegen;
- transposition principle;
15.Computer Proofs for Polynomial Identities in Arbitrary Many Variables

机译：任意多个变量的多项式恒等式的计算机证明
- 作者：Manuel Kauers
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- polynomial identities;
- computer proofs;
16.Computing Irredundant Irreducible Decompositions of Large Scale Monomial Ideals

机译：计算大规模单项式理想的多余的不可约分解
- 作者：R. Alexander Milowski
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- monomial ideals;
- irredundant irreducible decomposition;
- alexander dual;
- scarf complex;
17.Closed Form Solutions of Linear Odes having Elliptic Function Coefficients

机译：具有椭圆函数系数的线性颂的闭式解。
- 作者：Reinhold Burger;George Labahn;Mark van Hoeij
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- linear odes;
- elliptic functions;
- kovacic's algorithm;
- decision procedures;
18.Numerical Parameterization of Affine Varieties Using ODEs

机译：使用ODE进行仿射品种的数值参数化
- 作者：D. A. Aruliah;Robert M. Corless
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- symbolic-numeric algorithms;
- numerical polynomial algebra;
19.Maximal Quotient Rational Reconstruction: An Almost Optimal Algorithm for Rational Reconstruction

机译：最大商有理重构：有理重构的几乎最佳算法
- 作者：Michael Monagan
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- euclidean algorithm;
- modular algorithms;
- rational reconstruction;
20.Smith Normal Form of Dense Integer Matrices, Fast Algorithms into Practice

机译：Smith正规形式的密集整数矩阵，快速算法投入实践
- 作者：David Saunders;Zhendong Wan
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- integer matrix;
- smith normal form;
21.Sharp Estimates for Triangular Sets

机译：三角集的清晰估计
- 作者：Xavier Dahan;Eric Schost
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- polynomial systems;
- triangular sets;
- intrinsic bounds;
22.Reliable Krylov-Based Algorithms for Matrix Null Space and Rank

机译：基于可靠Krylov的矩阵零位和秩的算法
- 作者：Wayne Eberly
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- black box matrix;
- block lanczos algorithm;
- frobenius decomposition;
- linear system solution;
- matrix rank;
- randomized algorithm;
23.Parametrized Surfaces in P~3 of bidegree (1, 2)

机译：双学位P〜3中的参数化曲面（1、2）
- 作者：Mohamed Elkadi;Andre Galligo;Thi Ha Le
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- surfaces of bidegree (1, 2);
- implicit equations;
- conies;
- singular locus;
24.On Systems of Algebraic Equations with Parametric Exponents

机译：具有参数指数的代数方程组
- 作者：Kazuhiro Yokoyama
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- ideals with parametric exponents;
- grobner basis;
25.Algorithms For Recognizing Coordinates In Two Variables Over UFD's

机译：用于识别UFD的两个变量中的坐标的算法
- 作者：Hassan El Houari;Mhammed El Kahoui
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- coordinate;
- locally nilpotent derivation;
- slice;
26.Algorithms for Polynomial GCD Computation over Algebraic Function Fields

机译：代数函数域上的多项式GCD计算算法
- 作者：Mark van Hoeij;Michael Monagan
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- modular algorithms;
27.Absolute Polynomial Factorization in Two Variables and the Knapsack Problem

机译：两个变量的绝对多项式因式分解和背包问题
- 作者：Guillaume Cheze
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- absolute factorization;
- LLL algorithm;
- knapsack problem;
- 0-1 vectors;
28.A Poly-Algorithmic Approach to Simplifying Elementary Functions

机译：简化基本功能的多元算法
- 作者：James C. Beaumont;Russell J. Bradford;James H. Davenport;Nalina Phisanbut
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- simplification;
- branch cuts;
29.FFPACK: Finite Field Linear Algebra Package

机译：FFPACK：有限域线性代数软件包
- 作者：Jean-Guillaume Dumas;Pascal Giorgi;Clement Pernet
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- finite fields;
- BLAS;
- LSP factorization;
30.Improvements to a Triangulation-Decomposition Algorithm for Ordinary Differential Systems in Higher Degree Cases

机译：高阶情况下常微分系统三角分解算法的改进
- 作者：Evelyne Hubert
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
31.Rational General Solutions of Algebraic Ordinary Differential Equations

机译：代数常微分方程的有理通用解
- 作者：Ruyong Feng;Xiao-shan Gao
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
32.Optimal Descriptions of Orbit Spaces and Strata of finite Groups

机译：有限群轨道空间和地层的最佳描述
- 作者：Thomas Bayer
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- symbolic computation;
- stratification;
33.On Reducing a System of Equations to a Single Equation

机译：关于将方程组简化为一个方程组
- 作者：Gudmund S. Frandsen;Igor E. Shparlinski
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- system of equations;
34.Non-Liouvillian Solutions for Second Order Linear ODEs

机译：二阶线性ODE的非Liouvillian解
- 作者：L. Chan;E.S. Cheb-Terrab
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- linear ordinary differential equations;
- non-liouvillian solutions;
- hypergeometric solutions;
35.Decomposition of Differential Polynomials with Constant Coefficients

机译：常系数微分多项式的分解
- 作者：Xiao-Shan Gao;Mingbo Zhang
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- differential polynomial;
- decomposition;
- pseudo linear;
- differential degree;
36.Inversion of Parameterized Hypersurfaces by Means of Subresultants

机译：利用子结果反演参数化超曲面
- 作者：Laurent Buse;Carlos DAndrea
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- multivariate subresultants;
- birational maps;
37.Toric Ideals of Homogeneous Phylogenetic Models

机译：均相系统发育模型的复曲面理想
- 作者：Nicholas Eriksson
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- phylogenetic invariants;
- parametric inference;
- toric ideals;
- groebner bases;
38.Support Hull: Relating the Cayley-Dixon Resultant Constructions to the Support of a Polynomial System

机译：支持船体：将Cayley-Dixon结果结构与多项式系统的支持相关
- 作者：Arthur D. Chtcherba;Deepak Kapur
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- resultant;
- dixon resultant formulation;
- sylvester-type matrices;
- dialytic method;
- support;
- support hull;
- variable ordering;
- support-hull interior point;
39.Hyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Rings

机译：正交矿石环有限秩理想的超指数解
- 作者：George Labahn;Ziming Li
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- linear partial differential systems;
- linear partial difference systems;
- ore rings;
- hyperexponential solutions;
40.Extracting Mathematical Expressions From Postscript Documents

机译：从附言文档中提取数学表达式
- 作者：Michael Yang;Richard Fateman
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- optical character recognition;
- postscript documents;
- mathematics;
- digital library;
- document image analysis;
41.Efficient Desingularization of Reducible Algebraic Sets

机译：可约代数集的有效去奇化
- 作者：Gabor Bodnar
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- embedded resolution of singularities;
- blowups;
- normal crossings;
42.Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations

机译：多项式环不变量的自动生成：代数基础
- 作者：Enric Rodriguez-Carbonell;Deepak Kapur
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年
- groebner basis;
- ideal;
- loop invariant;
43.Approximate Factorization of Multivariate Polynomials via Differential Equations

机译：通过微分方程对多元多项式进行近似分解
- 作者：Shuhong Gao;Erich Kaltofen;John May;Zhengfeng Yang;Lihong Zhi
- 会议名称：《International Symposium on Symbolic and Algebraic Computation(ISSAC 2004); 20040704-07; Santander(ES)》 | 2004年