Best Available Copy The work reported here was carried out within Project MAC, an M.I.T. research laboratory. Support was provided by: The Advanced Research Projects Agency of the Department of Defense, under Office of Naval Research Contracts Nonr-4102(01), -(02), and Defense Supply Service Contract DAHC15 69 C 0347; The National Aeronautics and Space Adminis- tration, under Contracts NCR 22-009-393 and NAS 12-2093; The National Science Foundation, under Contracts GJ-432 and GJ-1049; The National Library of Medicine, under Contract PH-43-68-1249. ,The support for some of this work came from the M.I.T. Departments and laboratories that participate in Project MAC and whose research programs are, in turn, sponsored by Government and private agencies. Reproduction of this report, in whole or in part, is permitted for any purpose of the United States Government. Distribution of this document is unlimited. /.CjggjgJl sfsn ... RITE SECTION 4; 001 ' BUTF SECTION [ muL CSB. D «nritATiai I (Pur cover illustrates four brief dialogues BY with MACSYMA, a computer system for algebraic DISTBIB,jt!nH/AVAi!.>,,5?).ITY C( f. Manipulation under development at Project MAC since 1968. The lines labeled Cl through C7 D!ST. ,VAIL, r- kre displays of lines typed in by a user, and 'translated to two-dimensional format on a typewriter-like device. The lines labeled D2 through D7 are computed responses to commands. The examples demonstrate some recent improve- ments to MACSYMA which include the ability to "evaluate limits, improper integrals, and power series expansions. ■ UNCLASSIFIED Security Classification DOCUMENT CONTROL DATA - R&D (Secunly clataillcmtion ol riff», body ot mbmtimct and n. »«m^ annofarfon mual ba antarad whan tha ovarall raport ia claaailtad) I. ORIGINATING ACTIVITY (Corporala author) 2* REPORT SECURITY CLASSIFICATION Massachusetts Institute of Technology UNCLASSIFIED Project MAC 2t>. CROUP None 3 RtPORT TITLE Project MAC Progress Report VII July I969 to July 1970 4. DESCRIPTIVE NOTES (Typa ol raporl and IncluBlva dalaa) Annual Progress S. AUTHORISI (Last name, Ural nMna, inlllal) Collection of reports from Project MAC participants Prof. J. C. R. Licklider, Director 6. REPORT DATE 7«. TOTAL NO. OF PAGES 7b. NO. OF REFS 1 July 1970 Ii6_ (In Text) ia CONTRACT OR GRANT NO. «a. ORIGINATOR'S REPORT NUMBERIS) Nonr-'HOZCOl), -(02) b. PROJECT NO. MAC Progress Report Vll tb. OTHER REPORT NOIS) (Any olhar numbara thai may ba mtaltnad Ihla taporl) 10. AVAILABILITY/LIMITATION NOTICES This document has been approved for public release and sale; its distribution is unlimited. II. SUPPLtMENTARY NOTES 12. SPONSORING MILITARY ACTIVITY Advanced Research Projects Agency None 3D-200 Pentagon Washington. P.C. 20301 IJ. ABSTRACT ■• The broad goal of Project MAC is experimental investigation of new ways in which on-line use of computers can aid people in their individual work, whether research, engineering design, management or education. TW.S is the seventh annual Progress Report summarizing the research carried out under the sponsorship of Project MAC. Details of this research may be found in the publications listed at the end of each section and in Appendix A. D D c v ■ nr \ NOV 00 im - ... 14. KEY WORDS If I i 0n-Line Computers Time-Sharing Dynamic Modetr mg Tt; Multiple-Access Computers Information Systems Programming Linguistics Real-Time Computers Artificial Intelligence Computation Structures Computer Networks Machine-Aided Cognition Theory of Automata Interactive Management Graphics Hybrid Ci rcuits 00.^1.1473 (M.I.T.) UNCLASSIFIED Security Classification PROGRESS REPORT VII JULY 1969 to JULY 1970 PROJECT MAC MASSACHUSETTS INSTITUTE OF TECHNOLOGY Cambridge, Massachusetts 02139 545 Technology Square PROJECT MAC JULY 1969 to JULY 1970 D. S. Acker man S. A. Brooks W. Acker man M. S. Broos A. C. Adams A. L. Brown S. M. Adams C. Brown G. K. Adler E. Brown H. Adler K. M. Brown E. Albanese H. P. Brück W. Allen G. G. Bruere-Dawson C. W. Andrews R. Bryan G. S. Andrews D. E. Bur master R. Ascott M. C. Burnham H. Ashley R. Bushkoff A. Bagchi T. F. Callahan B. J. Bailin A. Campbell M. E. Baker R. H. Campbell E. Banks I. R. Campbell-Grant D. Bar ma D. Capps A. Bardou O. D. Carey W. Bass K. J. Carley W. F. Bauer T. Carlton R. C. Bean S. Carney R. Beatty R. Carpenter M. D. Beeler M. Carr P. Bennett L. S. Cavallaro V. M. Berardinelli C. Chang R. M. Berman J. R. Cecil W. T. Beyer E. Charniak A. K. Bhushan J. C. Cheney R. J. Bigelow M. T. Cheney W. D. Bilofsky L. M. Chui T. W. Binford D. D. Clark G. R. S. Bingham J. Coffman P. B. Bishop J. Cohan E. H. Black M. A. Cohen M. Bogue N. J. Colvin J. W. Brackett M. J. Connell , P. Brandler L. J. Connelly P. G. W. Bras Prof. F. J. Corbato M. F. Brescia R. Crowley R. D. Bressler S. E. Cutler D. Bricklin R. C. Daley H. R. Brodie D. T. Dalton M. Bromberg C. A. Dancey . B. K. Daniels R. Frankston T. M. Dattilo W. A. Freeman A. J. Davidoff J. S. Freiberg D. R. Dawson E. Freuder P. E. deCoriolis J. D. Fulton H. M. Deitel J. A. Friel Prof. J. B. Dennis M. G. Furze F. L. DeRemer P. Gagner J. DeRosnay E. A. Gardner Prof. M. L. Dertouzos R. L. Gardner J. D. DeTreville C. C. Garman M. W. Dickens S. Garner J. Dionne S. L. Geffner S. Dimond J. L. Gertz Prof. J. J. Donovan J. P. Golden P. Dorin R. E. Golden, HI C. P. Doyle R. S. Goldhor H. R. Drab, Jr. I. Goldstein M. S. Draper R. C. Goldstein F. Drenckham Prof. G. A. Gorry, Jr. D. Duggento R. W. Gosper S. D. Dunten C. D. Graceffa R. S. Eanes Prof. R. M. Graham D. E. Eastlake M. J. Grano J. W. Eddleman P. A. Green M. Edelberg R. S. Green R. M. Elkin R, D. Greenblatt J. R. Ellerman J. M. Greene Prof. A. Evans, Jr. I. G. Greif J. R. Evans J.-Y. Gresser S. Fahlman A. K. Griffith Prof. R. M. Fano J. M. Grochov/ R. J. Fateman F. Guertin R. J. Feiertag R. H. Gumpertz S. Feldman Prof. A. Guzman H. Fell M. Hack Prof. R. R. Fenichel M. K. Hadley J. G. Fiascanaro D. Hall Prof. M. J. Fischer M. M. Hammer R. Fish A. Hanover T. Fitzpatrick P. Hardin R. J. Fleischer R. J. Harman L. T. Flynn J. H. Harris J. L. Fowler Prof. M. Harrison E. Fox B. Harvey P. J. Fox J. F. Haverty VI P. G. Hebalkar E. I. Kohn D. A. Henderson, Jr. D. Kontrimus W. H. Henneman L. J. Krakauer Prof. F. C. Hennie J. Kulick A. Herskovits M. Lambrinides C. E. Hewitt D. Lang D. C. Hill P. Leach R. F. Hill P. D. Lebling M. G. Hinchey R. J. Lecompte P. Hirshon P. M. Ledoux, Jr. R. Hoeft B. P. Lester J. T, Holloway C. Leung P. Holloway Prof. J. C. R. Licklider B. K. P. Horn J. C. Lind E. C. Horvath R. Lindsay B. D. Hubbard L. Lipman P. W. Hughett Prof. C. L. Liu W. F. Hui P. Loewe W. G. Hutchinson, Jr. S. Lothes K. M. Jacobs Prof. F. L. Luconi L. H. Jamieson C. Lynn J. L. Jaroslav R. F. Mabee J. P. Jarvis, HI J. Macko P. Jensen S. E. Madnick J. W. Johnson P. S. Malek L. Johnson R. Mandl R. Johnston M. J. Marcus D. L. Tones K. J. Martin Prof. M. M. Jones Prof. W. A. Martin T. L. Jones W. D. Mathews E. I. Kampits T. McLaughlin R. K. Kanodia J. J. McGillivray E. I. Katz D. McMillan R. M. Katz R. P. McNamara D. Kaufman R. M. Metcalfe C. A. Kessel C. R. Mehta M. M. Kessler Prof. A. Meyer D. J. Kfoury E. W. Meyer, Jr. C. Kidwell P. L. Miller P. A. King R. G. Mills E. S. Klang J. M. Milner P. R. Klein Prof. M. L. Minsky J. C. Kl ens in G. H. H. Mitchell W. J. Klos, Jr. R. M. Moll T. F. Knight P. Monaco Prof. Z. Kohavi S. Montgomery vn , E. T. Moore R. Roach R. C. Moore R. B. Roberts B. A. Morneault E. M. Roderick N. I. Morris G. T. Roe S. L. Morton J. S. Roe Prof. -^T. Moses B. Rosenbaum S. R. Murphy L. J. Rotenberg D. Murthy J. Rothnie S. K. R. Murthy A. Rubin E. Nangle J. B. Rubin S. B. Nelson Prof. J. H. Saltzer Prof. D. N. Ness P, R. Samson J, R. Nestor S. Saunders R. E, Neubauer D. C. Scanlon W. Y. Ng R. R. Schell S. E. Niles A. Scherer R. Noftsker M. D. Schroeder G. E. Nose worthy R. C. Schroeppel J. Nourse J. Schwartz C. Obler K. Schwartz B. Ong Prof. M. S. Scott-Morton R. Orban J. I. Seiferas R. C. Owens, Jr. A. Sekino M. A. Padlipsky H. L. Selesnick M. A. Pagliarulo L. Seligman P. A. Pangaro L. I. Selwyn L. G. Pantalone T. H. Seymore Prof. S. A. Papert J. M. Shah Prof. M. S. Paterson G. Sharp S. S. Patil H. J. Siegel D. Peaselee D. Silver J. T. Pepe K, K. Simpson R. Petrivalle L. B. S. Sloan P. Pichoir T. P. Skinner J. L. Piggins N. J. Smith J. E. Pinella S. W. Smoliar L. K. Platzman J. Snell W. Plummer C. Solomon C. Ramchandani M. V. Solomita K. Reagan J. W. Spall E. T. Reardon M. Speciner D. P. Reed M. J. Spier C.