会议专题

issac'05（第三十届国际代数与符号计算年会）

总文献量: 48篇会议类型: 国际会议会议地点: 北京主办单位: 中科院数学与系统科学研究所会议日期: 2005-07-24

文章浏览

Solving Second Order Linear Differential Equations with Kleins Theorem

Domains and Expressions: An Interface Between Two Approaches to Computer Algebra

Application of Wus Method to Symbolic Model Checking

Half-GCD and Fast Rational Recovery

Computing the Multiplicity Structure in Solving Polynomial Systems

Admissible Orderings and Finiteness Criteria for Differential Standard Bases

Structure and Asymptotic Expansion of Multiple Harmonic Sums

Sum of Roots with Positive Real Parts

Generalized Normal Forms and Polynomial System Solving

Non Complete Integrability of a Magnetic Satellite in Circular Orbit

Architecture-Aware Classical Taylor Shift by 1

Fast Algorithms for Polynomial Solutions of Linear Differential Equations

A BLAS Based C Library for Exact Linear Algebra on Integer Matrices

Selfintersections of a Bézier Bicubic Surface

Partial Degree Formulae for Rational Algebraic Surfaces

Algorithms for Symbolic/Numeric Control of Affine Dynamical Systems

Approximation of Dynamical Systems using S-Systems Theory: Application to Biological Systems

Probabilistic Algorithms for Computing Resultants

Adherence is Better than Adjacency: Computing the Riemann Index Using CAD

Generalized Laplace Transformations and Integration of Hyperbolic Systems of Linear Partial Differential Equations