Mechanical geometry theorem proving

Mechanical geometry theorem proving

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Chou, Shang - Ching
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht D. Reidel Publishing Company 1987
Σειρά:	Mathematics and its applications
Θέματα:	Γεωμετρία > Επεξεργασία δεδομένων

Παρόμοια τεκμήρια

Computational geometry an introduction
ανά: Preparata, Franco P.
Έκδοση: (1985)

Algorithmic geometry /
ανά: Boissonnat, Jean-Daniel
Έκδοση: (1998)

Computational line geometry
ανά: Pottmann, Helmut
Έκδοση: (2001)

Computational geometry : algorithms and applications /
Έκδοση: (1997)

Computational geometry : algorithms and applications /
Έκδοση: (2000)

Computational conformal geometry
Έκδοση: (2008)

Computational geometry an introduction through randomized algorithms
ανά: Mulmuley, Ketan
Έκδοση: (1994)

Computational geometry in C /
ανά: O'Rourke, Joseph
Έκδοση: (1994)

Computational geometry in C /
ανά: O'Rourke, Joseph
Έκδοση: (2000)

Computational geometry in C
ανά: O'Rourke, Joseph
Έκδοση: (2001)

Geometry for computer graphics : formulae, examples and proofs /
ανά: Vince, John (John A.)
Έκδοση: (2005)

Geometry of curves and surfaces with Maple
ανά: Rovenski, Vladimir
Έκδοση: (2000)

Perceptrons : an introduction to computational geometry /
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1988)

Υπολογιστική γεωμετρία μια σύγχρονη αλγοριθμική προσέγγιση
ανά: Εμίρης, Γιάννης Ζ., κ.ά.
Έκδοση: (2008)

Applied geometry for computer graphics and CAD /
ανά: Marsh, Duncan, 1961-
Έκδοση: (2005)

Applied geometry for computer graphics and CAD /
ανά: Marsh, Duncan, 1961-
Έκδοση: (1999)

User manual for the interactive goemetry software, Cinderella
ανά: Richter-Gebert, Jurgen
Έκδοση: (2000)

Νέοι αλγόριθμοι υπολογιστικής νοημοσύνης και ομαδοποίησης για την εξόρυξη πληροφορίας
ανά: Τασούλης, Δημήτριος Κ.
Έκδοση: (2006)

Using sophisticated models in resolution theorem proving
ανά: Sandford, David M.
Έκδοση: (1980)

Comparison theorems in Riemannian geometry
ανά: Cheeger, Jeff
Έκδοση: (2008)

Ricci flow and the sphere theorem /
ανά: Brendle, Simon, 1981-
Έκδοση: (2010)

Fractal geometry in biological systems an analytical approach
Έκδοση: (1996)

Classical mechanics with Maple /
ανά: Greene, Ronald L.
Έκδοση: (1995)

Mechanics, analysis and geometry 200 years after Lagrange
Έκδοση: (1991)

Quantum mechanics on the personal computer
ανά: Brandt, Siegmund
Έκδοση: (1989)

Computer - aided analysis of mechanical systems
ανά: Nikravesh, Parviz E.
Έκδοση: (1988)

Cartography and site analysis with microcomputers : A programming guide for physical planning, urban design and landscape architecture.

Analysis of ancient and medieval texts and manuscripts : digital approaches /
Έκδοση: (2014)

Geometry, analysis, and algebraic geometry: forty years of the journal of differential geometry
Έκδοση: (2009)

Integrability and nonintegrability in geometry and mechanics
ανά: Fomenko, A.T
Έκδοση: (1988)

Artificial intelligence in finance and investing state - of - the - art technologies for securities selection and management
ανά: Trippi, Robert R.
Έκδοση: (1996)

Computer algebra in scientific computing CASC 2000 proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000
Έκδοση: (2001)

Unstructured scientific computation on scalable multiprocessors /
Έκδοση: (1992)

Astronomy with your personal computer
ανά: Duffett-Smith, Peter
Έκδοση: (1990)

Auditing : integrated concepts and procedures /
Έκδοση: (1991)

Noncommutative geometry
ανά: Connes, Alain 1947-
Έκδοση: (1994)

Engineering stress analysis : хA иfinite element approach with FORTRAN 77 software.
Έκδοση: (1987)

Minkowski geometry
ανά: Thompson, A. C.
Έκδοση: (1996)

Topological geometry /
ανά: Porteous, Ian R.
Έκδοση: (1969)

DNA and protein sequence analysis : a practical approach /
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών