A structured visual guide to the major mathematical areas and their relationships.
Search by code, branch, topic, subtopic, or a keyword from the descriptions.
This subtopic studies computational commutative algebra, focusing on algorithms for Gröbner bases, ideals, and algebraic systems arising in practice.
13P05 studies polynomials, factorization in computational commutative algebra. It focuses on algorithmic representations, complexity-sensitive methods, and symbolic workflows used to make commutative-algebra problems explicit and computable.
Polynomials, factorization (Wikipedia)
Used to organize definitions, compare equivalent formulations, and support proof-driven or computational work in algebra and algebraic geometry.
13P10 studies grobner bases; other bases for ideals and modules in computational commutative algebra. It focuses on algorithmic representations, complexity-sensitive methods, and symbolic workflows used to make commutative-algebra problems explicit and computable.
Grobner bases; other bases for ideals and modules (Wikipedia)
Used to organize definitions, compare equivalent formulations, and support proof-driven or computational work in algebra and algebraic geometry.
13P15 studies solving polynomial systems in computational commutative algebra. It focuses on algorithmic representations, complexity-sensitive methods, and symbolic workflows used to make commutative-algebra problems explicit and computable.
Solving polynomial systems (Wikipedia)
Used to organize definitions, compare equivalent formulations, and support proof-driven or computational work in algebra and algebraic geometry.
13P20 studies computational homological algebra in computational commutative algebra. It focuses on algorithmic representations, complexity-sensitive methods, and symbolic workflows used to make commutative-algebra problems explicit and computable.
Computational homological algebra (Wikipedia)
Used to organize definitions, compare equivalent formulations, and support proof-driven or computational work in algebra and algebraic geometry.
13P25 studies applications of commutative algebra to sciences in computational commutative algebra. It focuses on algorithmic representations, complexity-sensitive methods, and symbolic workflows used to make commutative-algebra problems explicit and computable.
Applications of commutative algebra to sciences (Wikipedia)
Used to organize definitions, compare equivalent formulations, and support proof-driven or computational work in algebra and algebraic geometry.