|
|
|
|
|
|
|
|
|
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] |
|
|
|
|
|
|
|
| | | | | |
|