BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ilias Kotsireas
SearchCollections
Map detail
Ilias Kotsireas9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIlias KotsireasAIlias KotsireasResearcherA Neurosymbolic Framework for Geometric Reduction of Binary FormsWA Neurosymbolic Framewo...preprint / 2025Legendre pair of length $77$ using complementary binary matrices with fixed marginalsWLegendre pair of length...preprint / 2021Formal Orthogonal Pairs via Monomial Representations and CohomologyWFormal Orthogonal Pairs...preprint / 2020Effective problem solving using SAT solversWEffective problem solvi...preprint / 2019Nonexistence Certificates for Ovals in a Projective Plane of Order TenWNonexistence Certificat...preprint / 2020Unsatisfiability Proofs for Weight 16 Codewords in Lam's ProblemWUnsatisfiability Proofs...preprint / 2020Quantum and Post-Newtonian Effects in the Anomalistic Period and the Mean Motion of Celestial BodiesWQuantum and Post-Newton...preprint / 2015A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 CodewordsWA Nonexistence Certific...preprint / 2020
Person8 links

Ilias Kotsireas

Researcher

PaperA Neurosymbolic Framework for Geometric Reduction of Binary FormsAuthorship / preprint / 2025PaperLegendre pair of length 7777 using complementary binary matrices with fixed marginalsAuthorship / preprint / 2021PaperFormal Orthogonal Pairs via Monomial Representations and CohomologyAuthorship / preprint / 2020PaperEffective problem solving using SAT solversAuthorship / preprint / 2019PaperNonexistence Certificates for Ovals in a Projective Plane of Order TenAuthorship / preprint / 2020PaperUnsatisfiability Proofs for Weight 16 Codewords in Lam's ProblemAuthorship / preprint / 2020PaperQuantum and Post-Newtonian Effects in the Anomalistic Period and the Mean Motion of Celestial BodiesAuthorship / preprint / 2015PaperA Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 CodewordsAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)