Commutative Algebra in the Mizar System

Journal of Symbolic Computation - United States
doi 10.1006/jsco.2001.0456
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Undergraduate Commutative Algebra

1995English

Commutative Algebra of Generalised Frobenius Numbers

Algebraic Combinatorics
2019English

Formalization of Pell's Equations in the Mizar System

2017English

Non-Commutative Localization in Algebra and Topology

2006English

Multigraded Commutative Algebra of Graph Decompositions

Journal of Algebraic Combinatorics
CombinatoricsDiscrete MathematicsNumber TheoryAlgebra
2013English

Topological D-Branes and Commutative Algebra

Communications in Number Theory and Physics
Mathematical PhysicsNumber TheoryPhysicsAstronomyAlgebra
2009English

Fixed Subalgebra of a Commutative Frobenius Algebra

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1981English

Formalization of the MRDP Theorem in the Mizar System

Formalized Mathematics
Computational MathematicsApplied Mathematics
2019English

MizAR 40 for Mizar 40

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy