Roy L. McCasland

Available identifiers

zbMath Open mccasland.roy-lMaRDI QIDQ168887

List of research outcomes

Publication	Date of Publication	Type
Ascertaining mathematical theorems	2013-10-07	Paper
Classification results in quasigroup and loop theory via a combination of automated reasoning tools.	2010-06-15	Paper
Generalised associated primes and radicals of submodules	2009-05-07	Paper
Automatic Construction and Verification of Isotopy Invariants	2009-03-12	Paper
Automatic construction and verification of isotopy invariants	2008-06-11	Paper
Automated Reasoning	2007-09-25	Paper
Zariski Spaces of Modules over Arbitrary Rings	2007-02-14	Paper
Subtractive bases of Zariski spaces	2007-01-31	Paper
On Isolated Submodules	2006-09-25	Paper
Uniform dimension of modules	2005-05-03	Paper
Generators for the semimodule of varieties of a free module	2002-03-10	Paper
Zariski-finite modules	2001-04-01	Paper
On strong Mori domains	2000-09-03	Paper
An introduction to Zariski spaces over Zariski topologies	1999-10-21	Paper
Modules with bounded spectra	1999-02-02	Paper
On w-modules over strong mori domains	1998-09-08	Paper
On the spectrum of a module over a commutative ring	1997-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q5690126	1997-07-24	Paper
Finitely generated reflexive modules over coherent domains	1996-12-12	Paper
Prime submodules of Noetherian modules	1995-06-14	Paper
A principal ideal theorem analogue for modules over commutative rings	1994-06-06	Paper
Prime submodules	1992-09-27	Paper
On radicals of submodules	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5203127	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5202285	1990-01-01	Paper
On Radicals of Submodules of Finitely Generated Modules	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3712412	1985-01-01	Paper

Research outcomes over time

This page was built for person: Roy L. McCasland