The Nest
Explore
Sign in
finegeometer
Ideas
src
0
Code
Changes
Tags
Discussions
main
finegeometer
Write about non-euclidean geometry.
on February 11, 2022
SUMMARY.md
Write about non-euclidean geometry.
on February 11, 2022
algebra_teacher.md
Idea: Algebra teaching tool.
on January 31, 2022
bi_topos.md
Separation Logic and Noncommutative Geometry. Is there a connection?
on January 20, 2022
four_dimensions.md
Write about the different kinds of non-Euclidean space.
on January 11, 2022
geom_articles.md
Write about the different kinds of non-Euclidean space.
on January 11, 2022
intro.md
Write a bit more about quantifier elimination.
on January 3, 2022
non_euclid.md
Write about non-euclidean geometry.
on February 11, 2022
quant_elim.md
More on quantelim.
on January 4, 2022
speedrunning_lower_bound.md
atari-proofs project now exists
on January 31, 2022