default search action
ISSAC 1997: Maui, Hawaii, USA
- Bruce W. Char, Paul S. Wang, Wolfgang Küchlin:
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4
Algorithms I
- Victor Adamchik:
A Class of Logarithmic Integrals. ISSAC 1997: 1-8 - C. J. Rust, Gregory J. Reid:
Rankings of Partial Derivatives. ISSAC 1997: 9-16 - Joris van der Hoeven:
Lazy Multiplication of Formal Power Series. ISSAC 1997: 17-20 - Saugata Basu:
Uniform Quantifier Elimination and Constraint Query Processing. ISSAC 1997: 21-27
Algorithms & Complexity I
- Xin Gui Fang, George Havas:
On the Worst-case Complexity of Integer Gaussian Elimination. ISSAC 1997: 28-31 - Gilles Villard:
Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract). ISSAC 1997: 32-39 - Joachim von zur Gathen, Jürgen Gerhard:
Fast Algorithms for Taylor Shifts and Certain Difference Equations. ISSAC 1997: 40-47 - Volker Weispfenning:
Complexity and Uniformity of Elimination in Presburger Arithmetic. ISSAC 1997: 48-53
Applications I
- Willem A. de Graaf:
Constructing Faithful Matrix Representations of Lie Algebras. ISSAC 1997: 54-59 - Andrej A. Zolotykh:
Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras. ISSAC 1997: 60-67 - Alexander L. Chistov, Gábor Ivanyos, Marek Karpinski:
Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. ISSAC 1997: 68-74
Polynomial Algorithms I
- John McKay, Richard Stauduhar:
Finding Relations Among the Roots of an Irreducible Polynomial. ISSAC 1997: 75-77 - Antoine Colin:
Relative Resolvents and Partition Tables in Galois Group Computations. ISSAC 1997: 78-84 - Frédéric Lehobey:
Resolvent Computations by Resultants Without Extraneous Powers. ISSAC 1997: 85-92
Algorithms II
- Masoud Kavian, R. G. McLenaghan, Keith O. Geddes:
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. ISSAC 1997: 93-100 - Sebastian Egner, Markus Püschel, Thomas Beth:
Decomposing a Permutation into a Conjugated Tensor Product. ISSAC 1997: 101-108 - Arne Storjohann:
A Solution to the Extended GCD Problem with Applications. ISSAC 1997: 109-116
Systems of Equations
- Hans J. Stetter:
Stabilization of Polynomial Systems Solving with Groebner Bases. ISSAC 1997: 117-124 - Bernhard Beckermann, Stanley Cabay, George Labahn:
Fraction-free Computation of Catrix Padé Systems. ISSAC 1997: 125-132 - Robert M. Corless, Patrizia M. Gianni, Barry M. Trager:
A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. ISSAC 1997: 133-140 - Deepak Kapur, Tushar Saxena:
Extraneous Factors in the Dixon Resultant Formulation. ISSAC 1997: 141-148
Differential Equations I
- Jason Abate, Christian H. Bischof, Lucas Roh, Alan Carle:
Algorithms and Design for a Second-Order Automatic Differentiation Module. ISSAC 1997: 149-155 - Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil:
On Symmetric Powers of Differential Operators. ISSAC 1997: 156-163 - Eckhard Pflügel:
An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems. ISSAC 1997: 164-171 - Sergei A. Abramov, Mark van Hoeij:
A Method for the Integration of Solutions of Ore Equations. ISSAC 1997: 172-175
Algorithms & Complexity II
- Wayne Eberly, Erich L. Kaltofen:
On Randomized Lanczos Algorithms. ISSAC 1997: 176-183 - Erich L. Kaltofen, Victor Shoup:
Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields. ISSAC 1997: 184-188 - Ioannis Z. Emiris, Victor Y. Pan:
The Structure of Sparse Resultant Matrices. ISSAC 1997: 189-196
Applications II
- Robert M. Corless, David J. Jeffrey, Donald E. Knuth:
A Sequence of Series for the Lambert W Function. ISSAC 1997: 197-204 - Kelly Roach:
Meijer G Functions Representations. ISSAC 1997: 205-211 - Patrizia M. Gianni, Barry M. Trager:
Integral Closure of Noetherian Rings. ISSAC 1997: 212-216
Polynomial Algorithms II
- André Galligo, Stephen M. Watt:
A Numerical Absolute Primality Test for Bivariate Polynomials. ISSAC 1997: 217-224 - Jeremy R. Johnson, Werner Krandick:
Polynomial Real Root Isolation using Approximate Arithmetic. ISSAC 1997: 225-232 - Daniel Reischert:
Asymptotically Fast Computation of Subresultants. ISSAC 1997: 233-240
Systems I
- Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt:
An OpenMath 1.0 Implementation. ISSAC 1997: 241-248 - Richard J. Fateman:
Network Servers for Symbolic Mathematics. ISSAC 1997: 249-256 - Michael B. Monagan, Gladys Monagan:
A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision. ISSAC 1997: 257-264
Polynomial Algorithms III
- Mark J. Encarnación:
Factoring Polynomials over Algebraic Number Fields via Norms. ISSAC 1997: 265-270 - Luca Gemignani:
GCD of Polynomials and Bezout Matrices. ISSAC 1997: 271-277 - Mark J. Encarnación:
The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm. ISSAC 1997: 278-281 - Ziming Li, István Nemes:
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. ISSAC 1997: 282-289
Differential Equations II
- Sergei A. Abramov, Eugene V. Zima:
Minimal Completely Factorable Annihilators. ISSAC 1997: 290-297 - Jean Della Dora, Françoise Richard-Jung:
About the Newton Algorithm for Non-Linear Ordinary Differential Equations. ISSAC 1997: 298-304 - Victor F. Edneral:
Computer Evaluation of Cyclicity in Planar Cubic System. ISSAC 1997: 305-309 - Serguei P. Tsarev:
Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field. ISSAC 1997: 310-315
Algorithms III
- Doron Nussbaum:
Rectilinear p-Piercing Problems. ISSAC 1997: 316-323 - David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich:
Integration of the Signum, Piecewise and Related Functions. ISSAC 1997: 324-330 - Qiang Li, Yike Guo, Tetsuo Ida, John Darlington:
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. ISSAC 1997: 331-338 - Tudor Jebelean:
Practical Integer Division with Karatsuba Complexity. ISSAC 1997: 339-341
Geometry
- Masayo Fujimura, Kiyoko Nishizawa:
Moduli Spaces and Symmetry Loci of Polynomial Maps. ISSAC 1997: 342-348 - Carlos Andradas, Tomás Recio, J. Rafael Sendra:
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC 1997: 349-355 - Emil J. Volcheck:
On Computing the Dual of a Plane Algebraic Curve. ISSAC 1997: 356-358 - Peter F. Stiller:
Symbolic Computation of Object/Image Equations. ISSAC 1997: 359-364
Systems II
- Horst Günter Zimmer:
SIMATH - a Computer Algebra System for Number Theoretic Applications. ISSAC 1997: 365-375 - Andreas Dolzmann, Thomas Sturm:
Guarded Expressions in Practice. ISSAC 1997: 376-383 - Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru:
A Survey of the Theorema Project. ISSAC 1997: 384-391
Applications III
- John J. Cannon, Bernd Souvignier:
On the Computation of Conjugacy Classes in Permutation Groups. ISSAC 1997: 392-399 - Charles C. Sims:
Computing with Subgroups of Automorphism Groups of Finite Groups. ISSAC 1997: 400-403 - Massimo Caboara, Lorenzo Robbiano:
Families of Ideals in Statistics. ISSAC 1997: 404-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.