Roy L. McCasland

From MaRDI portal
Person:168887

Available identifiers

zbMath Open mccasland.roy-lMaRDI QIDQ168887

List of research outcomes





PublicationDate of PublicationType
Ascertaining mathematical theorems2013-10-07Paper
Classification results in quasigroup and loop theory via a combination of automated reasoning tools.2010-06-15Paper
Generalised associated primes and radicals of submodules2009-05-07Paper
Automatic Construction and Verification of Isotopy Invariants2009-03-12Paper
Automatic construction and verification of isotopy invariants2008-06-11Paper
Automated Reasoning2007-09-25Paper
Zariski Spaces of Modules over Arbitrary Rings2007-02-14Paper
Subtractive bases of Zariski spaces2007-01-31Paper
On Isolated Submodules2006-09-25Paper
Uniform dimension of modules2005-05-03Paper
Generators for the semimodule of varieties of a free module2002-03-10Paper
Zariski-finite modules2001-04-01Paper
On strong Mori domains2000-09-03Paper
An introduction to Zariski spaces over Zariski topologies1999-10-21Paper
Modules with bounded spectra1999-02-02Paper
On w-modules over strong mori domains1998-09-08Paper
On the spectrum of a module over a commutative ring1997-11-18Paper
https://portal.mardi4nfdi.de/entity/Q56901261997-07-24Paper
Finitely generated reflexive modules over coherent domains1996-12-12Paper
Prime submodules of Noetherian modules1995-06-14Paper
A principal ideal theorem analogue for modules over commutative rings1994-06-06Paper
Prime submodules1992-09-27Paper
On radicals of submodules1992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q52031271991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q52022851990-01-01Paper
On Radicals of Submodules of Finitely Generated Modules1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37124121985-01-01Paper

Research outcomes over time

This page was built for person: Roy L. McCasland