You Searched for:
Mathematics in subject [X]
Computers in subject [X]
Results:  12 Items   Page: 1

Subject

Computers

ANALYTIC

Title:  
Can computers routinely discover mathematical proofs?
Parent:
American Philosophical Society. Proceedings, v.128, no.1
Creator:
Cook, Stephen A.
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.
Call #:  
510.4 UL1S
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]
Call #:  
510.78 W83M



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.
Call #:  
510.78 H27A
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.
Call #:  
510.78 W83M
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.
Call #:  
510.78 SY6M.19
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.
Call #:  
519.4092 D85M
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.
Call #:  
518.61 R16m
Extent:
3 volumes : illustrations ; 27 cm



MANUSCRIPT COLLECTION

Dates:
1916-1984
Abstract:  

A gifted mathematician, Polish-born Stanislaw Ulam made contributions to set theory, topology, mathematical logic, and number theory, but is most widely remembered for his work in fostering the technical development of thermonuclear weapons. He was associated with Los Alamos Scientific Laboratories for most of the years between 1943 and 1965, and thereafter with the University of Colorado. These papers include personal and professional correspondence, manuscripts of both published and unpublished works, and memorabilia.
Call #:  
Mss.Ms.Coll.54
Extent:
36 Linear feet
Subjects: