-
Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers
Automatic theorem proving;Geometry;sähkökirjat
Sturm, Thomas;Zengler, Christoph - Springer 2011
-
Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers
Automatic theorem proving;Geometry;Logic, Symbolic and mathematical;sähkökirjat
Botana, Francisco;Recio, T - Springer 2007
-
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
Automatic theorem proving;Geometry;Artificial intelligence;Artificial Intelligence (incl. Robotics);Computational complexity;Computer graphics;Computer science;Discrete Mathematics in Computer Science;Mathematical Logic and Formal Languages;Software engineering;Symbolic and Algebraic Manipulation;sähkökirjat
Narboux, Julien;Richter-Gebert, Jürgen;Schreck, Pascal - Springer 2011
-
Implicit curves and surfaces : mathematics, data structures and algorithms
Computer graphics;Curves on surfaces;Geometrical models;Implicit functions;sähkökirjat
Gomes, Abel J. P - Springer 2009
-
Handbook of geometric computing : applications in pattern recognition, computer vision, neuralcomputing, and robotics
Geometry;Géométrie;sähkökirjat
Bayro Corrochano, Eduardo - Springer 2005
-
Computational geometry and graph theory : international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers
Geometry;Graph theory;sähkökirjat
Ito, Hiro - Springer 2008
-
Computational geometry : XIV Spanish Meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcala de Henares, Spain, June 27-30, 2011, revised selected papers
Geometry;sähkökirjat
Hurtado, Ferran;Marquez, Alberto;Ramos, Pedro;Urrutia, J - Springer 2012
-
Curves and surfaces : 7th international conference, Curves and Surfaces 2010, Avignon, France, June 24-30, 2010 : revised selected papers
Geometry;Computational complexity;Computer aided design;Computer graphics;Computer Imaging, Vision, Pattern Recognition and Graphics;Computer science;Computer simulation;Computer vision;Computer-Aided Engineering (CAD, CAE) and Design;Discrete Mathematics in Computer Science;Image Processing and Computer Vision;Simulation and Modeling;sähkökirjat
Boissonnat, J.-D - Springer 2012
-
Geometric inequalities
Geometry, Plane;Inequalities (Mathematics);sähkökirjat
Kazarinoff, Nicholas D - Mathematical Association of America 1961
-
Geometric transformations. / II
Geometry, Modern;Inversions (Geometry);Exercice géométrie;MATHEMATICS / Geometry / General;Transformations (Mathématiques);sähkökirjat
I͡Aglom, I. M;Buehler, George H;Shields, I. M - Mathematical Association of America 1968
-
Geometric transformations III
Geometry, Modern;Inversions (Geometry);Geometry;Geometria elementar;MATHEMATICS / Geometry / General;Transformations (mathématiques);Problems, exercises, etc;sähkökirjat
I͡Aglom, I. M;Shenitzer, Abe - Mathematical Association of America 1973
-
Geometric transformations. I
Geometry, Modern;Inversions (Geometry);sähkökirjat
I͡Aglom, I. M;Shenitzer, Abe - Mathematical Association of America 1975
-
Real Analytic and Algebraic Geometry : Proceedings of the International Conference, Trento (Italy), September 21-25th, 1992
Geometry, Algebraic;Geometry, Analytic;sähkökirjat;Kongress;Reelle algebraische Geometrie;Reelle analytische Geometrie;Trient <1992>
Broglia, Fabrizio;Galbiati, Margherita;Tognoli, Alberto - De Gruyter 1995
-
Measurement
Geometry;Mathematical notation;MATHEMATICS / Geometry / General;sähkökirjat;Mathematik;Mathematics, other;Mathematics
Lockhart, Paul - Harvard University Press 2012
-
Origami³
Origami in education;Origami;CRAFTS & HOBBIES / Origami;Conference proceedings;sähkökirjat
Hull, Thomas - A K Peters 2002
-
Proceedings of the Workshop Contemporary Geometry and Related Topics : Belgrade, Yugoslavia, 15-21 May 2002
Geometry, Modern;Topology;MATHEMATICS;Conference proceedings;sähkökirjat
Bokan, Neda - World Scientific 2004
-
Advanced mathematical & computational tools in metrology VI
Measurement;Physical measurements;Metrology;MATHEMATICS;TECHNOLOGY & ENGINEERING;Conference proceedings;sähkökirjat
Ciarlini, P - World Scientific 2004
-
Advanced mathematical & computational tools in metrology VII
Measurement;Physical measurements;MATHEMATICS;TECHNOLOGY & ENGINEERING;Conference proceedings;sähkökirjat
Ciarlini, P - World Scientific 2006
-
Beyond measure : a guided tour through nature, myth, and number
Design;Geometry;Mathematics;Bouwkunst;Getallen;Meetkunde;Muziek;Natuur;sähkökirjat
Kappraff, Jay - World Scientific 2002
-
Comprehensive volume and capacity measurements
Volume (Cubic content);sähkökirjat
Gupta, S. V - New Age International (P) Ltd., Publishers 2006