321 reputation
14
bio website nmt.edu/~borchers
location Socorro, NM
age
visits member for 3 years, 9 months
seen Jun 25 at 1:51

I'm a mathematics professor at New Mexico Tech.


Sep
24
awarded  Autobiographer
May
16
comment What's wrong with this linear program formulation?
Yes, you need to do some kind of phase I procedure to get a BFS.
May
16
answered What's wrong with this linear program formulation?
Sep
23
revised Difference between validity and satisfiability?
Fixed an "A" vs. "F" typo
Sep
23
comment Difference between validity and satisfiability?
Note that the term "valid" is also commonly used as an adjective to describe a proof in the propositional calculus. If you consider an expression in the propositional calculus to be a one line proof, then a tautology (an expression that is true under all assignments of the logical variables) is a valid proof.
Sep
23
answered Difference between validity and satisfiability?
Jun
28
answered Quadratic integer Programming
May
4
awarded  Editor
May
4
revised What does it mean to integrate with respect to the distribution function?
expanded the explanation.
May
4
answered What does it mean to integrate with respect to the distribution function?
Dec
7
awarded  Yearling
Feb
3
comment (A-λI)X=0 works, but (λI-A)X=0 does not when finding eigenvectors. Why?
What makes you think that $(\lambda I - A)x=0$ doesn't work? Are you responding to something that someone told you, or are you reporting that when you tried solving the equation it somehow didn't give you eigenvectors?
Feb
2
answered Is concavity of a real-valued function on a Euclidean space implied by concavity of its restriction to every lower dimensional affine subspace?
Feb
2
answered Best way to exactly solve a linear system (300x300) with integer coefficients
Feb
2
awarded  Supporter
Feb
1
answered What is the norm measuring in function spaces
Jan
30
answered Difference between time series and stochastic process?
Jan
27
awarded  Teacher
Jan
27
answered Calculating matrix exponential by solving appropriate ODE