Your search returned 2 results.

Sort
Results
1.
Computer aided proofs in analysis/ Kenneth R. Meyer, Dieter S. Schmidt, editors. by
  • Meyer, Kenneth R. (Kenneth Ray), 1937-
  • Schmidt, Dieter S
  • IMA Participating Institutions Conference (1989: University of Cincinnati)
Series: The IMA volumes in mathematics and its applications ; v. 28
Publication details: New York: Springer-Verlag, c1991
Availability: Items available for loan: Castorina (1)Call number: 519.40285 C738 1991 IMPA.

2.
Software for Algebraic Geometry [electronic resource]/ edited by Michael Stillman, Jan Verschelde, Nobuki Takayama. by
  • Stillman, Michael E
  • Verschelde, Jan
  • Takayama, Nobuki, 1959-
  • SpringerLink (Online service)
Series: The IMA Volumes in Mathematics and its Applications ; 148
Source: Springer eBooks
; Format: electronic available online remote
Publication details: New York: Springer New York, 2008
Availability: No items available.

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


Powered by Koha