---
title: "Academy of Mathematics and Systems Science — works of 2026"
description: "1 works of Academy of Mathematics and Systems Science from 2026 in our library, the most cited first."
canonical: "https://research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/year/2026/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/year/2026/)

[home](https://md.research.elamur.ai/free/en/) / [institutions](https://md.research.elamur.ai/free/en/orgs/) / [labs](https://md.research.elamur.ai/free/en/labs/) / [Academy of Mathematics and Systems Science](https://md.research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/) / 2026

# Works of Academy of Mathematics and Systems Science from 2026

1 work · the most cited first · [← Academy of Mathematics and Systems Science](https://md.research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/)

1. [**Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics arXiv:2601.14027**Junqi Liu, Zihao Zhou, Zekai Zhu, et al.*2026 · 15 citations*](https://md.research.elamur.ai/free/en/papers/liu-2026-numina-lean-agent-open-general/)
- [← back to](https://md.research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/) — Academy of Mathematics and Systems Science