Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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.

Place hold Add to cart
2.
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, ...

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha