Your search returned 81 results.

Sort
Results
61.
Selected topics in geometry with classical vs. computer proving/ Pavel Pech. by
  • Pech, Pavel
Publication details: Hackensack, NJ: World Scientific, c2007
Availability: Items available for loan: Castorina (1)Call number: 516 P365s 2007 IMPA.

62.
Perturbation methods, bifurcation theory, and computer algebra/ Richard H. Rand, Dieter Armbruster. by
  • Rand, R. H. (Richard H.)
  • Armbruster, Dieter
Series: Applied mathematical sciences (Springer-Verlag New York Inc.) ; v. 65.
Publication details: New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 515.353 R187p 1987 IMPA.

63.
Computer algebra in applied mathematics: an introduction to MACSYMA/ R.H. Rand. by
  • Rand, R. H. (Richard H.)
Series: Pitman Research Notes in Mathematics Series ; 94
Publication details: Boston: Pitman Advanced Publishing Program, 1984
Availability: Items available for loan: Castorina (1)Call number: 512.02854 R187c 1984 IMPA.

64.
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.

65.
The Maple handbook: Maple V release 3/ Darren Redfern. by
  • Redfern, Darren
Publication details: New York: Springer-Verlag, c1994
Availability: Items available for loan: Castorina (1)Call number: 510.28553 R315m 1994 IMPA.

66.
Fundamentos de geometria computacional/ P. J. de. Resende. by
  • Resende, P. J. de
  • Stolfi, Jorge
Edition: [1st ed.]
Publication details: Recife: UFPE, 1994
Availability: Items available for loan: Castorina (1)Call number: 516 R433f 1994 IMPA.

67.
The interactive geometry software, Cinderella: version 1.2 : with 126 figures and a CD-ROM/ Jürgen Richter-Gebert, Ulrich H. Kortenkamp. by
  • Richter-Gebert, Jürgen, 1963-
  • Kortenkamp, Ulrich H
Publication details: Berlin; New York: Springer, c1999
Other title:
  • Cinderella: the interactive geometry software
Availability: Items available for loan: Castorina (2)Call number: 516.0285 R537i 1999 IMPA, ...

68.
The importance of being fuzzy: and other insights from the border between math and computers/ Arturo Sangalli. by
  • Sangalli, Arturo, 1940-
Publication details: Princeton, N.J.: Princeton University Press, c1998
Availability: Items available for loan: Castorina (1)Call number: 006.3 S225i 1998 IMPA.

69.
Visualizing mathematics with 3D printing/ Henry Segerman. by
  • Segerman, Henry, 1979-
Publisher: Baltimore: Johns Hopkins University Press, 2016
Availability: Items available for loan: Castorina (1)Call number: 516.0286 S454v 2016 IMPA.

70.
Tools for computational finance/ Rüdiger U. Seydel. by
  • Seydel, R. (Rüdiger), 1947-
Series: Universitext
Edition: 4th ed.
Publication details: Berlin: Springer, c2009
Availability: Items available for loan: Castorina (1)Call number: 332.015195 S519t 2009 IMPA.

71.
Symbolic asymptotics/ John R. Shackell. by
  • Shackell, John R, 1943-
Series: Algorithms and computation in mathematics ; v. 12.
Publication details: Berlin; New York: Springer, c2004
Online access:
Availability: Items available for loan: Castorina (1)Call number: 511.8 S524s 2004 IMPA.

72.
Maple and Mathematica: a problem solving approach for mathematics/ Inna Shingareva, Carlos Lizárraga-Celaya. by
  • Shingareva, Inna
  • Lizárraga-Celaya, Carlos
Publication details: Wien; New York: Springer, c2007
Availability: Items available for loan: Castorina (1)Call number: 512 S556m 2007 IMPA.

73.
An introduction to parallel and vector scientific computing/ Ronald W. Shonkwiler, Lew Lefton. by
  • Shonkwiler, Ronald W, 1942-
  • Lefton, L (Lew), 1960
Series: Cambridge texts in applied mathematics ; 41.
Publication details: New York: Cambridge University Press, 2006
Availability: Items available for loan: Castorina (1)Call number: 004.35 S559i 2006 IMPA.

74.
Mathematics and computers/ [by] George R. Stibitz and Jules A. Larrivee. by
  • Stibitz, George R. (George Robert), 1904-
  • Larrivee, Jules A. (Jules Alphonse), 1909- [joint author.]
Edition: 1st ed.
Publication details: New York: McGraw-Hill, 1957
Availability: Items available for loan: Castorina (1)Call number: 510.285 S854m 1957 IMPA.

75.
Computable analysis: an introduction/ Klaus Weihrauch. by
  • Weihrauch, K. (Klaus), 1943-
Series: Texts in theoretical computer science
Publication details: Berlin; New York: Springer-Verlag, c2000
Availability: Items available for loan: Castorina (1)Call number: 515 W419c 2000 IMPA.

76.
Computers, rigidity, and moduli: the large-scale fractal geometry of Riemannian moduli space/ Shmuel Weinberger. by
  • Weinberger, Shmuel
Series: M. B. Porter lectures
Publication details: Princeton, N.J.: Princeton University Press, c2005
Availability: Items available for loan: Castorina (1)Call number: 516.373 W423c 2005 IMPA.

77.
The mathematica book/ Stephen Wolfram. by
  • Wolfram, Stephen
  • Wolfram, Stephen
Edition: 3rd ed. (prerelease version for beta testers).
Publication details: Champaign, IL: Wolfram Media, c1996
Availability: Not available: Castorina: Lost (1).

78.
muMath: a microcomputer algebra system/ C. Wooff and D. Hodgkinson. by
  • Wooff, C
  • Hodgkinson, D
Publication details: London Orlando: Academic Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 512.0285 W912m 1987 IMPA.

79.
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving/ by Wu Wen-tsun. by
  • Wu, Wen-tsün
Series: Mathematics and its applications ; v. 489.
Publication details: Boston: Kluwer Academic, 1999
Availability: Items available for loan: Castorina (1)Call number: 511.3 W959m 1999 IMPA.

80.
Fundamental problems of algorithmic algebra/ Chee Keng Yap. by
  • Yap, Chee-Keng
Publication details: New York: Oxford University Press, C2000
Availability: Items available for loan: Castorina (1)Call number: 512.0285 Y25f 2000 IMPA.

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


Powered by Koha