Slashdot Mirror

← Back to Domains

Domain: mathforge.net

Stories and comments across the archive that link to mathforge.net.

Comments · 5

  1. Re:Explanation needed by jkauzlar · · Score: 1 · on Going Beyond Fermat's Last Theorem
    IANAM (mathematician) nor an expert, but it looks like Andrew Wile's 1994 proof was somewhat roundabout in its methods of proving FLT. The solution to Serre's Conjecture, which Kharan is proving, will imply the truth of FLT, so its a much more direct way of proving FLT. More importantly, the proof is a part of the 'Langlands Program,' which is a lengthy program which has the goal of correlating the theory of 'Lie Groups' with symmetry in number theory. Lie Groups, I believe, are structures of matrices and studied in the very active field of representation theory.

    Sorry for all of the technical terms in this description, but I barely know what they mean either. The point is that Dr. Kharan's proof is showing correlations between two large areas of mathematics (Lie Groups and a certain type of number theory), and so results between one group can be used to prove results in another. A proof like this generally leads to big advancements in mathematics. Here's a brief description from mathforge.net.

  2. Mathforge RSS by aaron240 · · Score: 1 · on Cool RSS Feeds?

    Plugging my own site: Mathforge math news feed

  3. Re:Mathforge.net by Anonymous Coward · · Score: 0 · on Introducing RMS-Lint

    Sorry.. mathforge.net

  4. No, No, No! by jkauzlar · · Score: 1 · on Help Write An Open Data Format Bill
    There won't be any pressure to convert from the use of one file format to another. If you have a file format that is secret, then all you have to do is make the formatting algorithm freely available.

    But then again, I'm just an unfrozen caveman.*

  5. MathForge by Anonymous Coward · · Score: 2, Informative · on Use of Math Languages and Packages in Research?

    MathForge is a project designed to utilize "web services" to provide interfaces to networked and local math tools. The idea being the mathforge architecture "discovers" math services depending on whatever task needs to be done.

    The base of the project is a Java environment on which programmers can build tools as needed.

    It is GPL'ed software.