

 |
 |
 |
 |
 |
 |
 |
 |
 |
 Computer Assisted Mathematics: Tools and Tactics for Solving Hard Problems
 |
 |
 |
 |
 |
 |

Organization: | Wolfram Research, Inc. |
 |
 |
 |
 |
 |
 |
 2006 Wolfram Technology Conference
 |
 |
 |
 |
 |
 |
 Champaign IL
 |
 |
 |
 |
 |
 |
 In this talk I will present several problems that have caught my attention over the past few years. We will go over Mathematica formulations and solutions. Along the way we will meet with a branch-and-bound loop in its natural habitat, some rampaging Groebner bases, a couple of tamed logic puzzles, and at least a dozen wild beasts (well...would you believe... a Mathematica developer wearing Halloween fangs?). You'll laugh. You'll cry. You'll write your holiday cards (be sure to spell my name correctly). As the purpose is to illustrate a few of the many ways in which Mathematica can be used to advantage in tackling difficult problems, we will go into a bit of detail in selected examples. Do not let this deter you; there will be no exam, and it is the methods, not the problems, that are of importance.
 |
 |
 |
 |
 |
 |

 |
 |
 |
 |
 |
 |
 tackling math, hard problems, branch-and-bound loop, Groebner bases
 |
 |
 |
 |
 |
 |

| TechConf2006_Lichtblau_talk.nb (6 MB) - Mathematica Notebook [for Mathematica 6.0] |
 |
 |
|
 |
 |
 |
 |
| | | |  | |
|