INVESTIGATING NEW DEPENDENCIES IN THE STRUCTURE OF NEAR-RINGS OVER FINITE CYCLIC GROUPS
Abstract
The current state of available software tools for near-rings over finitecyclic groups is such that the final steps of the research into new theorems that describegroups of these near-rings must be done manually. We propose an approach and havedeveloped an algorithm for automatically matching groups of near-rings over finitecyclic groups to already existing theorems. Additional parts of the developed softwaremodule filter out the already described near-rings and group the remaining ones intobatches of items with similar or same dependencies between the elements inside them.The final step is outputting these groups into a human-readable format, which aidsmathematicians’ investigation into new theorems and hypotheses.
Refbacks
- There are currently no refbacks.