complexity-theory

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks

Final Year Masters Project: modal logic solver tableaux

CSC504: Theory of Computer Science [TCS] | TE Semester V | Computer Engineering

Reduction between computational hard problems.

This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

Notable P vs. NP proof attempts.

An implementation-neutral algorithm analysis and visualization library

Informatica teorica

A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more

This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.

[2025 uni] Notes for "Algoritmi e Complessità" (Algorithms and Complexity analysis) course at unimi.

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

GCS-Q is a coalition structure generation algorithm for induced subgraph games

Computer Science in C / C++

🐍 Recursos disponibles de la Teoría de Complejidad

Optimal coalition formation among Low Earth Orbit (LEO) satellites via GCS-Q algorithm.

An empirical study that builds on Merrill et al. theoretical construction to solve majority. A closer look into transformers reaction to training dynamics and data corruption.

QuACS: Variational Quantum Algorithm for Coalition Structure Generation in Induced Subgraph Games

Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L

Project dedicated to simulating and visualizing complex systems, with the goal of enhancing sociopolitical and economic decision-making.