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: Noncommutative 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 (18 projects)

07: Applications of Mathematics (19 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 (3 projects)
 94: Information and communication, ci... (0 projects)
 08: Teaching (10 projects)
 09: Logic/ Deduction/ Computational L... (2 projects)
03: Geometry / Topology
Projects in this Category
Projects in subcategories
 SymPy ( 03.04 )
 CGAL ( 03.01 )
 CoCoA ( 03.01.09 )
 Kenzo ( 03.07 )
 GeoGebra ( 03.04 03.10 )
 SINGULAR ( 03.01 03.01.01 03.01.02 ... )
 Surfer ( 03.01 )
 Macaulay 2 ( 03.01 )
 Scilab Image Processing... ( 03.10 )
 Steenrod ( 03.07 )
 Cinderella ( 03.04 03.10 )
 GAP ( 03.01.08 )
 Xeukleides ( 03.04 03.10 )
 ePix ( 03.10 )
 polymake ( 03.07 03.10 )
 G+Smo ( 03.04 03.05 03.10 )
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.