Commutative Algebra in the Mizar System

Journal of Symbolic Computation- United States

doi 10.1006/jsco.2001.0456

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

Undergraduate Commutative Algebra

1995Dutch

Non-Commutative Localization in Algebra and Topology

2006English

Multigraded Commutative Algebra of Graph Decompositions

Journal of Algebraic Combinatorics
CombinatoricsDiscrete MathematicsNumber TheoryAlgebra
2013English

Commutative Algebra of Generalised Frobenius Numbers

Algebraic Combinatorics
2019English

Formalization of Pell's Equations in the Mizar System

2017English

Topological D-Branes and Commutative Algebra

Communications in Number Theory and Physics
Mathematical PhysicsNumber TheoryPhysicsAstronomyAlgebra
2009English

Formalization of the MRDP Theorem in the Mizar System

Formalized Mathematics
Computational MathematicsApplied Mathematics
2019English

Fixed Subalgebra of a Commutative Frobenius Algebra

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1981English

MizAR 40 for Mizar 40

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015Occitan

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy