Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Anthony C. Hearn"'
Autor:
Eberhard Schrüfer, Anthony C. Hearn
Publikováno v:
Journal of Symbolic Computation. 19(1-3):65-77
This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting programs have a form that is closely related to the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e12a2d7d6c3fb8317afd69bc8662285
Autor:
Anthony C. Hearn, Eberhard Schrüfer
Publikováno v:
Design and Implementation of Symbolic Computation Systems ISBN: 354057235X
DISCO
DISCO
This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting programs have a form that is closely related to the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7cce9d4eedf5253184af4c2b5b6f0d4
https://doi.org/10.1007/bfb0013174
https://doi.org/10.1007/bfb0013174
Autor:
Anthony C. Hearn
Publikováno v:
ACM Communications in Computer Algebra. 43:15-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8a40c51d4bae3acc71a21c4b74b2460
https://doi.org/10.1145/1610296.1610299
https://doi.org/10.1145/1610296.1610299
Autor:
Anthony C. Hearn
Publikováno v:
Design and Implementation of Symbolic Computation Systems ISBN: 9783540616979
DISCO
DISCO
We discuss various ways in which the World Wide Web can be used to improve algebraic computation research and development. In particular, dynamic updating of programs becomes possible, enabling geographically distributed researchers to use the same v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baebd550e4cfac0b8865d514aa71d101
https://doi.org/10.1007/3-540-61697-7_27
https://doi.org/10.1007/3-540-61697-7_27
Autor:
Anthony C. Hearn
Publikováno v:
Computer Aided Proofs in Analysis ISBN: 9781461390947
In proving theorems in analysis, we are often concerned about establishing the equivalence of two algebraic expressions. It is therefore natural to use computer programs that do symbolic manipulations for this purpose. There are now many such program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::369bb3bec52aff380ba5a9bbc8f09eac
https://doi.org/10.1007/978-1-4613-9092-3_14
https://doi.org/10.1007/978-1-4613-9092-3_14
Publikováno v:
SIGCOMM
Department of Computer Science Technical Reports
Department of Computer Science Technical Reports
CSNET is the acronym for the Computer Science Research Network, a project supported by NSF to provide advanced computer network services to the computer research community. CSNET is a "logical net" -- a high-level communication environment spanning s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5ef4dbaa5784277fee9698377893087
https://doi.org/10.1145/1024840.1035267
https://doi.org/10.1145/1024840.1035267
Autor:
A. C. Norman, Anthony C. Hearn
Publikováno v:
ACM SIGPLAN Notices. 14:50-58
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fcb2602c98160e5b0c6ec599fad5ac22
https://doi.org/10.1145/954004.954005
https://doi.org/10.1145/954004.954005
Autor:
Edward A. Feigenbaum, Joseph F. Traub, Anthony C. Hearn, Paul Gilmore, Robert W. Ritchie, Peter J. Denning
Publikováno v:
Communications of the ACM. 24:370-374
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44ad9c84850432d7c265c8c29509610c
https://doi.org/10.1145/358669.358682
https://doi.org/10.1145/358669.358682
Autor:
John Fox, Anthony C. Hearn
Publikováno v:
Journal of Computational Physics. 14:301-317
A program for the analytic evaluation of some parametric integrals which occur in fourth order QED calculations is described.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d363607adda7b5a60a5756c7726b78dc
https://doi.org/10.1016/0021-9991(74)90055-2
https://doi.org/10.1016/0021-9991(74)90055-2
Publikováno v:
ACM SIGPLAN Notices. 14:48-68
Although the programming language LISP was first formulated in 1960 [6], a widely accepted standard has never appeared. As a result, various dialects of LISP have been produced [4-12], in some cases several on the same machine! Consequently, a user o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::769eb645a02e9c551fc10215b62c765d
https://doi.org/10.1145/953997.953999
https://doi.org/10.1145/953997.953999