Your search returned 81 results.

Sort
Results
21.
S-Plus 6.1 for Windows supplement. by
  • Insightful (Firm)
Publication details: Seattle: Insightful Corporation, c2002
Other title:
  • S-Plus 6 supplement for Windows
Availability: Items available for loan: Castorina (1)Call number: 005 S761 2002 IMPA.

22.
Differential equations with symbolic computation/ Dongming Wang, Zhiming Zheng, editors. by
  • Wang, Dongming
  • Zheng, Zhiming
Series: Trends in mathematics
Publication details: Basel; Boston: Birkhäuser, c2005
Online access:
Availability: Items available for loan: Castorina (1)Call number: 515.353 D569 2005 IMPA.

23.
Experimental mathematics in action/ David H. Bailey ... [et al.]. by
  • Bailey, David H
Publication details: Wellesley, Mass.: A K Peters, c2007
Availability: Items available for loan: Castorina (1)Call number: 510 E96 2007 IMPA.

24.
Communicating mathematics in the digital era/ edited by J.M. Borwein, E.M. Rocha, J.F. Rodrigues. by
  • Borwein, Jonathan M
  • Rocha, E. M. (Eugenio M.)
  • Rodrigues, José-Francisco
Publication details: Wellesley, Mass.: A K Peters, c2008
Availability: Items available for loan: Castorina (1)Call number: 621.367 C734 2008 IMPA.

25.
Logic in computer science/ editor, Zoran Ognjanovic. by
  • Ognjanovic, Zoran
Series: Zbornik radova (Srpska akademija nauka) ; knj. 12 (20).
Publication details: Beograd: Matematicki Institut SANU, 2009
Availability: Items available for loan: Castorina (1)Call number: 005.131 L832 2009 IMPA.

26.
Simula research laboratory: by thinking constantly about it/ Aslak Tveito, Are Magnus Bruaset, Olav Lysne, editors. by
  • Tveito, Aslak, 1961-
  • Bruaset, A. M. (Are Magnus)
  • Lysne, Olav
Publication details: Heidelberg: Springer,
Availability: Items available for loan: Castorina (1)Call number: 001.4 S614 2010 IMPA.

27.
Linear algebra and optimization for machine learning: a textbook/ Charu C. Aggarwal. by
  • Aggarwal, Charu C
Publication details: Cham, Switzerland: Springer, 2020
Availability: Items available for loan: Castorina (1)Call number: 512.5 A266l 2020 IMPA.

28.
Elements of computer algebra with applications/ Alkiviadis G. Akritas. by
  • Akritas, Alkiviadis G, 1949-
Publication details: New York: Wiley, c1989
Availability: Items available for loan: Castorina (1)Call number: 512 A315e 1989 IMPA.

29.
Computational complexity: a modern approach/ Sanjeev Arora, Boaz Barak. by
  • Arora, Sanjeev
  • Barak, Boaz
Publication details: Cambridge, UK; New York: Cambridge University Press, 2009
Availability: Items available for loan: Castorina (1)Call number: 511.352 A769c 2009 IMPA.

30.
Mathematica in theoretical physics: selected examples from classical mechanics to fractals/ Gerd Baumann. by
  • Baumann, Gerd
Language: English Original language: German
Publication details: New York: Santa Clara, Calif.: Springer, TELOS, c1996
Availability: Items available for loan: Castorina (1)Call number: 530.028 B347m 1996 IMPA.

31.
Learning discrete mathematics with ISETL/ Nancy Baxter, Ed Dubinsky, Gary Levin. by
  • Baxter Hastings, Nancy
  • Dubinsky, Ed
  • Levin, Gary
Publication details: New York: Springer-Verlag, c1989
Availability: Items available for loan: Castorina (1)Call number: 511.6 B355l 1989 IMPA.

32.
Mathematics by experiment: plausible reasoning in the 21st century/ Jonathan Borwein, David Bailey. by
  • Borwein, Jonathan M
  • Bailey, David H
Publication details: Natick, MA: A K Peters, c2004
Availability: Items available for loan: Castorina (1)Call number: 510.285 B739m 2004 IMPA.

33.
The computer as crucible: an introduction to experimental mathematics/ Jonathan Borwein, Keith Devlin ; with illustrations by Karl H. Hofmann. by
  • Borwein, Jonathan M
  • Devlin, Keith J
Publication details: Wellesley, Mass.: A K Peters, c2009
Online access:
Availability: Items available for loan: Castorina (1)Call number: 510 B739c 2009 IMPA.

34.
Computer algebra with LISP and REDUCE: an introduction to computer-aided pure mathematics/ by F. Brackx and D. Constales. by
  • Brackx, F
  • Constales, D
Series: Mathematics and its applications ; v. 72.
Publication details: Dordrecht ; Boston: Kluwer Academic, c1991
Availability: Items available for loan: Castorina (1)Call number: 512 B797c 1991 IMPA.

35.
Symbolic integration I: transcendental functions/ Manuel Bronstein. by
  • Bronstein, Manuel
Series: Algorithms and computation in mathematics
Publication details: Berlin; New York: Springer, c1997
Other title:
  • Symbolic integration one
Availability: Items available for loan: Castorina (2)Call number: 515 B869s 1997 IMPA, ...

36.
Bayesian scientific computing / Daniela Calvetti, Erkki Somersalo. by
  • Calvetti, Daniela [author.]
  • Somersalo, Erkki [author.]
Series: Applied mathematical sciences (Springer-Verlag New York Inc.) ; 215.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ©2023
Online access:
Availability: Items available for loan: Castorina (1)Call number: 515.357 C167b 2023 IMPA.
Lists:

37.
Mathematical explorations with MATLAB/ Ke Chen, Peter Giblin, Alan Irving. by
  • Chen, Ke, 1962-
  • Giblin, P. J
  • Irving, Alan
Publication details: Cambridge, UK: New York: Cambridge University Press, 1999
Availability: Items available for loan: Castorina (1)Call number: 519.402 C518m 1999 IMPA.

38.
Mechanical geometry theorem proving/ Shang-Ching Chou. by
  • Chou, Shang-Ching, 1942-
Series: Mathematics and its applications (D. Reidel Publishing Company)
Publication details: Dordrecht; Boston: Norwell, MA: D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic, c1988
Availability: Items available for loan: Castorina (2)Call number: 516.002 C552m 1988 IMPA, ...

39.
Discrete H [infinity] optimization: with applications in signal processing and control systems/ C.K. Chui, G. Chen. by
  • Chui, C. K
  • Chen, G. (Guanrong)
  • Chui, C. K. Signal processing and systems theory
Series: Springer series in information sciences ; 26
Edition: 2nd ed.
Publication details: Berlin; New York: Springer, c1997
Availability: Items available for loan: Castorina (1)Call number: 620 C559d 1997 IMPA.

40.
Computer algebra and symbolic computation: elementary algorithms/ Joel S. Cohen. by
  • Cohen, Joel S
Publication details: Natick, MA: A K Peters, 2002
Availability: Items available for loan: Castorina (2)Call number: 512 C678c 2002 IMPA, ...

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


Powered by Koha