Volume 5; Issue 1-2

Journal of Symbolic Computation

Volume 5; Issue 1-2
1

Editorial Board

Year:
1988
Language:
english
File:
PDF, 74 KB
english, 1988
2

Editorial

Year:
1988
Language:
english
File:
PDF, 40 KB
english, 1988
3

The complexity of linear problems in fields

Year:
1988
Language:
english
File:
PDF, 1.47 MB
english, 1988
4

Real quantifier elimination is doubly exponential

Year:
1988
Language:
english
File:
PDF, 398 KB
english, 1988
5

Solving systems of polynomial inequalities in subexponential time

Year:
1988
Language:
english
File:
PDF, 1.77 MB
english, 1988
6

Complexity of deciding Tarski algebra

Year:
1988
Language:
english
File:
PDF, 2.62 MB
english, 1988
7

Some aspects of complexity in real algebraic geometry

Year:
1988
Language:
english
File:
PDF, 580 KB
english, 1988
9

Algebraic decomposition of regular curves

Year:
1988
Language:
english
File:
PDF, 717 KB
english, 1988
12

A cluster-based cylindrical algebraic decomposition algorithm

Year:
1988
Language:
english
File:
PDF, 1.43 MB
english, 1988
14

On mechanical quantifier elimination for elementary algebra and geometry

Year:
1988
Language:
english
File:
PDF, 1.17 MB
english, 1988
15

A bibliography of quantifier elimination for real closed fields

Year:
1988
Language:
english
File:
PDF, 492 KB
english, 1988
16

Quantifier elimination: Optimal solution for two classical examples

Year:
1988
Language:
english
File:
PDF, 275 KB
english, 1988