NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Proceedings of the 1968 Summer Institute on Symbolic Mathematical ComputationInvestigating symbolic mathematical computation using PL/1 FORMAC batch system and Scope FORMAC interactive system
Document ID
19710009710
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Tobey, R. G. (International Business Machines Corp. Cambridge, MA, United States)
Date Acquired
August 6, 2013
Publication Date
June 1, 1969
Subject Category
Mathematics
Report/Patent Number
NASA-CR-116915
FSC-69-0312
Report Number: NASA-CR-116915
Report Number: FSC-69-0312
Accession Number
71N19185
Funding Number(s)
CONTRACT_GRANT: N00014-68-C-0479
CONTRACT_GRANT: NSR-34-003-039
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle19710009711WorkThe problem of substitution19710009712WorkDesign and data structure - FORMAC organization in retrospect19710009713WorkCalculation of tables of inverses and determinants of finite segments of the Hilbert matrix19710009714WorkThe Scope FORMAC language19710009715WorkAn attempt to solve differential equations symbolically19710009716WorkSome symbolic computations in finite fields19710009717WorkSymbolic-numeric eigenvalue problems in quantum mechanics19710009718WorkThe use of computer aided symbolic mathematics to explore the higher derivatives of Bellman's equation19710009719WorkSymbolic integration of elementary functions19710009720WorkAsymptotics for formula manipulation19710009721WorkComputing time analyses for some arithmetic and algebraic algorithms19710009722WorkSymbolic methods for the computer solution of linear equations with applications to flowgraphs19710009723WorkSignificant problems in symbolic mathematics19710009711WorkThe problem of substitution19710009712WorkDesign and data structure - FORMAC organization in retrospect19710009713WorkCalculation of tables of inverses and determinants of finite segments of the Hilbert matrix19710009714WorkThe Scope FORMAC language19710009715WorkAn attempt to solve differential equations symbolically19710009716WorkSome symbolic computations in finite fields19710009717WorkSymbolic-numeric eigenvalue problems in quantum mechanics19710009718WorkThe use of computer aided symbolic mathematics to explore the higher derivatives of Bellman's equation19710009719WorkSymbolic integration of elementary functions19710009720WorkAsymptotics for formula manipulation19710009721WorkComputing time analyses for some arithmetic and algebraic algorithms19710009722WorkSymbolic methods for the computer solution of linear equations with applications to flowgraphs19710009723WorkSignificant problems in symbolic mathematics
No Preview Available