MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

DOCS: debugger + theorem prover

  • To: mathgroup at
  • Subject: [mg102159] DOCS: debugger + theorem prover
  • From: Chris Osborn <chrisosb at>
  • Date: Fri, 31 Jul 2009 05:53:59 -0400 (EDT)

Hi All,

Does anyone else feel there should be more documentation on the
interactive debugger, and also on the automated theorem prover?
I myself find the debugger a bit finicky and would like some
documentation there.

Also, it seems the automated theorem prover is called when the
arguments to FullSimplify are given in a specific format,
but that format is not documented.


  • Prev by Date: Re: Problem in plotting Bifurcation Diagram (ListPlot with
  • Next by Date: Re: The audience for Mathematica (Was: Show doesn't
  • Previous by thread: Skellam distribution
  • Next by thread: Help with concatenating a list with &&