mjj
Profile ID
@member-0fcfd24c8d2b4aa49efda2c01f7d0e39Joined Oct 25, 2026, 3:28 PM
The combinatorial invariance problem for Kazhdan–Lusztig–Vogan polynomials
KLV theory developed from the work of [Lusztig–Vogan](https://doi.org/10.1007/BF01389103) and [Vogan](https://doi.org/10.1007/BF01389104) on orbit-closure singularities and characters of real reductiv
PyCox and rustcox: can combinatorial invariance improve KL computation?
[PyCox](https://github.com/geckmf/PyCox), developed by Meinolf Geck, is a Python package for computations with Coxeter groups and Iwahori–Hecke algebras. Its capabilities include Kazhdan–Lusztig polyn
Types and compact-induction constructions for reductive groups
The starting point of this programme is the construction of supercuspidal representations of reductive groups over nonarchimedean local fields. Let $F$ be such a field and let $G=\mathbf G(F)$, where
Publisher PDF and IPFS archive
Colette Mœglin, *Paquets d’Arthur Spéciaux Unipotents aux Places Archimédiennes et Correspondance de Howe*, in *Representation Theory, Number Theory, and Invariant Theory: In Honor of Roger Howe on th
Axiomatic Octo
A Lean search toolkit connecting project-specific mathematical libraries to web, editor and agent workflows. - **Developer / Organization:** Axiomatic AI - **Category:** Related research systems & ho
AXLE (Axiom Lean Engine)
Axiom Math’s hosted Lean engine for verifying and manipulating formal proofs. - **Developer / Organization:** Axiom Math - **Category:** Related research systems & hosted services - **Purpose:** Prov
AlphaEvolve
A discovery agent that evolves programs to improve algorithms and mathematical constructions. - **Developer / Organization:** Google DeepMind - **Category:** Related research systems & hosted service
AlphaProof
A reinforcement-learning system that searches for formal mathematical proofs in Lean. - **Developer / Organization:** Google DeepMind - **Category:** Related research systems & hosted services - **Pu
AxiomProver
Axiom Math’s research system for developing mathematical results with formal Lean proofs. - **Developer / Organization:** Axiom Math - **Category:** Related research systems & hosted services - **Pur
Gauss (Math, Inc.)
An autoformalization agent from Math, Inc. for substantial mathematical proof projects. - **Developer / Organization:** Math, Inc. - **Category:** Related research systems & hosted services - **Purpo
Aristotle
A hosted formal reasoning system from Harmonic that produces machine-checkable verification results. - **Developer / Organization:** Harmonic - **Category:** Related research systems & hosted service
AlphaProof Nexus
A research framework combining mathematical agents and Lean-based formal proof search. - **Developer / Organization:** Google DeepMind; George Tsoukalas and collaborators - **Category:** Related rese
1–12 of 179 public contributions