Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897914899

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

NODES

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143273 ◽

1992 ◽

Cited By ~ 2

Author(s):

M. Codutti

Download Full-text

On stability analysis of linear stochastic and time-varying deterministic systems

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143330 ◽

1992 ◽

Cited By ~ 1

Author(s):

Cetin Cetinkaya

Keyword(s):

Stability Analysis ◽

Time Varying ◽

Deterministic Systems

Download Full-text

Honest plotting, global extrema, and interval arithmetic

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143314 ◽

1992 ◽

Cited By ~ 3

Author(s):

Richard Fateman

Keyword(s):

Interval Arithmetic

Download Full-text

Easy numbers for the elliptic curve primality proving algorithm

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143326 ◽

1992 ◽

Author(s):

F. Morain

Keyword(s):

Elliptic Curve

Download Full-text

An object-oriented language for symbolic computation---applied to machine element analysis

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143363 ◽

1992 ◽

Cited By ~ 2

Author(s):

Lars Viklund ◽

Peter Fritzson

Keyword(s):

Symbolic Computation ◽

Object Oriented ◽

Element Analysis ◽

Machine Element

Download Full-text

Solving parametric algebraic systems

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143348 ◽

1992 ◽

Cited By ~ 17

Author(s):

Xiao-Shan Gao ◽

Shang-Ching Chou

Keyword(s):

Algebraic Systems

Download Full-text

LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143340 ◽

1992 ◽

Author(s):

Francesco Marinuzzi ◽

Stefano Soliani

Keyword(s):

Markovian Processes

Download Full-text

The structure of the PIMs of SL(3,4) in characteristic 2

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143318 ◽

1992 ◽

Author(s):

W. Lempken ◽

R. Staszewski

Keyword(s):

Characteristic 2

Download Full-text

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143306 ◽

1992 ◽

Cited By ~ 19

Author(s):

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Simple Solution ◽

Cylindrical Algebraic Decomposition

Download Full-text

Code generation in ALPAL using symbolic techniques

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143260 ◽

1992 ◽

Cited By ~ 1

Author(s):

Grant O. Cook

Keyword(s):

Code Generation

Download Full-text

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

NODES

On stability analysis of linear stochastic and time-varying deterministic systems

Honest plotting, global extrema, and interval arithmetic

Easy numbers for the elliptic curve primality proving algorithm

An object-oriented language for symbolic computation---applied to machine element analysis

Solving parametric algebraic systems

LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes

The structure of the PIMs of SL(3,4) in characteristic 2

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

Code generation in ALPAL using symbolic techniques

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92
Latest Publications