Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissio...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Sturm, Thomas (Επιμελητής έκδοσης), Zengler, Christoph (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Σειρά:	Lecture Notes in Computer Science, 6301
Θέματα:	Computer science. Computer logic. Mathematical logic. Computer science > Mathematics. Artificial intelligence. Computer graphics. Convex geometry. Discrete geometry. Computer Science. Artificial Intelligence (incl. Robotics). Computer Graphics. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Discrete Mathematics in Computer Science. Convex and Discrete Geometry.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /
Έκδοση: (2006)

Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers /
Έκδοση: (2004)

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
Έκδοση: (2007)

Sparsity Graphs, Structures, and Algorithms /
ανά: Nešetřil, Jaroslav, κ.ά.
Έκδοση: (2012)

Twentieth Anniversary Volume: Discrete & Computational Geometry /
Έκδοση: (2009)

New Approaches to Circle Packing in a Square With Program Codes /
ανά: Szabó, P. G., κ.ά.
Έκδοση: (2007)

Discrete Geometry, Combinatorics and Graph Theory 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers /
Έκδοση: (2007)

Computational Geometry, Graphs and Applications 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, Revised Selected Papers /
Έκδοση: (2011)

Discrete and Computational Geometry Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers /
Έκδοση: (2005)

Computational Geometry and Graph Theory International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
Έκδοση: (2008)

Discrete and Computational Geometry and Graphs 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers /
Έκδοση: (2016)

Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers /
Έκδοση: (2014)

Euclidean Distance Geometry An Introduction /
ανά: Liberti, Leo, κ.ά.
Έκδοση: (2017)

Ricci Flow for Shape Analysis and Surface Registration Theories, Algorithms and Applications /
ανά: Zeng, Wei, κ.ά.
Έκδοση: (2013)

Digital and Discrete Geometry Theory and Algorithms /
ανά: Chen, Li M.
Έκδοση: (2014)

Polyhedral and Algebraic Methods in Computational Geometry
ανά: Joswig, Michael, κ.ά.
Έκδοση: (2013)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
Έκδοση: (2011)

Triangulations Structures for Algorithms and Applications /
ανά: Loera, Jesús A. De, κ.ά.
Έκδοση: (2010)

Computing the Continuous Discretely Integer-Point Enumeration in Polyhedra /
ανά: Beck, Matthias, κ.ά.
Έκδοση: (2007)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Έκδοση: (2015)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Έκδοση: (2013)

Digital Geometry Algorithms Theoretical Foundations and Applications to Computational Imaging /
Έκδοση: (2012)

Computing the Continuous Discretely Integer-Point Enumeration in Polyhedra /
ανά: Beck, Matthias, κ.ά.
Έκδοση: (2015)

Linear and Integer Programming vs Linear Integration and Counting A Duality Viewpoint /
ανά: Lasserre, Jean-Bernard
Έκδοση: (2009)

Bridging Mathematics, Statistics, Engineering and Technology Contributions from the Fall 2011 Seminar on Mathematical Sciences and Applications /
Έκδοση: (2012)

Convex and Discrete Geometry
ανά: Gruber, Peter M.
Έκδοση: (2007)

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
Έκδοση: (2009)

Geometry, Structure and Randomness in Combinatorics
Έκδοση: (2014)

Research Problems in Discrete Geometry
ανά: Brass, Peter, κ.ά.
Έκδοση: (2005)

q-Clan Geometries in Characteristic 2
ανά: Cardinali, Ilaria, κ.ά.
Έκδοση: (2007)

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings /
Έκδοση: (2009)

Discrete Geometry and Optimization
Έκδοση: (2013)

The Kepler Conjecture The Hales-Ferguson Proof /
Έκδοση: (2011)

Discrete Differential Geometry
Έκδοση: (2008)

Integral Geometry and Valuations
ανά: Alesker, Semyon, κ.ά.
Έκδοση: (2014)

Combinatorial Methods in Topology and Algebra
Έκδοση: (2015)

Geometry of Cauchy-Riemann Submanifolds
Έκδοση: (2016)

Surfaces in Classical Geometries A Treatment by Moving Frames /
ανά: Jensen, Gary R., κ.ά.
Έκδοση: (2016)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Έκδοση: (2013)

Matroid Theory and its Applications
Έκδοση: (2011)

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