From Mathematics to Generic Programming (2015)

Bibliography

Adler, Mortimer J. (Ed.). (1991). Great Books of the Western World, Vol. 10: Euclid, Archimedes, Nicomachus. Chicago: Encyclopaedia Brittanica.

Aristotle. (1938). Aristotle: Categories, On Interpretation, Prior Analytics, Vol. 325. Translated by H. P. Cooke and Hugh Tredennick. Cambridge, MA: Loeb Classical Library.

Aristotle. (1984). The Complete Works of Aristotle: The Revised Oxford Translation. Edited by Jonathan Barnes. Princeton, NJ: Princeton University Press.

Backus, John. (1978). “Can Programming Be Liberated from the Von Neumann Style?: A Functional Style and Its Algebra of Programs.” Communications of the ACM 21(8), 613-641.

Ball, W. W. Rouse, and H. S. M. Coxeter. ([1922] 2010). Mathematical Recreations and Essays (10th ed.). Reprint, New York: Dover Publications. Original edition published 1892.

Bonola, Roberto. ([1955] 2010). Non-Euclidean Geometry: A Critical and Historical Study of Its Development. Translated by H. S. Carslaw. Reprint, New York: Dover Publications. Originally published as La Geometria non-Euclidea, 1912.

Burnside, William. ([1911] 2004). Theory of Groups of Finite Order (2nd ed.). Reprint, Mineola, NY: Dover Publications.

Byrne, Oliver. (2010). The First Six Books of the Elements of Euclid. Taschen. Facsimile of 1847 edition.

Chrystal, George. ([1964] 1999). Algebra: An Elementary Text-Book (7th ed.). Reprint, Providence, RI: American Mathematical Society. Original edition published 1886.

Cohen, Morris R., and I. E. Drabkin. (1948). A Source Book in Greek Science. Cambridge, MA: Harvard University Press.

Corry, Leo. (2004). Modern Algebra and the Rise of Mathematical Structures (2nd revised ed.). Basel, Switzerland: Birkhäuser.

Dean, Jeffrey, and Sanjay Ghemawat. (2008). “MapReduce: Simplified Data Processing on Large Clusters.” Communications of the ACM 51(1), 107-113.

Dedekind, Richard. (1996). Theory of Algebraic Integers. Translated by John Stillwell. Cambridge, UK: Cambridge University Press. Originally published as Über die Theorie der ganzen algebraicschen Zahlen, 1877.

De Millo, Richard A., Richard J. Lipton, and Alan J. Perlis. (1979). “Social Processes and Proofs of Theorems and Programs.” Communications of the ACM 22(5), 271-280.

Dirichlet, P. G. L. (1999). Lectures on Number Theory. Supplements by R. Dedekind. Translated by John Stillwell. Providence, RI: American Mathematical Society. Originally published as Vorlesungen über Zahlentheorie, 1863.

Euclid. (1956). Euclid: The Thirteen Books of the Elements. Translated by Thomas L. Heath. (2nd ed.). New York: Dover Publications.

Euler, Leonhard. (1988). Introduction to Analysis of the Infinite, Vol. 1 and 2. Translated by John D. Blanton. New York: Springer. Originally published as Introductio in analysin infinitorum, 1748.

Euler, Leonhard. (2000). Foundations of Differential Calculus. Translated by John D. Blanton. New York: Springer. Originally published as Institutiones Calculi Differentialis, 1755.

Fibonacci, Leonardo Pisano, and L. E. Sigler (Trans.). (1987). The Book of Squares: An Annotated Translation into Modern English. Boston: Academic Press. Originally published in Latin as Liber Quadratorum, 1225.

Floyd, Robert W., and Donald E. Knuth. (1990). “Addition Machines.” SIAM Journal on Computing 19(2), 329-340.

Fowler, David H. (1987). The Mathematics of Plato’s Academy: A New Reconstruction. Oxford, UK: Clarendon Press.

Gauss, Carl Friedrich. (1965). Disquisitiones Arithmeticae. Translated by Arthur A. Clarke, S.J. New Haven, CT: Yale University Press. Original Latin edition, 1801.

Granville, Andrew. (2005). “It Is Easy to Determine whether a Given Integer Is Prime.” Bulletin of the American Mathematical Society 42(1), 3-38.

Gries, David, and Gary Levin. (1980). “Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.” Information Processing Letters 11(2), 68-69.

Grimm, Richard E. (1973). “The Autobiography of Leonardo Pisano.” Fibonacci Quarterly 11(1), 99-104.

Hartshorne, Robin. (2000). Geometry: Euclid and Beyond. New York: Springer.

Heath, Thomas. ([1921] 1981). A History of Greek Mathematics. Reprint, New York: Dover Publications.

Hilbert, David. ([1971] 1999). Foundations of Geometry (10th ed.). Translated by Leo Unger and revised by Paul Bernays. Chicago: Open Court. Originally published as Grundlagen der Geometrie, 1899.

Iverson, Kenneth E. (1962). “A Programming Language.” In Proceedings of the May 1-3, 1962, Spring Joint Computer Conference, AIEE-IRE ’62, pp. 345–351. ACM.

Iverson, Kenneth E. (1980). “Notation As a Tool of Thought.” Communications of the ACM 35(1-2), 2-31.

Kahn, David. (1996). The Codebreakers: The Comprehensive History of Secret Communication from Ancient Times to the Internet (Revised ed.). New York: Scribner.

Kapur, D., D. R. Musser, and A. A. Stepanov. (1981a). “Operators and Algebraic Structures.” In Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, FPCA ’81, New York, NY, pp. 59-64. ACM.

Kapur, D., D. R. Musser, and A. A. Stepanov. (1981b). “Tecton: A Language for Manipulating Generic Objects.” In Program Specification, Proceedings of a Workshop, pp. 402-414. Springer-Verlag.

Katz, Jonathan, and Yehuda Lindell. (2008). Introduction to Modern Cryptography. Boca Raton, FL: CRC Press.

Katz, Victor J. (2009). A History of Mathematics: An Introduction (3rd ed.). Boston: Addison-Wesley.

Keisler, H. Jerome. (1989). “Fundamentals of Model Theory.” In J. Barwise (Ed.), Handbook of Mathematical Logic. North Holland.

Kennedy, Hubert. (2002). Twelve Articles on Giuseppe Peano. San Francisco: Peremptory Publications.

Knuth, Donald E. (2007). The Art of Computer Programming, Vol. 2: Seminumerical Algorithms. Boston: Addison-Wesley.

Landau, Edmund. ([1966] 2001). Foundations of Analysis (3rd ed.). Translated by F. Steinhardt. Reprint, Providence, RI: Chelsea.

McClenon, R. B. (1919). “Leonardo of Pisa and His Liber Quadratorum.” The American Mathematical Monthly 26(1), 1-8.

Musser, David R., and Alexander A. Stepanov. (1988). “Generic Programming.” In Proceedings of the International Symposium ISSAC’88 on Symbolic and Algebraic Computation, pp. 13-25. Springer-Verlag.

Peano, Giuseppe. (1960). Formulario Mathematico. Edizioni Cremonense. Original edition published 1908.

Plato. (1997). Plato: Complete Works. Edited by J. M. Cooper and D. S. Hutchinson. Indianapolis, IN: Hackett Publishing.

Robins, Gay, and Charles Shute. (1987). The Rhind Mathematical Papyrus: An Ancient Egyptian Text. London: British Museum Publications.

Ross, David. (2004). Aristotle (6th ed.). London: Routledge.

Russo, Lucio. (2004). The Forgotten Revolution: How Science Was Born in 300 BC and Why It Had to Be Reborn. Translated by Silvio Levy. New York: Springer. Originally published as La rivoluzione dimenticata, 1996.

Sarton, George. (1934). “Simon Stevin of Bruges.” Isis 21(2), 241-303.

Sigler, Laurence. (1987). Fibonacci’s Liber Abaci: A Translation into Modern English of Leonardo Pisano’s Book of Calculation. New York: Springer. Original Latin edition, 1202.

Stein, Josef. (1967). “Computational Problems Associated with Racah Algebra.” Journal of Computational Physics 1(3), 397-405.

Stepanov, Alexander, and Meng Lee. (1995). The Standard Template Library. Hewlett-Packard Laboratories, Technical Publications Department.

Stepanov, Alexander, and Paul McJones. (2009). Elements of Programming. Boston: Addison-Wesley Professional.

Stillwell, John. (1994). Elements of Algebra. New York: Springer.

Stillwell, John. (2002). Elements of Number Theory. New York: Springer.

Stillwell, John. (2010). Mathematics and Its History. New York: Springer.

Stroustrup, Bjarne. (2013a). The C++ Programming Language (4th ed.). Boston: Addison-Wesley Professional.

Stroustrup, Bjarne. (2013b). A Tour of C++. Boston: Addison-Wesley Professional.

van der Waerden, B. L. (1983). Geometry and Algebra in Ancient Civilizations. Berlin: Springer-Verlag.

van der Waerden, B. L. (1988). Science Awakening: Egyptian, Babylonian, and Greek Mathematics. Translated by Arnold Dresden. Dordrecht, Netherlands: Kluwer Academic Publishers.

Weil, André. (2007). Number Theory: An Approach through History from Hammurapi to Legendre. Cambridge, MA: Birkhäuser Boston.