Carnegie Mellon University

Cmu.edu has 1,260 URLs listed in 476 Dmoz categories.

Scott, Dana
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
http://www.cs.cmu.edu/~scott/
Top/Science/Math/Logic_and_Foundations/People

Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.
http://gtps.math.cmu.edu/andrews.html
Top/Science/Math/Logic_and_Foundations/People

Avigad, Jeremy
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
http://www.andrew.cmu.edu/user/avigad/
Top/Science/Math/Logic_and_Foundations/People

Sieg, Wilfried
Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
http://www.hss.cmu.edu/philosophy/faculty-sieg.php
Top/Science/Math/Logic_and_Foundations/People

Cummings, James
Carnegie Mellon University.
http://www.math.cmu.edu/users/jcumming/
Top/Science/Math/Logic_and_Foundations/Set_Theory/People

Grossberg, Rami
Carnegie Mellon University.
http://www.math.cmu.edu/users/rami/home.html
Top/Science/Math/Logic_and_Foundations/Set_Theory/People

Kovacevic, Jelena
Wavelets, frames, biomedical signal processing, multirate signal processing, data compression and signal processing for communications.
http://www.andrew.cmu.edu/user/jelenak/
Top/Science/Math/Numerical_Analysis/Wavelets/Researchers

Michael Trick’s Operations Research Blog
Thoughts, opinions, and pointers on the world of OR/MS.
http://mat.tepper.cmu.edu/blog
Top/Science/Math/Operations_Research

Constraints FAQ
From AI-related FAQs, frequently asked questions regarding constraint programming.
http://www.cs.cmu.edu/Groups/AI/html/faqs/ai/constraints/top.html
Top/Science/Math/Operations_Research/FAQs,_Help,_and_Tutorials

Pentomino Applet
Rujith de Silva's applet puzzle offers games of four different sized rectangles. Source code available. [Java]
http://www.cs.cmu.edu/~desilva/pento/pento.html
Top/Science/Math/Recreations/Polyominoes