Geometry

Results: 20147



#Item
321

Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:

Add to Reading List

Source URL: hal.inria.fr

- Date: 2016-12-20 17:23:49
    322

    Kuta Software - Infinite Geometry Name___________________________________ The Angle Addition Postulate 1) Find m∠KLM if m∠KLB = 26°

    Add to Reading List

    Source URL: cdn.kutasoftware.com

    - Date: 2014-05-02 15:43:09
      323

      Comment. Math. Helv), 587–616 Commentarii Mathematici Helvetici Chern numbers and the geometry of partial flag manifolds D. Kotschick and S. Terzi´c

      Add to Reading List

      Source URL: 129.187.111.185

      - Date: 2009-05-26 14:02:41
        324

        Kuta Software - Infinite Geometry Name___________________________________ Line Segments and Measure

        Add to Reading List

        Source URL: cdn.kutasoftware.com

        - Date: 2014-05-02 15:43:08
          325

          Kuta Software - Infinite Geometry Name___________________________________ Multi-Step Trig. Problems

          Add to Reading List

          Source URL: cdn.kutasoftware.com

          - Date: 2014-05-02 15:43:13
            326

            Kuta Software - Infinite Geometry Name___________________________________ Mutually Exclusive Events

            Add to Reading List

            Source URL: cdn.kutasoftware.com

            - Date: 2016-05-09 17:08:38
              327

              Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. Bulletin

              Add to Reading List

              Source URL: hal.inria.fr

              - Date: 2016-12-20 09:17:19
                328

                Visualizing Performance Data With Respect to the Simulated Geometry Tom Vierjahn1,3 , Torsten W. Kuhlen1,3 , Matthias S. M¨ uller2,3 , and Bernd Hentschel1,3 1

                Add to Reading List

                Source URL: vr.rwth-aachen.de

                - Date: 2016-10-19 13:25:56
                  329

                  Geometry and the Quantum: Basics arXiv:1411.0977v1 [hep-th] 4 Nov 2014 Ali H. Chamseddine1,3 , Alain Connes2,3,4 Viatcheslav Mukhanov5,6 1

                  Add to Reading List

                  Source URL: alainconnes.org

                  - Date: 2014-11-08 05:58:06
                    330

                    1 An Amazing Approach to Plane Geometry Larry Wos Mathematics and Computer Science Division

                    Add to Reading List

                    Source URL: www.automatedreasoning.net

                    - Date: 2016-11-17 12:46:58
                      UPDATE