* "Mathematical Reasoning": Applying mathematical techniques, concepts and processes, either explicitly or implicitly, in the solution of problems -- in other words, mathematical modes of thought that help us to solve problems in any domain. In its most general interpretation, every problem-solving activity requires mathematical thinking. For example, basic logic, be it used explicitly or implicitly is required for all problem-solving activities.

- August 2013, the comment period for the ACM/IEEE-CS Computer Science Curriculum 2013 Ironman Draft has been closed since June, but the draft remains available for view.
- December 2012, DEPLOY Project uses formal methods to control software development complexity.
- October 2011, “US Tops China in Programming but Lags in Math, Logic,” eWeek. Results of a study comparing US and Chinese software developers.
- December 2010, “U.S. ‘Connects the Dots’ to Catch Roadside Bombers,” National Public Radio. How social network analysis helps the U.S. military identify and disrupt guerrilla bomb groups.

Mathematical reasoning is central to computer science. It should therefore be an integral part of the entire CS curriculum, with special emphasis in the early courses. This would be a deviation from current practice, requiring systemic change in CS education. We are a group of computer scientists, mathematicians, and others interested in fostering such change.

The group "meets" (via e-mail), to discuss topics related to mathematical reasoning in CS and its teaching. An archive of these discussions is available on-line. Possible topics include, but are not limited to, which mathematical concepts are relevant, when and how they can/should be introduced and reinforced in the curriculum, how they relate to practice, pedagogical approaches to teaching math foundations, supporting laboratories, etc. We are undertaking concrete projects designed to raise awareness of mathematical reasoning in CS and of ways of teaching it. The exact nature of projects is determined by members' interests, including such things as working to get a prominent place for mathematical reasoning in computer science and software engineering curriculum recommendations; workshops, panels, birds-of-a-feather, and similar presentations at relevant conferences; and collecting pedagogical resources for incorporating mathematics into CS courses. Future projects could include such things as performing studies and otherwise collecting evidence on the importance of mathematical thinking in CS; contests to increase student interest in, and faculty awareness of, mathematics as part of CS; etc.

Math-reasoning related accomplishments of this group or its members include...

- SIGCSE 2016
- A birds-of-a-feather session on “Mathematical Reasoning in Computing Education: Connecting the Math We Teach with Writing Correct Programs” organized by group members John Dougherty and Murali Sitaraman with help from Joe Hollingsworth and Joan Krone
- Group member Murali Sitaraman spoke on a panel entitled “Engage in Reasoning with Tools”

- SIGCSE 2013
- A special session on “Engaging Mathematical Reasoning Exercises” organized by group members Murali Sitaraman and Joe Hollingsworth, and also including Jason Hallstrom, Joan Krone, and Bruce Weide.
- A birds-of-a-feather session on “Broadening Mathematical Reasoning in Computing” organized by group member Doug Baldwin.

- SIGCSE 2012
- A panel entitled “Teaching Mathematical Reasoning Across the Curriculum” organized by group members Murali Sitaraman and Joan Krone.
- A workshop on “Making Mathematical Reasoning Fun: Tool-Assisted Collaborative Techniques” led by Jason Hallstrom, Joe Hollingsworth, Joan Krone, and Murali Sitaraman

- SIGCSE 2011
- A keynote talk entitled "TeachScheme!" by group member Matthias Felleisen, winner of the 2011 SIGCSE award for outstanding contribution to computer science education
- A birds-of-a-feather session entitled "Mathematical (and Other) Reasoning in Computer Science Education" organized by group members Doug Baldwin and Murali Sitaraman.

- A panel on "Some Developments in Mathematical Thinking for Computer Science Education since Computing Curricula 2001" featuring group members Bill Marion, Doug Baldwin, Murali Sitaraman, and Cinda Heeren
- A birds-of-a-feather session on "Mathematical Thinking, Computational Thinking, and Computation" presented by group members Bill Marion, Doug Baldwin, and Murali Sitaraman
- A birds-of-a-feather session on "Making Mathematical Reasoning Fun with Tools and Collaborative Learning Methods" presented by group member Murali Sitaraman with Joan Krone.

- Group members Rex Page, Peter Henderson, and Gary Litvin introduced this group to the Math 2.0 Interest Group in an electronic meeting on February 24, 2010.
- The Lillypadz Discrete Math Tutor, software to help students learn discrete math, released for beta testing by group member Lauren Lilly.
- A panel entitled "Discrete Mathematics/Structures: How Do We Deal with the Late Appreciation Problem" with group member David Gries at the Consortium for Computing Sciences in Colleges Northeastern conference, April 2009.
- SIGCSE 2009
- A paper entitled "Two Mathematical Gestalts for Computer Theory" by group member Kirby McMaster and co-authors Brian Rague and Steven Hadfield.
- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science" led by group members Doug Baldwin and Murali Sitaraman

- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science" at SIGCSE 2008, led by group members Doug Baldwin and Murali Sitaraman.
- ProofBuilder, a Java program that helps students learn to do proofs in several different ways. It handles material of a first course on discrete mathematics, including induction, sets, summations, O(), mod, and combinatorics. Written and maintained by group member Hugh McGuire.
- The 3-2-1 Approach to Introductory Computer Science at Haverford College, directed by group members Dave Wonnacott and John Dougherty.
- SIGCSE 2006: Members organized several sessions, including
- A workshop on "Hands-On Activities for Learning Discrete Mathematics," run by group members Susanna Epp, Peter Henderson, and Bill Marion.
- A special session presenting the "Final Oral Report of the SIGCSE Committee on the Implementation of a Discrete Mathematics Course," moderated by group members Bill Marion and Doug Baldwin.
- A paper entitled "Discrete Partnership -- A Case for a Full Year of Discrete Math," co-authored by group member Mark LeBlanc.
- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science," led by group members Peter Henderson and Judith Gersting.

- Discrete Mathematics: Curricular Issues, Pedagogy and Nifty Examples, a workshop presented by group members Bill Marion, Susanna Epp, and Peter Henderson, at Messiah College (Grantham, PA), from June 12-16, 2006.
- SIGCSE 2005:
Members presented special sessions and workshops, including
- A special session presenting a "Status Report on the SIGCSE Committee on the Implementation of a Discrete Mathematics Course," featuring group members Bill Marion and Doug Baldwin.
- A workshop on "More Nifty Examples in Discrete Mathematics," run by group members Bill Marion, Peter Henderson and Susanna Epp.
- A birds-of-a-feather session on "A Concepts-Based Approach to Teaching Programming," run by group member Peter Van Roy.
- A birds-of-a-feather session on "Mathematical Thinking in Computer Science" offered by group members Peter Henderson and Judy Gersting.

- A special issue of the ACM Journal on Educational Resources in Computing (JERIC) devoted to Software Support for Discrete Mathematics Teaching, edited by member Valerie J. Harvey, and Susan H. Rodger.
- An MAA PREP workshop entitled "Nifty Applications in Discrete Mathematics" was held June 7 to 11, 2004 at Valparaiso University. Organized by group member Bill Marion, and also featuring presentations by members Doug Baldwin, Susanna Epp and Peter Henderson.
- Algorithms and Data Structures: The Science of Computing, a textbook by group member Doug Baldwin, and Greg Scragg, that integrates mathematical analysis of algorithms, algorithm design and programming, and empirical analysis of algorithms.
- Members Peter Henderson and Kim Bruce appeared on a panel "Mathematical Logic in Computer Science Education" at the Association for Symbolic Logic 2004 Meeting on May 22, 2004.
- SIGCSE 2004: Members
presented special sessions and workshops, including
- A special session presenting a "Status Report on the SIGCSE Committee on the Implementation of a Discrete Mathematics Course," featuring group members Doug Baldwin, Bill Marion, and Henry Walker.
- A workshop on "Nifty Examples in Discrete Mathematics," run by group members Bill Marion and Peter Henderson.
- A birds-of-a-feather session on "A Concepts-Based Approach to Teaching Programming," run by group member Peter Van Roy. According to Peter, "one of the important parts of this approach is to introduce programmers to formal reasoning. We use a formal semantics that is as simple as possible, but does not sacrifice precision or coverage."

- Communications of the ACM, September 2003 section on "Why Universities
Require Computer Science Students to Take Math." Members wrote many
of the articles, including...
- Kim Bruce, Scot Drysdale, Charles Kelemen, and Allen Tucker, "Why Math?", pp. 40 - 44.
- Peter Henderson, "Mathematical Reasoning in Software Engineering Education," pp. 45 - 50.
- Vicki Almstrum, "What Is the Attraction to Computing?" pp. 51 - 55.

- SIGCSE 2003: Members
presented workshops, panels, and special sessions related to mathematical
reasoning in computer science, including...
- A workshop by David Gries entitled "Calculational Logic in Discrete Math Courses"
- A special session chaired by Dan Garcia, and featuring group members David Ginat and Peter Henderson, entitled "Everything You Always Wanted to Know about Game Theory"
- A special session chaired by Susanna Epp, Peter Henderson, and Bill Marion entitled "Math Educators, Computer Science Educators: Working Together"
- A panel organized by Bill Marion and including Kris Powers, Adrienne Bloss, and Doug Baldwin entitled "How Departments Are Responding to the Mathematics Recommendations in CC2001"
- A birds-of-a-feather session on mathematical thinking in computer science, organized by Doug Baldwin and Peter Henderson

- "Discrete Mathematics: An Early Foundation for the Study of Computer Science", an MAA PREP (Professional Enhancement Program) workshop run by Bill Marion, Susanna Epp, Peter Henderson, and Henry Walker, June 2-6, 2003.
- Programming Languages: Principles and Paradigms: A textbook by Allen Tucker and Bob Noonan that takes a rigorous semantics-based approach to programming languages.
- Computing Curriculum Software Engineering (CCSE): Several members of the group were involved in various aspects of the CCSE project. Of particular note, Peter Henderson chaired the "Foundations" knowledge area subcommittee.
- CCSC:NE-2002: Allen Tucker presented a plenary talk entitled "Ensuring a Rigorous Curriculum: Practices and Goals" at the Consortium for Computing in Small Colleges: Northeast conference.
- Computing Curriculum 2001 : Kim Bruce, Bill Marion and Henry Walker (Chair) served on the Supporting Topics and Courses Focus Group. Kim Bruce was chair of the Programming Languages Focus Group. Several ideas in CC 2001, Section 9.1.1 "Mathematical Rigor" evolved from member activities.
- A panel on Women, Math, and Computer Science, organized by Peter Henderson, and featuring other group members Vicki Almstrum, Orit Hazzen, and Kim Kihlstrom, presented at SIGCSE 2002. The panel's Web page includes the speakers' presentations and links to a number of background references.
- SIGCSE 2002 : Members presented a paper, and participated in 3 panels and several birds of a feather sessions devoted to math thinking.
- SIGCSE 2001 : Members presented 2 papers, the keynote address, participated on 3 panels and several birds of a feather sessions devoted to math thinking.
- ITiCSE 2001 : The working group " Striving for Mathematical Thinking"

Papers, reports, and invited talks related to mathematical reasoning by members of this group include...

- “The Roles of Mathematics in Computer Science,” by Doug Baldwin, Henry Walker, and Peter Henderson, ACM Inroads, Dec. 2013. An extended version of a position paper written for and at the invitation of the CS2013 steering committee.
- Cong-Cong Xing. "Enhancing the Teaching and Learning of Functions through Functional Programming in ML." Journal of Computer Sciences in Colleges, Vol 23, No 4, 2008.
- Cong-Cong Xing. "Proof Diagrams: A Graphical Tool for Assisting Set Proofs." Journal of Computer Sciences in Colleges, Vol. 22, No. 5, 2007.
- Bill Marion and Doug Baldwin, "SIGCSE Committee Report on the Implementation of a Discrete Mathematics Course," Inroads - the SIGCSE Bulletin, June 2007, pp. 109 - 126. Also available at http://www.sigcse.org/DiscreteMathHome.shtml.
- Doug Baldwin, "Effectiveness of a Language Implementation Project in Building Appreciation for Formal Specification," Papers of the Twelfth Annual CCSC Northeastern Conference, Apr. 2007, pp. 173 - 183.
- Valerie J. Harvey et al., eds., Discrete Mathematics Applications for Information Systems Professionals, 2nd ed. (Pearson, 2006), a collection of applications examples and a curriculum guide for teaching discrete mathematics in information systems (IS) and IS Management programs; designed as a supplement to Richard Johnsonbaugh, Discrete Mathematics, 6th ed. (Prentice Hall, 2005).
- Cong-Cong Xing and Bill Buckles. "On the Size of the Search Space of Join Optimization." Journal of Computing Sciences in Colleges, Vol. 20, No. 6, 2005.
- "Life-long Learning: Making Discrete Math Relevant for Information Systems Professionals," by David F. Wood, Valerie J. Harvey, and Frederick G. Kohun, IACIS 2005.
- "Insights from Teaching Discrete Mathematics in Information Systems Programs, A Report for the Discussion Forum," by Valerie J. Harvey and E. Gregory Holdan, CoLogNet/Formal Methods Europe Symposium on Teaching Formal Methods, November 2004.
- "Workshop on Discrete Mathematics for Programs Conforming to ABET Information Systems Accreditation," by Valerie J. Harvey, Peter Y. Wu, and John C. Turchek, ISECON, November 2004.
- "Mathematics for the Exploration of Requirements," by Michael Huth, SIGCSE InRoads, June 2004.
- "The Role of Logic in Teaching Proof," by Susanna Epp, in American Mathematical Monthly, Dec. 2003, which holds the copyright with all rights reserved.
- "The Role of Modeling in Software Engineering Education," by Peter Henderson, presented at the 2003 Frontiers in Education conference.
- "Materials Development in Support of Mathematical Thinking", the report of an ITiCSE 2002 working group chaired by Peter Henderson, in SIGCSE Inroads, June 2003.
- "A Small College Response to the Mathematics Recommendations of Curriculum 2001", by Blayne Carroll and Kris Powers, presented at the 2002 Consortium for Computing Sciences in Colleges Southeastern Conference.
- "Where is Programming Methodology these Days", invited editorial by David Gries in SIGCSE Inroads, Dec. 2002.
- "Teaching Discrete Structures with SML", by Christelle Scharff and Andrew Wildenberg, presented at Functional and Declarative Programming in Education (FDPE02), a one day workshop at PLI'02, October 2002.
- "Functional and Declarative Languages for Learning Discrete Mathematics", by Peter Henderson, presented at Functional and Declarative Programming in Education (FDPE02), a one day workshop at PLI'02, October 2002.
- "Mathematical Reasoning in Software Engineering Education", an article prepared by Peter Henderson in the September 2003 Communications of the ACM special section on math in computer science.
- "Why Math?", an article prepared by Kim Bruce, Scot Drysdale, Charles Kelemen, and Allen Tucker in the September 2003 Communications of the ACM special section on math in computer science.
- "The Importance of Mathematics to the Software Practitioner", by Doug Baldwin and Peter Henderson, in the March/April 2002 issue of IEEE Software. A response to Robert Glass's essay "A New Answer to 'How Important is Mathematics to the Software Practitioner'?" (Copyright 2002 by IEEE)
- A paper entitled "Integrating Formal Models into the Programming Languages Course", by Allen Tucker and Bob Noonan appeared in The 33rd SIGCSE Technical Symposium on Computer Science Education, 2002.
- Pete Henderson gave a seminar entitled "The Role of Mathematics the Undergraduate Computer Science Curriculum" at Ohio State University on Jan. 17, 2002.
- A ITiCSE 2001 working group report "Striving for Mathematical Thinking" was published in SIGCSE Inroads (Vol. 33 , No 4, pp. 114-124, Dec. 2001).
- A paper entitled "Our Curriculum has Become Math-Phobic!", by K. Bruce, C. Kelemen, and A. Tucker was published in The 32nd SIGCSE Technical Symposium on Computer Science Education, 2001.
- A paper entitled "Has Our Curriculum Become Math Phobic? (An American Perspective)", by K. Bruce, C. Kelemen, P. Henderson, O. Astrachan and A. Tucker; The 5th Annual ITiCSE Conference, 2000.
- The MAA CUPM report "Mathematical Needs of Introductory Computer Science Curricula", 1999.
- A paper entitled "The Propositional Logic Test as a Diagnostic Tool for Misconceptions about Logical Operations" by Vicki Almstrum, The Journal of Computers in Mathematics and Science Teaching 18(3), 1999.
- A paper entitled "Investigating Student Difficulties with Mathematical Logic" by Vicki Almstrum in N. Dean and M. Hinchey (eds.), Teaching and Learning Formal Methods, Academic Press, 1996.

(If you're a member of the group and want to be listed here, send e-mail to baldwin@geneseo.edu giving the information you'd like listed -- e.g., how you want your name to appear, your affiliation, URL's to home pages, e-mail addresses, or anything else you'd like included. Only adding people when requested to do so hopefully increases people's privacy and control over distribution of personal information.)

- Vicki L. Almstrum (e-mail: almstrum@cs.utexas.edu), Department of Computer Sciences, University of Texas at Austin
- Hossein Arsham (e-mail harsham@ubalt.edu), Information and Quantitative Sciences Department, University of Baltimore
- Doug Baldwin (e-mail baldwin@geneseo.edu), Dept. of Computer Science, SUNY Geneseo
- Kim Bruce (e-mail kim@cs.pomona.edu), Dept. of Computer Science, Pomona College
- Tom Cortina (e-mail: tcortina@cs.cmu.edu), Dept. of Computer Science, Carnegie Mellon University
- Venu Dasigi (e-mail vdasigi@spsu.edu), Department of Computer Science, Southern Polytechnic State University
- Maria Droujkova (email droujkova@gmail.com), Natural Math
- Scot Drysdale (e-mail scot@cs.dartmouth.edu), Department of Computer Science, Dartmouth College
- Carol Anne Edmondson (e-mail cae@utas.edu.au), School of Computing and Information Systems, University of Tasmania
- Abdol-Hossein Esfahanian, (e-mail esfahanian@cse.msu.edu), Department of Computer Science and Engineering, Michigan State University
- Matthias Felleisen, Department of Computer Science, Northeastern University, Boston
- Kathi Fisler (e-mail kfisler@cs.wpi.edu), Department of Computer Science, Worcester Polytechnic Institute
- S. Jane Fritz (e-mail jfritz@sjcny.edu), Dept. of Mathematics/Computer Science, St. Joseph's College, New York
- Judith Gersting (e-mail gersting@hawaii.edu), University of Hawaii at Hilo
- Don Goelman (e-mail don.goelman@villanova.edu), Department of Computing Sciences, Villanova University
- David Gries, Associate Dean of Engineering, Cornell University
- Valerie J. Harvey (e-mail harvey@rmu.edu), Department of Computer and Information Systems, Robert Morris University
- David Hemmendinger (e-mail hemmendd@union.edu), Dept. of Computer Science, Union College
- Pete Henderson (e-mail phenders@butler.edu), Dept. of Computer Science, Butler University
- Lew Hitchner (e-mail hitchner@csc.calpoly.edu) Computer Science Dept., Cal Poly State Univ. (CSU San Luis Obispo)
- Gregory Kapfhammer (e-mail gkapfham@allegheny.edu), Department of Computer Science, Allegheny College
- Charles Kelemen (e-mail ckeleme1@swarthmore.edu), Computer Science Program, Swarthmore College
- Kim Kihlstrom (e-mail kimkihls@westmont.edu), Dept. of Mathematics and Computer Science, Westmont College
- Nancy Kinnersley (e-mail kinners@eecs.ku.edu), Dept. of Electrical Engineering and Computer Science, University of Kansas
- Yana Kortsarts (e-mail yanako@cs.widener.edu), Computer Science Department, Widener University, Chester, PA
- Hugh McGuire (e-mail: mcguire@cis.gvsu.edu), School of Computing & Information Systems, Grand Valley State University, MI
- John O'Donnell (e-mail jtod@dcs.gla.ac.uk), Computing Science Department, University of Glasgow
- S. Parthasarathy (e-mail drparth@gmail.com) Algologic Research and Solutions, Secunderabad, India
- Hemant Pendharkar (e-mail hpendharkar@worcester.edu) Department of Computer Science Worcester State College
- Chuck Riedesel (e-mail riedesel@cse.unl.edu), Computer Science & Engineering Department, University of Nebraska at Lincoln
- Bob Roos (e-mail robert.roos@allegheny.edu), Department of Computer Science, Allegheny College
- Christelle Scharff (e-mail cscharff@pace.edu) Computer Science Department, Pace University
- Murali Sitaraman (e-mail: msitara@clemson.edu), School of Computing, Clemson University
- Allen Tucker (e-mail allen@bowdoin.edu), Dept. of Computer Science, Bowdoin College
- Peter Van Roy (e-mail: pvr@info.ucl.ac.be), Department of Computing Science and Engineering, Université Catholique de Louvain at Louvain-la-Neuve, Belgium
- Cong-Cong Xing (email: cmps-cx@nicholls.edu), Dept of Math and Computer Science, Nicholls State University

Electronic discussions are carried out on mailing list "math-thinking-l@geneseo.edu". All you have to do to join the group is subscribe to this list -- to do this, just point a Web browser at http://mail.geneseo.edu/mailman/listinfo/math-thinking-l/ and fill out the subscription form in the middle of the page.

(Group members can also maintain their subscription to the mailing list -- change delivery options, unsubscribe, etc. -- at the same URL, using the subscriber information "access panel" at the bottom of the page.)

Upcoming events, on-line resources, and other miscellaneous items likely to be of interest to members of this group are listed below. Please send suggestions for further items to Doug Baldwin.

- CCSC:SE, the 2016 conference of the Consortium for Computing Sciences in Colleges Southeastern Region, Nov. 4 - 5, 2016, University of North Carolina - Asheville, Asheville, NC, USA
- SIGCSE 2017, the 2017 SIGCSE Technical Symposium on Computer Science Education, Mar. 8-11, 2016, Seattle, WA, USA
- CCSC:SW 2017, the 2017 conference of the Consortium for Computing Sciences in Colleges Southwestern Region, Mar. 24 - 25, 2017, University of San Diego, San Diego, CA, USA.
- CCSC:Central Plains, the 2017 conference of the Consortium for Computing Sciences in Colleges Central Plains Region, Mar. 31 - Apr. 1, 2017, University of Nebraska - Lincoln, Lincoln, NE, USA.
- CCSC:Mid-South 2017, the 2017 conference of the Consortium for Computing Sciences in Colleges Mid-South Region, Mar. 31 - Apr. 1, 2017, Lyon College, Batesville, AR, USA.
- CCSCNE, the 2017 conference of the Consortium for Computing Sciences in Colleges Northeastern Region, Apr. 7 - 8, 2017, The College of Saint Rose, Albany, NY, USA.
- CCSC:SC, the 2017 conference of the Consortium for Computing Sciences in Colleges South Central Region, Apr. 8, 2017, Texas Christian University, Fort Worth, TX, USA.
- ITiCSE 2017, the 22nd annual Conference on Innovation and Technology in Computer Science Education, Jul. 3 - 5, 2017, Bologna, Italy.

- The ACM Special Interest Group on Algorithms and Computation Theory
- The ACM Special Interest Group on Computer Graphics and Interactive Techniques
- The ACM Special Interest Group on Computer Science Education
- The ACM Special Interest Group on Programming Languages
- The ACM Special Interest Group on Symbolic and Algebraic Manipulation
- The American Institute of Mathematics (AIM)
- The American Mathematical Society
- The Applied Geometry Lab at Caltech
- The Consortium for Computing Sciences in Colleges.
- The IEEE Computer Society's Educational Activities Board
- The Mathematical Association of America
- The Society for Industrial and Applied Mathematics (SIAM)
- The Consortium for Mathematics and its Applications (COMAP)
- The Center for Discrete Mathematics and Computer Science (DIMACS)
- The Clay Mathematics Institute, devoted to the dissemination and recognition of mathematical knowledge
- ABET, the accrediting body for computing and engineering programs of study
- The Software Engineering Institute's Educational Collaborations
- The Software Engineering Body of Knowledge project.

- Cambridge Journals Online, the online publishing arm of Cambridge University Press.
- Historia Mathematica, a journal on the history of mathematics.
- TOCE, the ACM Transactions on Computing Education (formerly JERIC).
- The Journal of Logic and Computation, from Oxford University Press.
- The Journal of On-Line Mathematics and its Applications, an on-line journal from the MAA.
- Logical Methods in Computer Science, an open-access, referreed, free, on-line journal covering logical methods in all areas of computer science.
- National Educational Computing Association, sponsors of the National Educational Computing Conference.
- Teaching Mathematics and its Applications, a journal from Oxford University Press.

- NSF, the U.S. National Science Foundation.
- FIPSE, the U. S. Department of Education Fund for the Improvement of Postsecondary Education.

- Bibliographies for computer science, including sub-collections in areas such as Theory of Computation and Computational Mathematics
- Computing Curricula references and links, maintained by Martin Dickey, University of Washington.
- Directory of DIMACS Educational Programs (undergraduate and K-12).
- The Ensemble computing education portal.
- Formal Methods Education Resources, maintained by Kathi Fisler, Worcester Polytechnic Institute.
- Alexander Sakharov's Foundations of Mathematics, a collection of links to articles dealing with the foundations of mathematics, organized to form a coherent "book."
- Interactive Mathematics Miscellany and Puzzles, by Alexander Bogomolny
- MacTutor History of Mathematics Archive at the University of St. Andrews.
- The Math Archives at the University of Tennessee at Knoxville, a collection of general mathematics resources.
- The Math Forum, reference and educational resources for all levels -- K-12, college, and beyond
- The National Science Digital Library (NSDL)
- Theoretical Computer Science on the Web, maintained by Suresh Venkat, Stanford University.
- The World of Mathematics reference pages at Wolfram Research -- a quick reference source for a great deal of mathematics.

- "Mathematics in Computer Science Curricula", by Jeannette M. Wing -- slides presented at the Sixth International Conference on Mathematics of Program Construction, July 2002, Dagstuhl, Germany.
- "What Math is Relevant for a CS or SE Student? An Employer's Perspective" by Dennis J. Frailey, Principal Fellow, Raytheon Company, originally published in SIGSOFT Software Engineering Notes, May 2006.
- "What Should Computer Students Learn from Mathematics" by Y. C. Tay, National University of Singapore. (Also available in SIGACT News, June 2005.)

- Academicinfo "Computer Science Degrees and Resources Online," a collection of resources for people considering studying computer science, particularly through self-study or online courses
- A Directory of Data Science Masters Programs and information about data science careers
- The ACM/IEEE-CS Computer Science Curricula 2013 task force
- The BESEME Project -- "Better Software Engineering through Mathematics Education"
- Susanna Epp's Collection of Discrete Math Applets
- The Computational Discrete Mathematics course at Carnegie-Mellon University
- Supplemental materials for Peter Van Roy and Seif Haridi's text "Concepts, Techniques, and Models of Computer Programming"
- David Gries's Introduction to Teaching Logic as a Tool
- LINK -- Software for manipulating and visualizing discrete math
- The Mathematical Experiments in Computer Science course at Stonehill College
- Two Pepperdine University courses involving mathematics in/for computer science
- A Java package for Polynomials over Rings.
- ProofBuilder, a Java program that helps students learn to do proofs for a first course on discrete mathematics, including induction, sets, summations, O(), mod, and combinatorics.
- The Reusable Software Research Group at Ohio State University and Clemson University, studying formally-specified component-based software; includes software tools to help students reason mathematically about software specifications and tests.
- Notes and sources for "Teaching with Original Historical Sources in Mathematics," with a sub-project on "Learning Discrete Mathematics and Computer Science via Primary Historical Sources."

- AnalyzeMath.com, a collection of tutorials and problem sets on algebra, geometry, elementary calculus, and similar subjects.
- Bootstrap, a middle school computing curriculum that uses foundations in algebra to teach programming with images and animation.
- CyberChase, a public television series, with associated on-line and print activities, devoted to showing 8-to-12-year-old children the importance and fun of mathematics.
- HeyMath, electronic learning resources to support teachers and students in grades 5 through 12
- The Making Math Engaging: Discrete Mathematics for K-8 Teachers Web site
- The Math 2.0 Interest Group
- Math.com, math learning resources for students, teachers, and parents
- MATHmaniaCS, devoted to "passing on the excitement of mathematics and computer science to kids of all ages."
- Math Expression, a free on-line tutor for math topics through introductory algebra.
- Math for America, an organization of investment bankers, educators, and mathematicians dedicated to improving mathematics education in US public schools.
- Mathematics for the Digital Age and Programming in Python, a book that teaches “precision thinking” (to quote its preface) through the junction of math and programming.
- A large Collection of Free Math Resources, ranging from kindergarten through calculus.
- Computer Science Unplugged, introducing computer science topics to kids without the need for computers.
- Magic of Math, "a forum to communicate and share the delight of mathematics with children"

- Lew Hitchner's rough survey of the Status of Discrete Structures/Discrete Math Courses in computer science and similar programs.
- Timothy Lethbridge's Software Engineering Education Relevance Survey.
- A casual survey of the audience for Kelemen et al.'s ITiCSE 2000 paper "Has Our Curriculum Become Math-Phobic (An American Perspective)", on the Changing Importance of Math in CS Curricula.

- Mathematical Modelling contests, sponsored by COMAP.

*This page maintained by Doug Baldwin, baldwin@geneseo.edu,
with help from Peter Henderson. *

*Last updated January 5, 2017.*