The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FORMAC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1971 (15) 1973-1993 (7)
Publication types (Num. hits)
article(13) book(1) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
158L. D. Neidleman An application of FORMAC. Search on Bibsonomy Commun. ACM The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
82Robert G. Tobey Eliminating monotonous mathematics with FORMAC. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
36James C. Howard, Howard Tashjian An algorithm for deriving the equations of mathematical physics by symbolic manipulation. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF FORMAC, continuity equation, curvilinear coordinate systems, tensor equation, FORTRAN, tensor, symbolic manipulation, Navier-Stokes equations
31Jean E. Sammet The Beginning and Development of FORMAC (FORmula MAnipulation Compiler). Search on Bibsonomy HOPL Preprints The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Carl W. David Constrained variation of molecular geometry using FORMAC. Search on Bibsonomy Comput. Chem. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
31James N. Hanson, Phillip Russo Some data conversions for managing the internal and output form of formac constants. Search on Bibsonomy SIGSAM Bull. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
31Knut Bahr Utilizing the FORMAC novelties. Search on Bibsonomy SIGSAM Bull. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
31J. A. van Hulzen FORMAC today, or what can happen to an orphan. Search on Bibsonomy SIGSAM Bull. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
31Knut A. Bahr Toward a revision of FORMAC. Search on Bibsonomy SIGSAM Bull. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
31André Laplace FORmac DEsk CALculator‎ : un outil de mise au point et d'aide au calcul formel sur ordinateur. Search on Bibsonomy 1973   RDF
31John Xenakis The PL/I-FORMAC Interpreter. Search on Bibsonomy SYMSAC The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
31Samuel D. Oman An application of formac to the Computation of coverage functions. Search on Bibsonomy SYMSAC The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
31N. Chepurniy Evaluation of high-order polynomial triangular finite elements using FORMAC. Search on Bibsonomy SYMSAC The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
31Robert G. Tobey Experience with FORMAC algorithm design. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
31Elizabeth H. Cuthill A FORMAC program for the solution of linear boundary and initial value problems. Search on Bibsonomy SYMSAC The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
31Elaine R. Bond History, features, and commentary on FORMAC. Search on Bibsonomy SYMSAC The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
31Robert G. Tobey, Robert J. Bobrow, Stephen N. Zilles Automatic simplification in FORMAC. Search on Bibsonomy AFIPS Fall Joint Computing Conference (1) The full citation details ... 1965 DBLP  DOI  BibTeX  RDF
31Jean E. Sammet, E. R. Bond Introduction to FORMAC. Search on Bibsonomy IEEE Trans. Electron. Comput. The full citation details ... 1964 DBLP  DOI  BibTeX  RDF
31Elaine R. Bond, Marc A. Auslander, S. Grisoff, Robert Kenney, Mat Myszewski, Jean E. Sammet, Robert G. Tobey, Stephen N. Zilles FORMAC an experimental formula manipulation Compiler. Search on Bibsonomy ACM National Conference The full citation details ... 1964 DBLP  DOI  BibTeX  RDF
25John J. Walton Tensor calculations on computer: appendix. Search on Bibsonomy Commun. ACM The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
25John J. Walton Tensor calculations on the computer. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
25Joel Moses Solutions of systems of polynomial equations by elimination. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license