Jing-zhong Zhang - Böcker
Visar alla böcker från författaren Jing-zhong Zhang. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 6 - Series On Applied Mathematics
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Inbunden, Engelska, 1994
2 599 kr
Tillfälligt slut
This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems.The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method.This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education.
Del 23 - Mathematical Olympiad Series
Solving Problems In Point Geometry: Insights And Strategies For Mathematical Olympiad And Competitions
Inbunden, Engelska, 2024
844 kr
Skickas inom 3-6 vardagar
For over two millennia, the complexities of elementary geometry have challenged learners, burdened by the intricacies of auxiliary graphics and cumbersome calculations. Inspired by Leibniz's query, this book introduces a groundbreaking method: point geometry. By operating directly on points, it integrates the strengths of coordinate, vector, and mass point methods, simplifying operations and problem-solving.Central to this method is the identity approach, which streamlines complex problems into concise equations, unlocking multiple propositions with ease. Through meticulously crafted examples, readers are invited to explore the joy of mathematical thinking.Beyond mathematics, point geometry holds promise for artificial intelligence, offering a simple yet rich knowledge representation and reasoning method. With most solutions generated by computer programs, the potential for simplifying reasoning methods is immense, paving the way for a brighter future in both education and AI advancement.In this ambitious endeavor, the authors seek to simplify knowledge representation and reasoning, reduce the burden of learning, and accelerate the progress of artificial intelligence. This book is not just a guide to geometry; it's a catalyst for transformative thinking and discovery.
Del 23 - Mathematical Olympiad Series
Solving Problems In Point Geometry: Insights And Strategies For Mathematical Olympiad And Competitions
Häftad, Engelska, 2024
464 kr
Skickas inom 5-8 vardagar
For over two millennia, the complexities of elementary geometry have challenged learners, burdened by the intricacies of auxiliary graphics and cumbersome calculations. Inspired by Leibniz's query, this book introduces a groundbreaking method: point geometry. By operating directly on points, it integrates the strengths of coordinate, vector, and mass point methods, simplifying operations and problem-solving.Central to this method is the identity approach, which streamlines complex problems into concise equations, unlocking multiple propositions with ease. Through meticulously crafted examples, readers are invited to explore the joy of mathematical thinking.Beyond mathematics, point geometry holds promise for artificial intelligence, offering a simple yet rich knowledge representation and reasoning method. With most solutions generated by computer programs, the potential for simplifying reasoning methods is immense, paving the way for a brighter future in both education and AI advancement.In this ambitious endeavor, the authors seek to simplify knowledge representation and reasoning, reduce the burden of learning, and accelerate the progress of artificial intelligence. This book is not just a guide to geometry; it's a catalyst for transformative thinking and discovery.
2 074 kr
Skickas inom 5-8 vardagar
With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.