Pages that link to "Item:Q663308"
From MaRDI portal
The following pages link to Constructive finite free resolutions (Q663308):
Displaying 6 items.
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- Free resolutions of simplicial posets (Q1355518) (← links)
- Free resolutions of Artinian compressed algebras (Q1693090) (← links)
- An elementary proof of Wiebe's theorem (Q1703086) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Un anneau de Prüfer (Q4682433) (← links)