Rensselaer Polytechnic Institute | About RPI | Academics | Research | Student Life | Admissions | News & Information
*
* Site Navigation
Mathematical Sciences
*

Mathematical Sciences Research

Acoustics
Applied Geometry
Approximation Theory
Bioinformatics
Biomathematics
Chemically-Reacting Flows
Computational Logic
Dynamical Systems
Environmental Problems
Fluid Dynamics
Inverse Problems
Machine Learning
Math Education
Mathematical Physics
Multiphase Flows
Nonlinear Analysis
Nonlinear Materials
Nonlinear Waves
Operations Research and Mathematical Programming
Optimization
Perturbation Methods
Scientific Computing

*
Mathematical Sciences Research
Computational Logic

Computational logic is a mathematical framework to redevelop logic as systematic formal theory of computability (as opposed to classical logic).

In computational logic, formulas represent computational problems and their validity means “always computable”.

Current Projects

  • Optimization approaches to satisfiability problems, including the use of integer programming and semidefinite programming methods.
  • Logical Benders decomposition approaches to hard optimization problems, including scheduling problems and mathematical programming problems with complementarity constraints.

Faculty Researcher

John Mitchell

Scientific Computation Research Center (SCOREC)

*
*
*

 
Rensselaer Polytechnic Institute > Academics & Research > School of Science > Mathematical Sciences:
Home | Undergraduate | Graduate | Faculty | Research | Events | News | Contacts

Copyright ©2006 Rensselaer Polytechnic Institute

*
*
Rensselaer   Rensselaer Polytechnic Institute (RPI)
110 8th Street, Troy, NY 12180   (518) 276-6000