Following up on the previous article here under the same name   
      
   2006 October 27   
   http://groups.google.com/group/comp.ai/msg/1b1365ce3d1e3d1e?dmode=source&hl=en   
      
   >Expanded from the original, 2002 August 26, sci.math.research   
   >"The Mathematician's Algorithm and Automated Theory Generation"   
   >http://groups.google.com/group/sci.math.research/msg/c19f40b0c2   
   9bc3a?dmode=source&hl=en   
   >   
   >0. INTRODUCTION   
   >The Mathematician's Algorithm uses a construct I call a Boolean Sieve   
   >to closely capture the process a mathematician goes through in   
   >developing a mathematical theory.  In it, you see the concepts of   
   >conjectures, counter-examples and theorems emerge quite naturally.   
      
   This may be found in PDF form under   
      
   http://federation.g3z.com/Mathematics/index.htm#MathAlg   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)