The 95256-cap in PG(12; 4) is complete
We describe an algorithm for testing the completeness of caps in PG(r; q), q even. It allowed us to check that the 95256-cap in PG(12; 4) recently found by Fu el al. (see [14]) is complete.
math.CO↗
arXiv subjects
S. Marcugini
Publications and source records attributed to S. Marcugini.
A Reason Maintenace System Dealing with Vague Data
A reason maintenance system which extends an ATMS through Mukaidono's fuzzy logic is described. It supports a problem solver in situations affected by incomplete information and vague data, by allowing nonmonotonic inferences and the revision of previous conclusions when contradictions are detected.
cs.AI↗
The non-existence of a [[13,5,4]] quantum stabilizer code
We solve one of the oldest problems in the theory of quantum stabilizer codes by proving the non-existence of quantum [[13,5,4]]-codes.
cs.IT↗