NASA and Texas Instruments are using the theme of human space exploration to develop digital libraries of math and science problems for high school students.