Your search returned 17 results.

Sort
Results
1.
Groups and computation: workshop on groups and computation, October 7-10, 1991/ Larry Finkelstein, William M. Kantor, editors. by
  • Finkelstein, Larry
  • Kantor, W. M. (William M.), 1944-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 11
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 512.2 G882 1993 IMPA.

2.
Trends in computer algebra: international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings/ R. Janssen, ed. by
  • Janssen, R. (Rainer)
  • IBM Deutschland. Scientific Programs Departament
  • IBM Deutschland
Series: Lecture notes in computer science ; 296.
Publication details: Berlin ; New York: Springer-Verlag, c1988
Availability: Items available for loan: Castorina (1).

3.
Computer algebra and differential equations/ edited by E. Tournier. by
  • Tournier, E
Series: London Mathematical Society lecture note series ; 193.
Publication details: Cambridge, UK; New York: Cambridge University Press, 1994
Availability: Items available for loan: Castorina (1)Call number: 515.35 C738 1994 IMPA.

4.
Algebraic computing with REDUCE: lecture notes from the First Brazilian School on Computer Algebra/ edited by Malcolm A.H. MacCallum and Francis J. Wright. by
  • MacCallum, M. A. H
  • Wright, Francis J
  • Brazilian School on Computer Algebra (1st : 1989 : Rio de Janeiro, Brazil)
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1991
Availability: Items available for loan: Castorina (1)Call number: 512.002 A394 1991 IMPA.

5.
Computer algebra/ edited by David V. Chudnovsky, Richard D. Jenks. by
  • Chudnovsky, D. (David), 1947-
  • Jenks, Richard D
  • National Science Foundation (U.S.)
Series: Lecture notes in pure and applied mathematics ; v. 113.
Publication details: New York: M. Dekker, c1989
Availability: Items available for loan: Castorina (1)Call number: 512.002 C738 1989 IMPA.

6.
Computers in algebra/ edited by Martin C. Tangora. by
  • Tangora, Martin C
  • University of Illinois at Chicago. Graduate College
  • University of Illinois at Chicago. College of Liberal Arts and Sciences
  • University of Illinois at Chicago. Office of Continuing Education
  • Conference on Computers in Algebra (1985 : University of Illinois at Chicago)
Series: Lecture notes in pure and applied mathematics ; v. 111
Publication details: New York: M. Dekker, c1988
Availability: Items available for loan: Castorina (1)Call number: 512.002 C738 1988 IMPA.

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

8.
ISSAC 99: July 29-31, 1999, Simon Fraser University, Vancouver, BC, Canada : proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation/ Sam Dooley, editor. by
  • Dooley, Sam
  • Association for Computing Machinery. Special Interest Group on Symbolic & Algebraic Manipulation
  • ACM Digital Library
  • International Symposium on Symbolic and Algebraic Computation (1999: Vancouver, B.C.)
; Format: electronic
Publication details: New York: ACM Press, c1999
Other title:
  • Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
  • International Symposium on Symbolic and Algebraic Computation
Availability: Items available for loan: Castorina (1)Call number: 004.015 I86 1999 IMPA.

9.
ISSAC MMVI: International Symposium on Symbolic and Algebraic Computations, July 9-12, 2006, Genova, Italy : proceedings/ editor, Jean-Guillaume Dumas. by
  • Dumas, Jean-Guillaume
  • Association for Computing Machinery
  • International Symposium on Symbolic and Algebraic Computation (2006: Genova, Italy)
Publication details: New York: Association for Computing Machinery, c2006
Other title:
  • Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computations.
  • International Symposium on Symbolic and Algebraic Computations
  • ISSAC 2006.
Availability: Items available for loan: Castorina (1)Call number: 004.015 I86 2006 IMPA.

10.
Applied algebra, algorithmics and error-correcting codes: 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984 : proceedings/ edited by Alain Poli. by
  • AAECC-2 (1984 : Toulouse, France)
  • Poli, Alain, 1939-
Series: Lecture notes in computer science ; 228.
Language: engfre
Publication details: Berlin ; New York: Springer-Verlag, c1986
Availability: Items available for loan: Castorina (1).

11.
Applicable algebra, error-correcting codes, combinatorics and computer algebra: proceedings/ 4th international conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986 ; Th. Beth, M. Clausen (eds.). by
  • AAECC-4 (1986 : Karlsruhe, Germany)
  • Beth, Thomas, 1949-
  • Clausen, Michael
Series: Lecture notes in computer science ; 307.
Publication details: Berlin ; New York: Springer-Verlag, c1988
Availability: Items available for loan: Castorina (1).

12.
Applied algebra, algebraic algorithms, and error-correcting codes: 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings/ L. Huguet, A. Poli (eds.). by
  • AAECC-5 (1987 : Menorca, Spain)
  • Huguet, L. (Llorenç), 1953-
  • Poli, Alain, 1939-
Series: Lecture notes in computer science ; 356.
Publication details: Berlin ; New York: Springer-Verlag, c1989
Availability: Items available for loan: Castorina (1).

13.
Applied algebra, algebraic algorithms, and error-correcting codes: 6th international conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings/ T. Mora, ed. by
  • AAECC-6 (1988 : Rome, Italy)
  • Mora, Teo
Series: Lecture notes in computer science ; 357.
Publication details: Berlin ; New York: Springer-Verlag, c1989
Availability: Items available for loan: Castorina (1).

14.
Computer algebra : EUROCAM '82, European computer algebra conference, Marseille, France, 5-7 April 1982/ edited by Jaques Calmet. by
  • European Computer Algebra Conference (1982: Marseille, France)
  • Calmet, Jacques
Series: Lecture notes in computer science ; 144
Publication details: Berlin: New York: Springer-Verlag, 1982
Availability: Items available for loan: Castorina (1).

15.
Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings/ P. Gianni, ed. by
  • International Symposium ISSAC '88 (1988: Rome, Italy)
  • Gianni, P. (Patrizia), 1952-
  • AAECC-6 (1988: Rome, Italy)
Series: Lecture notes in computer science ; 358
Publication details: Berlin: New York: Springer-Verlag, c1989
Availability: Items available for loan: Castorina (1).

16.
EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984/ edited by John Fitch. by
  • International Symposium on Symbolic and Algebraic Computation (1984 : Cambridge, England)
  • Fitch, John, 1945-
Series: Lecture notes in computer science ; 174.
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).

17.
Computers in algebra and number theory/ Edited by Garrett Birkhoff and Marshall Hall, Jr. by
  • Symposium on Computers in Algebra and Number Theory (1970 : New York)
  • Birkhoff, Garrett, 1911- [ed.]
  • Hall, Marshall, 1910- [ed.]
  • American Mathematical Society
Series: SIAM-AMS proceedings ; v. 4.
Publication details: Providence, R.I.: American Mathematical Society, 1971
Availability: Items available for loan: Castorina (1).

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


Powered by Koha