Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By ACM Press

1581130732

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Star products and the representation of asymptotic growth

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309874 ◽

1999 ◽

Author(s):

John Shackell

Keyword(s):

Star Products ◽

Asymptotic Growth

Download Full-text

On multiple zeros of systems of algebraic equations

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309846 ◽

1999 ◽

Author(s):

Schuichi Moritsugu ◽

Kazuko Kuriyama

Keyword(s):

Algebraic Equations ◽

Download Full-text

Mixed real-integre linear quantifier elimination

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309888 ◽

1999 ◽

Author(s):

Volker Weispfenning

Keyword(s):

Quantifier Elimination

Download Full-text

Approximate polynomial decomposition

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309939 ◽

1999 ◽

Author(s):

Robert M. Corless ◽

Mark W. Giesbrecht ◽

David J. Jeffrey

Keyword(s):

Polynomial Decomposition ◽

Approximate Polynomial

Download Full-text

Formal solutions of scalar singularly-perturbed linear differential equations

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309879 ◽

1999 ◽

Author(s):

Y. O. Macutan

Keyword(s):

Differential Equations ◽

Linear Differential Equations ◽

Singularly Perturbed ◽

Linear Differential ◽

Formal Solutions

Download Full-text

On projection in CAD-based quantifier elimination with equational constraint

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309892 ◽

1999 ◽

Author(s):

Scott McCallum

Keyword(s):

Quantifier Elimination

Download Full-text

Shifted normal forms of polynomial matrices

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309929 ◽

1999 ◽

Author(s):

Bernhard Beckermann ◽

George Labahn ◽

Gilles Villard

Keyword(s):

Normal Forms ◽

Polynomial Matrices

Download Full-text

Specifying implementations

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309947 ◽

1999 ◽

Author(s):

Laureano Lambán ◽

Vico Pascual ◽

Julio Rubio

Download Full-text

A new algorithm for the geometric decomposition of a variety

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309843 ◽

1999 ◽

Author(s):

Mohamed Elkadi ◽

Bernard Mourrain

Keyword(s):

Geometric Decomposition

Download Full-text

Design and protocol for Internet accessible mathematical computation

Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99 ◽

10.1145/309831.309961 ◽

1999 ◽

Author(s):

Paul S. Wang

Keyword(s):

Mathematical Computation

Download Full-text