The goal of this section to is enable users to work together on some development in Mathematica. Those developments might be new development in mathematics or computer science, or just the implementation of known results in Mathematica.
Almost everything here is in partial shape and welcomes improvements by anyone.
Knuth Bendix Algorithm: Implementation of the knuth bendix procedure in Mathematica. The goal is to solve the word problem in groups?
Solid 3D Geometry: Implementation of 3D shapes respecting closure and polygon orientations, enabling Boolean operations between the convex elements?
Four Color Theorem: Now that is has been proven two or three times, it would be nice to have the demonstration using the unavoidable configurations in Mathematica?
Lagrange Expansions: I'm building a catalog and set of notebooks of all the various Lagrange expansions (Burmann, Laplace, Cayley, Wronski, Legendre, etc.). I'm endeavoring to track down the original papers that describe these expansions (for which www.gallica.bnf.fr is a wonderful resource by the way). Contact sguthery@mobile-mind with any interest.
Art | 
WikiSysop | 
discussion
