Classification
Loading...
- 01: Discrete Mathematics (18 projects)
-
02: Algebra / Number Theory (37 projects)
- 01: Mathematical logic and foundations (1 project)
- 02: Number theory (8 projects)
- 03: Field theory (2 projects)
-
04: Commutative rings and algebras (10 projects)
- 01: Ideals, modules, homomorphisms (4 projects)
- 02: Polynomial and power series rings (4 projects)
- 03: Special rings (2 projects)
- 04: Graded rings and Hilbert functions (2 projects)
- 05: Integral dependence and normaliza... (1 project)
- 06: Dimension theory (2 projects)
- 07: Factorization and primary decompo... (3 projects)
- 08: Syzygies and resolutions (3 projects)
- 09: Differential algebra (1 project)
- 10: Groebner bases (4 projects)
- 05: Linear and multilinear algebra; m... (16 projects)
- 06: Non-commutative and general rings... (2 projects)
- 07: Category theory; homological alge... (2 projects)
-
08: Group theory and generalizations (5 projects)
- 01: Permutation groups (2 projects)
- 02: Matrix groups (1 project)
- 03: Finitely presented groups (1 project)
- 04: Polycyclicly presented groups (1 project)
- 05: Black box groups (1 project)
- 06: Group actions (1 project)
- 07: Subgroup lattices (1 project)
- 08: Group cohomology (1 project)
- 09: Semigroups (1 project)
- 09: Representation theory (3 projects)
-
03: Geometry / Topology (23 projects)
-
01: Algebraic geometry (7 projects)
- 01: Local theory, singularities (1 project)
- 02: Cycles and subschemes (1 project)
- 03: Families, fibrations (1 project)
- 04: Birational theory (1 project)
- 05: Co(homology) theory (1 project)
- 06: Arithmetic problems (1 project)
- 07: Projective Geometry (0 projects)
- 08: Algebraic groups and geometric in... (2 projects)
- 09: Special varieties (2 projects)
- 10: Real algebraic geometry (1 project)
- 02: Topological groups, Lie groups (0 projects)
- 03: Several complex variables and ana... (1 project)
- 04: Geometry (5 projects)
- 05: Differential geometry (1 project)
- 06: General topology (0 projects)
- 07: Algebraic topology (3 projects)
- 08: Manifolds and cell complexes (1 project)
- 09: Global analysis, analysis on mani... (0 projects)
- 10: Visualization (10 projects)
-
01: Algebraic geometry (7 projects)
-
04: Analysis (9 projects)
- 01: Differentiation and Integration (0 projects)
- 02: Sequences, series, limits (0 projects)
- 03: Approximations and expansions (1 project)
- 04: Functional analysis and operator ... (0 projects)
- 05: Special functions (0 projects)
- 06: Calculus of variations (0 projects)
- 07: Integral transforms, operational ... (0 projects)
- 05: Differential and Integral Equations (14 projects)
- 06: Probability / Statistics (17 projects)
-
07: Applications of Mathematics (18 projects)
- 70: Mechanics of particles and systems (0 projects)
- 74: Mechanics of deformable solids (0 projects)
- 76: Fluid mechanics (2 projects)
- 78: Optics, electromagnetic theory (0 projects)
- 80: Classical thermodynamics, heat tr... (0 projects)
- 81: Quantum theory (0 projects)
- 82: Statistical mechanics, structure ... (0 projects)
- 83: Relativity and gravitational theory (0 projects)
- 85: Astronomy and astrophysics (1 project)
- 86: Geophysics (0 projects)
- 87: Theoretical Chemistry (1 project)
- 88: Crystallography (1 project)
- 90: Operations research, mathematical... (5 projects)
- 91: Game theory, economics, social an... (1 project)
- 92: Biology and other natural sciences (0 projects)
- 93: Systems theory; control (2 projects)
- 94: Information and communication, ci... (0 projects)
- 08: Teaching (10 projects)
- 09: Logic/ Deduction/ Computational L... (2 projects)
02: Algebra / Number Theory
Projects in this Category
- Axiom
- CASA
- GAP
- GiANT
- Givaro
- KANT
- LinBox
- Macaulay 2
- Magma
- Maple
- MuPad
- NTL
- PARI/GP
- Reduce
- Risa/Asir
- Sage
- SYNAPS
Projects in subcategories
- SINGULAR ( 02.04 02.04.01 02.04.02 ... )
- CoCoA ( 02.04.01 02.04.02 02.04.04 ... )
- M4RI ( 02.05 02.05.01 02.05.03 )
- SuperLU ( 02.05.01 02.05.04 )
- PolyBoRi ( 02.01 02.04 )
- The Tensor Library ( 02.05.06 )
- LiDIA ( 02.02 )
- HSL ( 02.05 )
- Maxima ( 02.05 )
- Matlab ( 02.05 )
- LAPACK ( 02.05 )
- Octave ( 02.05 )
- IML - Integer Matrix Li... ( 02.05 )
- RCWA ( 02.02 02.08.01 )
- Fermat ( 02.04 )
- SYMMETRICA ( 02.09 )
- SymPy ( 02.04 02.05 )
- FLINT: Fast Library for... ( 02.02 )
- nauty ( 02.08 )
- QPA = Quivers and Path ... ( 02.09.02 )
The mathematical software is classified
mainly according to the terminology of the
2000 MSC,
however the structure of the 2000 MSC could not be taken over.
The classification consists of a hierarchical class identifier together with a class description.