---
title: "HUN-REN Alfréd Rényi Institute of Mathematics — works of 2019"
description: "1 works of HUN-REN Alfréd Rényi Institute of Mathematics from 2019 in our library, the most cited first."
canonical: "https://research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/year/2019/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/year/2019/)

[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/) / [HUN-REN Alfréd Rényi Institute of Mathematics](https://md.research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/) / 2019

# Works of HUN-REN Alfréd Rényi Institute of Mathematics from 2019

1 work · the most cited first · [← HUN-REN Alfréd Rényi Institute of Mathematics](https://md.research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/)

1. **[Towards Finding Longer Proofs](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.*2019 · 21 citations*
- [← back to](https://md.research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/) — HUN-REN Alfréd Rényi Institute of Mathematics