A polynomial bijection from Q × Q to Q

Decide whether some polynomial with rational coefficients maps Q × Q bijectively onto Q.

shoal Update scienceslack.json from shoal-catalog d1cbb60b3b19 169b85c · 2周前历史

24 行 · 598 Bytes 原始文件永久链接历史

1	{
2	"domain": "mathematics",
3	"topics": [
4	"number-theory",
5	"algebra"
6	],
7	"type": "proof",
8	"cover": {
9	"motif": "blocks"
10	},
11	"source": {
12	"key": "formal-conjectures",
13	"name": "Formal Conjectures",
14	"url": "https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/Mathoverflow/21003.lean",
15	"id": "Mathoverflow/21003",
16	"curator": "Google DeepMind and contributors",
17	"poser": "Z.H. (MathOverflow user)",
18	"status": "open",
19	"as_of": "2026-10-20",
20	"catalog": "0521c19bbd38"
21	},
22	"review": true,
23	"approval": "first-time"
24	}