| ^^^ | ||
| 24906 | gmane.comp.mathematics.abaqus.user | Abaqus Users (Commercial Finite Element Code) (non-public) |
| 857 | gmane.comp.mathematics.aldor-combinat.devel | Developer list of Aldor-Combinat (non-public) |
| 386 | gmane.comp.mathematics.ascend.user | ASCEND Users (non-public) |
| 3 | gmane.comp.mathematics.axiom... | |
| 221 | gmane.comp.mathematics.csc | A community of researchers interested in combinatorial and geometric aspects of scientific computing. |
| 11311 | gmane.comp.mathematics.fenics.dolfin | DOLFIN is the C++ interface to the FEniCS finite element library () |
| 2955 | gmane.comp.mathematics.gap.user | GAP user discussion forum () |
| 2 | gmane.comp.mathematics.gengeomalg.devel | Discussion of the development of a C++ generative geometry algorithms library. () |
| 2 | gmane.comp.mathematics.ginac... | |
| 23 | gmane.comp.mathematics.globsol.user | A mailing list for GlobSol users |
| 664 | gmane.comp.mathematics.graph | Support for the program Graph used to draw graphs of mathematical functions. |
| 2625 | gmane.comp.mathematics.hol | Discussion of the HOL proof systems () |
| 3 | gmane.comp.mathematics.jscl-meditor... | |
| 2 | gmane.comp.mathematics.libmesh... | |
| 180 | gmane.comp.mathematics.lmonade | Mailing list for the lmonade project () |
| 12252 | gmane.comp.mathematics.lpsolve | Linear Programming Solver lp_solve |
| 10 | gmane.comp.mathematics.mathstudio.devel | The MathStudio (http://mathstudio.sf.net) project mailing list used by developers (non-public) |
| 2 | gmane.comp.mathematics.maxima... | |
| 1371 | gmane.comp.mathematics.mizar | The Mizar program for verifying the correctness of mathematical proofs, and its library of verified proofs |
| 1610 | gmane.comp.mathematics.open-axiom.devel | Developer's list of Open-Axiom () |
| 3 | gmane.comp.mathematics.openmath... | |
| 3 | gmane.comp.mathematics.pari... | |
| 540 | gmane.comp.mathematics.proofpower | Discussion of the ProofPower proof system () |
| 2317 | gmane.comp.mathematics.reliable-computing | reliable computing; interval computations; conference announcements () |
| 25 | gmane.comp.mathematics.sage... | |
| 4 | gmane.comp.mathematics.scilab... | |
| 1275 | gmane.comp.mathematics.sundials.user | The Sundials suite of nonlinear differential algebraic equation solvers () |
| 2 | gmane.comp.mathematics.tochnog... |