Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056098940> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2056098940 endingPage "504" @default.
- W2056098940 startingPage "495" @default.
- W2056098940 abstract "A formal system is presented for the differentiation of mathematical formulas which can be implemented on a digital computer. The system departs in concept from others in that the programming language is nonprocedural, permitting the statement of the problem for the machine to more closely resemble the corresponding statement for the human. Although limited ostensibly to the narrow and well-defined problem of mechanizing differentiation, many of the ideas and techniques presented can be applied in the broader context of the deeper problem of mechanizing mathematics. They should also be useful in programming theory, where the fundamental problem continues to be the narrowing of the gap between a natural language statement of a problem and a formal language statement acceptable to a computer." @default.
- W2056098940 created "2016-06-24" @default.
- W2056098940 creator A5017526693 @default.
- W2056098940 date "1966-10-01" @default.
- W2056098940 modified "2023-10-18" @default.
- W2056098940 title "A Formal System for Differentiation" @default.
- W2056098940 cites W2039138656 @default.
- W2056098940 doi "https://doi.org/10.1145/321356.321358" @default.
- W2056098940 hasPublicationYear "1966" @default.
- W2056098940 type Work @default.
- W2056098940 sameAs 2056098940 @default.
- W2056098940 citedByCount "2" @default.
- W2056098940 crossrefType "journal-article" @default.
- W2056098940 hasAuthorship W2056098940A5017526693 @default.
- W2056098940 hasConcept C102315432 @default.
- W2056098940 hasConcept C138885662 @default.
- W2056098940 hasConcept C146072743 @default.
- W2056098940 hasConcept C151730666 @default.
- W2056098940 hasConcept C154945302 @default.
- W2056098940 hasConcept C162324750 @default.
- W2056098940 hasConcept C185954173 @default.
- W2056098940 hasConcept C195324797 @default.
- W2056098940 hasConcept C199360897 @default.
- W2056098940 hasConcept C202532154 @default.
- W2056098940 hasConcept C2777026412 @default.
- W2056098940 hasConcept C2779343474 @default.
- W2056098940 hasConcept C2985583900 @default.
- W2056098940 hasConcept C41008148 @default.
- W2056098940 hasConcept C41895202 @default.
- W2056098940 hasConcept C539667460 @default.
- W2056098940 hasConcept C75606506 @default.
- W2056098940 hasConcept C80444323 @default.
- W2056098940 hasConcept C86803240 @default.
- W2056098940 hasConceptScore W2056098940C102315432 @default.
- W2056098940 hasConceptScore W2056098940C138885662 @default.
- W2056098940 hasConceptScore W2056098940C146072743 @default.
- W2056098940 hasConceptScore W2056098940C151730666 @default.
- W2056098940 hasConceptScore W2056098940C154945302 @default.
- W2056098940 hasConceptScore W2056098940C162324750 @default.
- W2056098940 hasConceptScore W2056098940C185954173 @default.
- W2056098940 hasConceptScore W2056098940C195324797 @default.
- W2056098940 hasConceptScore W2056098940C199360897 @default.
- W2056098940 hasConceptScore W2056098940C202532154 @default.
- W2056098940 hasConceptScore W2056098940C2777026412 @default.
- W2056098940 hasConceptScore W2056098940C2779343474 @default.
- W2056098940 hasConceptScore W2056098940C2985583900 @default.
- W2056098940 hasConceptScore W2056098940C41008148 @default.
- W2056098940 hasConceptScore W2056098940C41895202 @default.
- W2056098940 hasConceptScore W2056098940C539667460 @default.
- W2056098940 hasConceptScore W2056098940C75606506 @default.
- W2056098940 hasConceptScore W2056098940C80444323 @default.
- W2056098940 hasConceptScore W2056098940C86803240 @default.
- W2056098940 hasIssue "4" @default.
- W2056098940 hasLocation W20560989401 @default.
- W2056098940 hasOpenAccess W2056098940 @default.
- W2056098940 hasPrimaryLocation W20560989401 @default.
- W2056098940 hasRelatedWork W1536552036 @default.
- W2056098940 hasRelatedWork W1591156284 @default.
- W2056098940 hasRelatedWork W2056098940 @default.
- W2056098940 hasRelatedWork W2153406043 @default.
- W2056098940 hasRelatedWork W2256847765 @default.
- W2056098940 hasRelatedWork W2368560475 @default.
- W2056098940 hasRelatedWork W2503024976 @default.
- W2056098940 hasRelatedWork W2780402719 @default.
- W2056098940 hasRelatedWork W2898343019 @default.
- W2056098940 hasRelatedWork W2752133100 @default.
- W2056098940 hasVolume "13" @default.
- W2056098940 isParatext "false" @default.
- W2056098940 isRetracted "false" @default.
- W2056098940 magId "2056098940" @default.
- W2056098940 workType "article" @default.