Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with forcing
A curated list of projects in awesome lists tagged with forcing .
https://github.com/iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Last synced: 13 Nov 2024
https://github.com/benportner/mirrors_prevent_climate_change
What is more area-efficient in tackling climate change: building mirrors that reflect the sun or building a synthetic fuel plant to replace fossil fuels? An analysis.
albedo engineering forcing geo global liquid mirror power radiative to warming
Last synced: 13 Nov 2024
