Search Results - "geometry"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 52
- Mathematics 51
- Technology: general issues 51
- Research & information: general 39
- Geometry 20
- Algebra 19
- Mathematics & science 18
- Physics 18
- Architectural structure & design 16
- Engineering graphics & technical drawing 16
- Mathematical physics 16
- Architecture 12
- Nuclear physics 12
- Geometry and Trigonometry 10
- Chemistry 9
- Art techniques & principles 8
- Computer science 8
- Differential & Riemannian geometry 8
- Differential calculus & equations 8
- Probability & statistics 8
- Groups & group theory 6
- History 6
- Mathematical foundations 6
- Number theory 6
- Numerical analysis 6
- Science: general issues 6
- Teaching skills & techniques 6
- Applied mathematics 5
- Artificial intelligence 5
- Calculus 5
-
1941
-
1942
-
1943
-
1944
Proceedings of the 13th International Congress on Mathematical Education ICME-13 /
Published 2017Table of Contents: “…Nemenzo, Masami Isoda, Maitree Inprasitha, Sampan Thinwiangthong, Narumon Changsri, Nisakorn Boonsena, Chan Roth, Monkolsery Lin, Souksomphone Anothay, Phoutsakhone Channgakham, Nguyen Chi Thanh, VŨ NHƯ Thư Hương, Phương Thảo Nguyễn -- Teaching and learning mathematics in Turkey, Huriye Arikan -- Part 6: Reports from the Topical Study Groups -- Topic study group no. 01 Early childhood mathematics education (up to age 7), Iliada Elia, Joanne Mulligan -- Topic study group no. 02 Mathematics education at tertiary level, Victor Giraldo, Chris Rasmussen -- Topic study group no. 03 Mathematics education in and for work, Diana Coben, Geoff Wake -- Topic study group no. 04 Activities for, and research on, mathematically gifted students, Florence Mihaela Singer, Linda Jensen Sheffield -- Topic study group no. 05 Classroom practice and research for students with mathematical learning difficulties, Lourdes Figueiras, Rose Griffiths -- Topic study group no. 06 Adult learning, Pradeep Kumar Misra, Jürgen Maaß -- Topic study group no. 07 Populariztion of Mathematics, Christian Mercat, Patrick Vennebush -- Topic study group no. 08 Teaching and learning of arithmetic and number systems (focus on primary education), Pi-Jen Lin, Terezinha Nunes -- Topic study group no. 09 Teaching and learning of measurement (focus on primaryeducation), Christine Chambris, Barbara Dougherty -- Topic study group no. 10 Teaching and learning of early algebra, Carolyn Kieran, JeongSuk Pang -- Topic study group no. 11 Teachig and Learning of Algebra, Rakhi Banerjee, Amy Ellis -- Topic study group no. 12 Teaching and learning of geometry (primary level), Sinan Olkun, Ewa Swoboda -- Topic study group no. 13 Teaching and learning of geometry - secondary level, Ui Hock Cheah, Patricio G. …”
Link to Metadata
Electronic eBook -
1945
National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /
Published 2020Table of Contents: “…The emergence of meaningful geometry; Michiel Doorman, Marja van den Heuvel-Panhuizen, Aad Goddijn -- 16. …”
Link to Metadata
Electronic eBook -
1946
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata
Electronic eBook -
1947
Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications /
Published 2017Table of Contents: “…Part I: Theoretical Performance of Error-Correcting Codes -- Bounds on Error Correction Coding Performance -- Soft and Hard Decision Decoding Performance -- Soft Decision and Quantised Soft Decision Decoding -- Part II: Code Construction -- Cyclotomic Cosets, The Mattson-Solomon Polynomial, Idempotents and Cyclic Codes -- Good Binary Linear Codes -- Lagrange Codes -- Extended BCH -- Reed-Solomon Codes -- Algebraic Geometry Codes -- Algebraic Quasi Cyclic Codes -- Convolutional Codes: A Historical Perspective -- Aalogue BCH Codes -- LDPC Codes -- Part III: Analysis of Codes -- True Search for Stopping Sets for LDPC Codes -- Part IV: Decoders -- Erasures and Error-Correcting Codes -- The Modified Dorsch Decoder -- A Concatenated Error-Correction System Using the /u/u+v/ Code Construction -- Part V: Applications -- Combined Error Detection and Error Correction -- Password Correction and Confidential Information Access System -- Variations on the McEliece Public Key Encryption System -- Error-Correcting Codes and Dirty-Paper Coding.…”
Link to Metadata
Electronic eBook -
1948
A First Course in Linear Algebra
Published 2017Table of Contents: “…1 Systems of Equations -- 1.1 Systems of Equations, Geometry -- 1.2 Systems Of Equations, Algebraic Procedures -- 2 Matrices -- 2.1 Matrix Arithmetic -- 2.2 LU Factorization -- 3 Determinants -- 3.1 Basic Techniques and Properties -- 3.2 Applications of the Determinant -- 4 R^n -- 4.1 Vectors in R^n -- 4.2 Algebra in R^n -- 4.3 Geometric Meaning of Vector Addition -- 4.4 Length of a Vector -- 4.5 Geometric Meaning of Scalar Multiplication -- 4.6 Parametric Lines -- 4.7 The Dot Product -- 4.8 Planes in R^n -- 4.9 The Cross Product -- 4.10 Spanning, Linear Independence and Basis in R^n -- 4.11 Orthogonality and the Gram Schmidt Process -- 4.12 Applications -- 5 Linear Transformations -- 5.1 Linear Transformations -- 5.2 The Matrix of a Linear Transformation I -- 5.3 Properties of Linear Transformations -- 5.4 Special Linear Transformations in R^2 -- 5.5 One to One and Onto Transformations -- 5.6 Isomorphisms -- 5.7 The Kernel And Image Of A Linear Map -- 5.8 The Matrix of a Linear Transformation II -- 5.9 The General Solution of a Linear System -- 6 Complex Numbers -- 6.1 Complex Numbers -- 6.2 Polar Form -- 6.3 Roots of Complex Numbers -- 6.4 The Quadratic Formula -- 7 Spectral Theory -- 7.1 Eigenvalues and Eigenvectors of a Matrix -- 7.2 Diagonalization -- 7.3 Applications of Spectral Theory -- 7.4 Orthogonality -- 8 Some Curvilinear Coordinate Systems -- 8.1 Polar Coordinates and Polar Graphs -- 8.2 Spherical and Cylindrical Coordinates -- 9 Vector Spaces -- 9.1 Algebraic Considerations -- 9.2 Spanning Sets -- 9.3 Linear Independence -- 9.4 Subspaces and Basis -- 9.5 Sums and Intersections -- 9.6 Linear Transformations -- 9.7 Isomorphisms -- 9.8 The Kernel And Image Of A Linear Map -- 9.9 The Matrix of a Linear Transformation -- A Some Prerequisite Topics -- A.1 Sets and Set Notation -- A.2 Well Ordering and Induction -- B Selected Exercise Answers…”
Access online version
Electronic eBook -
1949
Villard de Honnecourt, architecte du XIIIe siècle
Published 2015DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1950
-
1951
-
1952
-
1953
-
1954
-
1955
-
1956
-
1957
-
1958
-
1959
-
1960