Mechanical theorem proving in geometries : basic principles

Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.

Saved in:

Bibliographic Details
Main Author:	Wu, Wen-tsün
Format:	Book
Language:	English Chinese
Published:	Wien ; New York : Springer-Verlag, 1994.
Series:	Texts and monographs in symbolic computation,
Subjects:	Geometry > Data processing. Automatic theorem proving.

Similar Items

Automated theorem proving : after 25 years
Published: (1984)

Automated theorem proving : after 25 years
Published: (1984)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1996)

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings
Published: (2022)

Automated reasoning with analytic tableaux and related methods : 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings
Published: (2021)

Formal analysis of future energy systems using interactive theorem proving
by: Ahmed, Asad, et al.
Published: (2022)

Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part I
Published: (2023)

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published: (2022)

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
Published: (2021)

Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part II
Published: (2023)

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings
Published: (2021)

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published: (2023)

Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published: (2023)

Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology
by: Löh, Clara
Published: (2022)

Automated reasoning : 33 basic research problems
by: Wos, Larry
Published: (1988)

Computational synthetic geometry
by: Bokowski, Jürgen
Published: (1989)

Algorithmic geometry
by: Boissonnat, J.-D. (Jean-Daniel), 1953-
Published: (1998)

Handbook of Computational Geometry.
by: Sack, J. R.
Published: (1999)

Computers in geometry and topology
Published: (1989)

Computational geometry : an introduction through randomized algorithms
by: Mulmuley, Ketan
Published: (1994)

Discrete and computational geometry : papers from the DIMACS special year
Published: (1991)

Proceedings of the ... annual ACM Symposium on Computational Geometry.
Published: (1986)

Computational geometry in C
by: O'Rourke, Joseph
Published: (1998)

Proof technology and computation
Published: (2006)

Meshing, Geometric Modeling and Numerical Simulation : V2 Metrics, Meshes and Meshes Adaptation.
by: George, Paul-Louis
Published: (2019)

Mathematical methods in computer aided geometric design II
Published: (1992)

Geometric Computation.
by: Chen, Falai
Published: (2004)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
by: Chlipala, Adam, 1981-
Published: (2013)

An introduction to computational origami
by: Ida, Tetsuo
Published: (2020)

Sampling in combinatorial and geometric set systems
by: Mustafa, Nabil H. (Nabil Hassan), 1979-
Published: (2022)

Geometric reasoning
Published: (1989)

Mechanical Theorem Proving in Geometries Basic Principles
by: Wu, Wen-tsün
Published: (1994)

Geometric approximation algorithms
by: Har-Peled, Sariel, 1971-
Published: (2011)

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Published: (2020)

Geometric science of information : 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings
Published: (2021)

Communication complexity : a new approach to circuit depth
by: Karchmer, Mauricio
Published: (1989)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I
Published: (2020)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II
Published: (2020)

Zero the math hero - geometry tutor. Volume and introduction to proofs
Published: (2012)

Lectures on the arithmetic Riemann-Roch theorem
by: Faltings, Gerd
Published: (1992)