Your search returned 6 results.

Sort
Results
1.
Geometric modeling: methods and applications/ H. Hagen, D. Roller (eds.). by
  • Hagen, H. (Hans), 1953-
  • Roller, D. (Dieter), 1951-
Series: Symbolic computation. Computer graphics--systems and applications
Publication details: Berlin; New York: Springer-Verlag, c1991
Availability: Items available for loan: Castorina (1)Call number: 006.6 G345 1991 IMPA.

2.
Quantifier elimination and cylindrical algebraic decomposition/ B.F. Caviness, J.R. Johnson (eds.). by
  • Caviness, Bob F
  • Johnson, J. R. (Jeremy R.)
Series: Texts and monographs in symbolic computation
Publication details: Wien: New York: Springer, c1998
Other title:
  • Quantifier elimination
Availability: Items available for loan: Castorina (1)Call number: 512.002 Q1 1998 IMPA.

3.
Computer aided design: fundamentals and system architectures/ José Encarnação, Rolf Lindner, Ernst G. Schlechtendahl. by
  • Encarnação, José Luis
  • Lindner, Rolf
  • Schlechtendahl, E. G. (Ernst G.), 1938-
Series: Symbolic computation. Computer graphics--systems and applications
Edition: 2nd, rev. and extended ed.
Publication details: Berlin ; New York: Springer-Verlag, c1990
Availability: Items available for loan: Castorina (1)Call number: 006.6 E56c 1990 IMPA.

4.
Computer graphics programming: GKS, the graphics standard/ G. Enderle, K. Kansy, G. Pfaff. by
  • Enderle, G. (Günter), 1944-
  • Kansy, K. (Klaus), 1945-
  • Pfaff, G. (Günther), 1951-
Series: Symbolic computation. Computer graphics--systems and applications
Edition: 2nd rev. and enl. ed.
Publication details: Berlin ; New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 006.6 E56c 1987 IMPA.

5.
REDUCE: software for algebraic computation/ Gerhard Rayna ; with a preface by Anthony C. Hearn by
  • Rayna, Gerhard
Series: Symbolic computation. Artificial intelligence
Publication details: New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 512.0285 R274r 1987 IMPA.

6.
Algorithms in invariant theory/ Bernd Sturmfels. by
  • Sturmfels, Bernd
Series: Texts and monographs in symbolic computation
Publication details: Wien New York: Springer-Verlag, c1993
Availability: Items available for loan: Castorina (2)Call number: 512.74 S936a 1993 IMPA, ...

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha