ANALYTIC
Title:
Can computers routinely discover mathematical proofs?
Parent:
American Philosophical Society. Proceedings, v.128, no.1
Publication:
American Philosophical Society, Philadelphia, 1984.
Call #:
506.73 AM4P V.128, NO.1
Extent:
p.40-43 ; 25 1/2 cm.
ANALYTIC
Title:
The Use of the computer in the proof of the Four Color Theorum
Parent:
American Philosophical Society. Proceedings, v.128, no.1
Creator:
Appel, Kenneth I., 1932-
Publication:
American Philosophical Society, Philadelphia, 1984.
Call #:
506.73 AM4P V.128, NO.1
Extent:
p.35-39 ; 25 1/2 cm.
ANALYTIC
Title:
The death of proof
Parent:
Scientific American, v.269, no.4
Creator:
Horgan, John, 1953-
Publication:
New York, 1993.
Call #:
505 SCI23 V.269, NO.4
Extent:
p.[92]-103 : col. illus., col. ports. ; 27 1/2 cm.
BOOK
Title:
Science, computers, and people: from the tree of mathematics
Creators:
Ulam, Stanislaw M. | Rota, Gian-Carlo, 1932- | Reynolds, Mark C.
Publication:
Birkhaüser, Boston, c1986.
Extent:
xxi, 264 p. : illus., charts ; 24 cm.
ANALYTIC
Title:
The Challenge of large numbers
Parent:
Scientific American, v.276, no.2
Creator:
Crandall, Richard E., 1947-
Publication:
New York, 1997.
Call #:
505 Sci23 v.276, no.2
Extent:
p.74-78 : col. illus. ; 27 cm.
BOOK
Title:
The mathematica book. Prospectus
Creator:
Wolfram, Stephen, 1959-
Publication:
Wolfram Media, Champaign, Ill, [c1996]
BOOK
Title:
Approximations for digital computers
Creators:
Hastings, Cecil, 1920- | Hayward, Jeanne T. | Wong, James P.
Publication:
Princeton University Press, Princeton, N.J, 1955.
Notes:
Bibliography: p. 201.
Extent:
viii, 201 p. : charts ; 24 cm.
BOOK
Title:
The mathematica book
Creators:
Wolfram, Stephen, 1959- | Wolfram, Stephen.
Publication:
Wolfram Media, Cambridge University Press, Champaign, Ill, Cambridge [England], c1996.
Notes:
Rev. ed. of: Mathematica. 2nd ed. 1990. Includes index.
Extent:
xxiv, 1403 p. : col. illus., (col.) diagrs. ; 23 1/2 cm.
BOOK
Title:
Mathematical aspects of computer science
Creators:
Symposium in Applied Mathematics (19th : 1966 : New York, N.Y.) | Schwartz, Jacob T. | American Mathematical Society
Publication:
American Mathematical Society, Providence, 1967.
Notes:
Includes bibliographies.
Extent:
v, 224 p. : charts, diagrs., tables ; 26 cm.
BOOK
Title:
The mathematical work of Charles Babbage
Creators:
Dubbey, J. M. (John Michael), 1934- | Babbage, Charles, 1791-1871
Publication:
Cambridge University Press, Cambridge, [Eng.], 1978.
Notes:
Includes bibliographical references and index. Bibliography of Charles Babbage's works: p.230-231.
Extent:
viii, 235 p. : front. (port.), illus., diagrs. ; 22 1/2 cm.
BOOK
Title:
Mathematical methods for digital computers
Creators:
Ralston, Anthony | Wilf, Herbert S., 1931-2012 | Enslein, Kurt | Goldstine, Herman H. (Herman Heine), 1913-2004
Publication:
Wiley, New York, [1960-77]
Notes:
Vol. 3 also has special title: Statistical methods for digital computers. Vol. 3: Edited by K. Enslein, A. Ralston, and H.S. Wilf. Includes bibliographical references.
Extent:
3 volumes : illustrations ; 27 cm