Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

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

Daniel Lichtblau
Organization: Wolfram Research, Inc.
Conference

2006 Wolfram Technology Conference
Conference location

Champaign IL
Description

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.
Subject

*Wolfram Technology
Keywords

tackling math, hard problems, branch-and-bound loop, Groebner bases
Downloads Download Wolfram CDF Player

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