• root
    • comp-sci
      • binary-search
      • maths
        • Analysis-Topology
          • lagrange-multipliers
            • proving-FTA
              • 1-integer-axioms
                • 2-division-algo
                  • 3-bezout-egcd
                    • 4-euclid
                      • 5-fta
                      • research
                        • CNATs
                          • cube-tilings
                        • writeups
                          • terminal


                        • root
                          • comp-sci
                            • binary-search
                            • maths
                              • Analysis-Topology
                                • lagrange-multipliers
                                  • proving-FTA
                                    • 1-integer-axioms
                                      • 2-division-algo
                                        • 3-bezout-egcd
                                          • 4-euclid
                                            • 5-fta
                                            • research
                                              • CNATs
                                                • cube-tilings
                                              • writeups
                                                • terminal
                                                /

                                                maths

                                                /

                                                research

                                                Contains 2 articles

                                                Name

                                                Updated

                                                • CNATs

                                                  14 Jul 2023

                                                • cube-tilings

                                                  17 Jul 2023

                                                up a level