See this document in CiteSeerX!

Expressing Mathematical Subroutines Constructively (1987)  (Make Corrections)  (3 citations)
Gerald L. Roylance
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, Snowbird, UT



  Home/Search   Context   Related

 
View or download:
mit.edu/aipublications/50...AIM999.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/publications/pubsD...pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The typical subroutines that compute sin(z) and exp(z) bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express their construction using symbolic ideas such as periodicity and Taylor series. Such an approach has many advantages: the code is closer to the mathematical basis of the function, less... (Update)

Context of citations to this paper:   More

.... became interested in numerical applications and in the use of Lisp to generate and transform numerical programs [Sussman, 1988; Roylance, 1988] Sussman also spent a fair amount of time at MIT teaching Lisp to undergraduates. Sussman thought it was absolutely crazy to have...

...into expressions that can be optimized and compiled. 5. 1 Constructing functions from their Defining Properties Gerald Roylance shows [52] how many standard mathematical functions can be constructed from their defining properties, instead of specified as a sequence of obscure...

Cited by:   More
Abstraction in Numerical Methods - Halfant, Sussman (1987)   (Correct)
Translucent Procedures, Abstraction without Opacity - Rozas (1993)   (Correct)
The Evolution of Lisp - Steele, Jr., Gabriel (1993)   (Correct)

Similar documents (at the sentence level):
78.7%:   Expressing Mathematical Subroutines Constructively - Roylance (1987)   (Correct)

Active bibliography (related documents):   More   All
0.2:   Towards Accurate And Efficient Volume Rendering - Novins (1994)   (Correct)
0.2:   Topics In Computational Hidden State Modeling - Yianilos (1997)   (Correct)
0.2:   anaLOG: A Functional Simulator for VLSI Neural Systems by.. - California Institute   (Correct)

Similar documents based on text:   More   All
0.5:   Term-list Translation using Mono-lingual Word Co-occurrence Vectors - Kikui   (Correct)
0.2:   Rectifying Transformations for the Integration of Rational.. - Jeffrey (1997)   (Correct)
0.1:   Recognizing 3D Objects from 2D Images: An Error Analysis - Grimson, Huttenlocher, Alter (1992)   (Correct)

Related documents from co-citation:   More   All
3:   MIT Artificial Intelligence Laboratory (context) - Guy, Jr et al. - 1978
2:   The Revised Revised Report on Scheme; or (context) - William - 1985
2:   Revised 4 Report on the Algorithmic Language Scheme - Rees, Clinger - 1991

BibTeX entry:   (Update)

Roylance, Gerald. Expressing mathematical subroutines constructively. In [ACM LFP, 1988], pp. 8--13. http://citeseer.ist.psu.edu/roylance87expressing.html   More

@inproceedings{ roylance88expressing,
    author = "G. Roylance",
    title = "Expressing Mathematical Subroutines Constructively",
    booktitle = "Proceedings of the 1988 {ACM} Conference on {LISP} and Functional Programming, Snowbird, {UT}",
    publisher = "ACM",
    address = "New York, NY",
    pages = "8--13",
    year = "1988",
    url = "citeseer.ist.psu.edu/roylance87expressing.html" }
Citations (may not include all citations):
430   Structure and Interpretation of Com- puter Programs (context) - Abelson, Sussman - 1985
230   Handbook of Mathematical Func- tions with Formulas (context) - Abramowitz, Stegun - 1972
25   Digital Press (context) - Jr, Lisp - 1984
5   Numerical Methods That Work (context) - Acton - 1970

Documents on the same site (http://www.ai.mit.edu/publications/pubsDB/pubs.html):   More
Corpus-based Techniques for Word Sense Disambiguation - Levow (1997)   (Correct)
Presentation Based User Interfaces - Ciccarelli (1984)   (Correct)
The Revised Revised Report on Scheme or An UnCommon Lisp - Abelson, Adams, Bartley, .. (1985)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC