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.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
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.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.