Author: Meera Sitharam
Publisher: CRC Press
ISBN: 1351647431
Category : Mathematics
Languages : en
Pages : 711
Book Description
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS). It functions as a single source containing the core principles and results, accessible to both beginners and experts. The handbook provides a guide for students learning basic concepts, as well as experts looking to pinpoint specific results or approaches in the broad landscape. As such, the editors created this handbook to serve as a useful tool for navigating the varied concepts, approaches and results found in GCS research. Key Features: A comprehensive reference handbook authored by top researchers Includes fundamentals and techniques from multiple perspectives that span several research communities Provides recent results and a graded program of open problems and conjectures Can be used for senior undergraduate or graduate topics course introduction to the area Detailed list of figures and tables About the Editors: Meera Sitharam is currently an Associate Professor at the University of Florida’s Department of Computer & Information Science and Engineering. She received her Ph.D. at the University of Wisconsin, Madison. Audrey St. John is an Associate Professor of Computer Science at Mount Holyoke College, who received her Ph. D. from UMass Amherst. Jessica Sidman is a Professor of Mathematics on the John S. Kennedy Foundation at Mount Holyoke College. She received her Ph.D. from the University of Michigan.
Handbook of Geometric Constraint Systems Principles
Author: Meera Sitharam
Publisher: CRC Press
ISBN: 1351647431
Category : Mathematics
Languages : en
Pages : 711
Book Description
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS). It functions as a single source containing the core principles and results, accessible to both beginners and experts. The handbook provides a guide for students learning basic concepts, as well as experts looking to pinpoint specific results or approaches in the broad landscape. As such, the editors created this handbook to serve as a useful tool for navigating the varied concepts, approaches and results found in GCS research. Key Features: A comprehensive reference handbook authored by top researchers Includes fundamentals and techniques from multiple perspectives that span several research communities Provides recent results and a graded program of open problems and conjectures Can be used for senior undergraduate or graduate topics course introduction to the area Detailed list of figures and tables About the Editors: Meera Sitharam is currently an Associate Professor at the University of Florida’s Department of Computer & Information Science and Engineering. She received her Ph.D. at the University of Wisconsin, Madison. Audrey St. John is an Associate Professor of Computer Science at Mount Holyoke College, who received her Ph. D. from UMass Amherst. Jessica Sidman is a Professor of Mathematics on the John S. Kennedy Foundation at Mount Holyoke College. She received her Ph.D. from the University of Michigan.
Publisher: CRC Press
ISBN: 1351647431
Category : Mathematics
Languages : en
Pages : 711
Book Description
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS). It functions as a single source containing the core principles and results, accessible to both beginners and experts. The handbook provides a guide for students learning basic concepts, as well as experts looking to pinpoint specific results or approaches in the broad landscape. As such, the editors created this handbook to serve as a useful tool for navigating the varied concepts, approaches and results found in GCS research. Key Features: A comprehensive reference handbook authored by top researchers Includes fundamentals and techniques from multiple perspectives that span several research communities Provides recent results and a graded program of open problems and conjectures Can be used for senior undergraduate or graduate topics course introduction to the area Detailed list of figures and tables About the Editors: Meera Sitharam is currently an Associate Professor at the University of Florida’s Department of Computer & Information Science and Engineering. She received her Ph.D. at the University of Wisconsin, Madison. Audrey St. John is an Associate Professor of Computer Science at Mount Holyoke College, who received her Ph. D. from UMass Amherst. Jessica Sidman is a Professor of Mathematics on the John S. Kennedy Foundation at Mount Holyoke College. She received her Ph.D. from the University of Michigan.
Algorithmic Foundations of Robotics V
Author: Jean-Daniel Boissonnat
Publisher: Springer Science & Business Media
ISBN: 9783540404767
Category : Technology & Engineering
Languages : en
Pages : 600
Book Description
Selected contributions to the Workshop WAFR 2002, held December 15-17, 2002, Nice, France. This fifth biannual Workshop on Algorithmic Foundations of Robotics focuses on algorithmic issues related to robotics and automation. The design and analysis of robot algorithms raises fundamental questions in computer science, computational geometry, mechanical modeling, operations research, control theory, and associated fields. The highly selective program highlights significant new results such as algorithmic models and complexity bounds. The validation of algorithms, design concepts, or techniques is the common thread running through this focused collection.
Publisher: Springer Science & Business Media
ISBN: 9783540404767
Category : Technology & Engineering
Languages : en
Pages : 600
Book Description
Selected contributions to the Workshop WAFR 2002, held December 15-17, 2002, Nice, France. This fifth biannual Workshop on Algorithmic Foundations of Robotics focuses on algorithmic issues related to robotics and automation. The design and analysis of robot algorithms raises fundamental questions in computer science, computational geometry, mechanical modeling, operations research, control theory, and associated fields. The highly selective program highlights significant new results such as algorithmic models and complexity bounds. The validation of algorithms, design concepts, or techniques is the common thread running through this focused collection.
Computational Science — ICCS 2002
Author: Peter M.A. Sloot
Publisher: Springer
ISBN: 3540460802
Category : Computers
Languages : en
Pages : 1153
Book Description
Computational Science is the scienti?c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems – such as biology, envir- mental and geo-sciences, physics, and chemistry – and synthetic systems such as electronics and ?nancial and economic systems. The discipline is a bridge b- ween ‘classical’ computer science – logic, complexity, architecture, algorithms – mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this ?eld. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transport systems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): ‘There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential ofcomputational science’. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous s- mulus from the various international programs on advanced computing, e.g.
Publisher: Springer
ISBN: 3540460802
Category : Computers
Languages : en
Pages : 1153
Book Description
Computational Science is the scienti?c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems – such as biology, envir- mental and geo-sciences, physics, and chemistry – and synthetic systems such as electronics and ?nancial and economic systems. The discipline is a bridge b- ween ‘classical’ computer science – logic, complexity, architecture, algorithms – mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this ?eld. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transport systems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): ‘There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential ofcomputational science’. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous s- mulus from the various international programs on advanced computing, e.g.
Handbook of Computer Aided Geometric Design
Author: G. Farin
Publisher: Elsevier
ISBN: 008053340X
Category : Mathematics
Languages : en
Pages : 849
Book Description
This book provides a comprehensive coverage of the fields Geometric Modeling, Computer-Aided Design, and Scientific Visualization, or Computer-Aided Geometric Design. Leading international experts have contributed, thus creating a one-of-a-kind collection of authoritative articles. There are chapters outlining basic theory in tutorial style, as well as application-oriented articles. Aspects which are covered include:Historical outline Curve and surface methods Scientific Visualization Implicit methods Reverse engineering.This book is meant to be a reference text for researchers in the field as well as an introduction to graduate students wishing to get some exposureto this subject.
Publisher: Elsevier
ISBN: 008053340X
Category : Mathematics
Languages : en
Pages : 849
Book Description
This book provides a comprehensive coverage of the fields Geometric Modeling, Computer-Aided Design, and Scientific Visualization, or Computer-Aided Geometric Design. Leading international experts have contributed, thus creating a one-of-a-kind collection of authoritative articles. There are chapters outlining basic theory in tutorial style, as well as application-oriented articles. Aspects which are covered include:Historical outline Curve and surface methods Scientific Visualization Implicit methods Reverse engineering.This book is meant to be a reference text for researchers in the field as well as an introduction to graduate students wishing to get some exposureto this subject.
Geometric Programming for Communication Systems
Author: Mung Chiang
Publisher: Now Publishers Inc
ISBN: 9781933019093
Category : Computers
Languages : en
Pages : 172
Book Description
Recently Geometric Programming has been applied to study a variety of problems in the analysis and design of communication systems from information theory and queuing theory to signal processing and network protocols. Geometric Programming for Communication Systems begins its comprehensive treatment of the subject by providing an in-depth tutorial on the theory, algorithms, and modeling methods of Geometric Programming. It then gives a systematic survey of the applications of Geometric Programming to the study of communication systems. It collects in one place various published results in this area, which are currently scattered in several books and many research papers, as well as to date unpublished results. Geometric Programming for Communication Systems is intended for researchers and students who wish to have a comprehensive starting point for understanding the theory and applications of geometric programming in communication systems.
Publisher: Now Publishers Inc
ISBN: 9781933019093
Category : Computers
Languages : en
Pages : 172
Book Description
Recently Geometric Programming has been applied to study a variety of problems in the analysis and design of communication systems from information theory and queuing theory to signal processing and network protocols. Geometric Programming for Communication Systems begins its comprehensive treatment of the subject by providing an in-depth tutorial on the theory, algorithms, and modeling methods of Geometric Programming. It then gives a systematic survey of the applications of Geometric Programming to the study of communication systems. It collects in one place various published results in this area, which are currently scattered in several books and many research papers, as well as to date unpublished results. Geometric Programming for Communication Systems is intended for researchers and students who wish to have a comprehensive starting point for understanding the theory and applications of geometric programming in communication systems.
Spatial Information Theory
Author: Sara Irina Fabrikant
Publisher: Springer
ISBN: 3319233742
Category : Computers
Languages : en
Pages : 494
Book Description
This book constitutes the proceedings of the 12th International Conference on Spatial Information Theory, COSIT 2015, held in Santa Fee, NM, USA, in October 2015. The 22 papers presented in this book were carefully reviewed and selected from 52 full paper submissions. The following topics are addressed: formalizing and modeling space-time, qualitative spatio-temporal reasoning and representation, language and space, signs, images, maps, and other representations of space, navigations by humans and machines.
Publisher: Springer
ISBN: 3319233742
Category : Computers
Languages : en
Pages : 494
Book Description
This book constitutes the proceedings of the 12th International Conference on Spatial Information Theory, COSIT 2015, held in Santa Fee, NM, USA, in October 2015. The 22 papers presented in this book were carefully reviewed and selected from 52 full paper submissions. The following topics are addressed: formalizing and modeling space-time, qualitative spatio-temporal reasoning and representation, language and space, signs, images, maps, and other representations of space, navigations by humans and machines.
Advances in Design Automation, 1994: Dynamic mechanical systems. Geometric modeling and features. Concurrent engineering
Author:
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 654
Book Description
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 654
Book Description
Solving Geometric Constraint Systems
Author: Glenn A. Kramer
Publisher: MIT Press
ISBN: 9780262111645
Category : Computers
Languages : en
Pages : 314
Book Description
Solving Geometric Constraints records and explains the formal basis for graphical analysis techniques that have been used for decades in engineering disciplines. It describes a novel computer implementation of a 3D graphical analysis method - degrees of freedom analysis - for solving geometric constraint problems of the type encountered in the kinematic analysis of mechanical linkages, providing the best computational bounds yet achieved for this class of problems. The technique allows for the design of algorithms that provide signification speed increases and will foster the development of interactive software tools for the simulation, optimization, and design of complex mechanical devices as well as provide leverage in other geometric domains.
Publisher: MIT Press
ISBN: 9780262111645
Category : Computers
Languages : en
Pages : 314
Book Description
Solving Geometric Constraints records and explains the formal basis for graphical analysis techniques that have been used for decades in engineering disciplines. It describes a novel computer implementation of a 3D graphical analysis method - degrees of freedom analysis - for solving geometric constraint problems of the type encountered in the kinematic analysis of mechanical linkages, providing the best computational bounds yet achieved for this class of problems. The technique allows for the design of algorithms that provide signification speed increases and will foster the development of interactive software tools for the simulation, optimization, and design of complex mechanical devices as well as provide leverage in other geometric domains.
Multiple View Geometry in Computer Vision
Author: Richard Hartley
Publisher: Cambridge University Press
ISBN: 1139449141
Category : Computers
Languages : en
Pages : 676
Book Description
A basic problem in computer vision is to understand the structure of a real world scene given several images of it. Techniques for solving this problem are taken from projective geometry and photogrammetry. Here, the authors cover the geometric principles and their algebraic representation in terms of camera projection matrices, the fundamental matrix and the trifocal tensor. The theory and methods of computation of these entities are discussed with real examples, as is their use in the reconstruction of scenes from multiple images. The new edition features an extended introduction covering the key ideas in the book (which itself has been updated with additional examples and appendices) and significant new results which have appeared since the first edition. Comprehensive background material is provided, so readers familiar with linear algebra and basic numerical methods can understand the projective geometry and estimation algorithms presented, and implement the algorithms directly from the book.
Publisher: Cambridge University Press
ISBN: 1139449141
Category : Computers
Languages : en
Pages : 676
Book Description
A basic problem in computer vision is to understand the structure of a real world scene given several images of it. Techniques for solving this problem are taken from projective geometry and photogrammetry. Here, the authors cover the geometric principles and their algebraic representation in terms of camera projection matrices, the fundamental matrix and the trifocal tensor. The theory and methods of computation of these entities are discussed with real examples, as is their use in the reconstruction of scenes from multiple images. The new edition features an extended introduction covering the key ideas in the book (which itself has been updated with additional examples and appendices) and significant new results which have appeared since the first edition. Comprehensive background material is provided, so readers familiar with linear algebra and basic numerical methods can understand the projective geometry and estimation algorithms presented, and implement the algorithms directly from the book.
Convex Optimization & Euclidean Distance Geometry
Author: Jon Dattorro
Publisher: Meboo Publishing USA
ISBN: 0976401304
Category : Mathematics
Languages : en
Pages : 776
Book Description
The study of Euclidean distance matrices (EDMs) fundamentally asks what can be known geometrically given onlydistance information between points in Euclidean space. Each point may represent simply locationor, abstractly, any entity expressible as a vector in finite-dimensional Euclidean space.The answer to the question posed is that very much can be known about the points;the mathematics of this combined study of geometry and optimization is rich and deep.Throughout we cite beacons of historical accomplishment.The application of EDMs has already proven invaluable in discerning biological molecular conformation.The emerging practice of localization in wireless sensor networks, the global positioning system (GPS), and distance-based pattern recognitionwill certainly simplify and benefit from this theory.We study the pervasive convex Euclidean bodies and their various representations.In particular, we make convex polyhedra, cones, and dual cones more visceral through illustration, andwe study the geometric relation of polyhedral cones to nonorthogonal bases biorthogonal expansion.We explain conversion between halfspace- and vertex-descriptions of convex cones,we provide formulae for determining dual cones,and we show how classic alternative systems of linear inequalities or linear matrix inequalities and optimality conditions can be explained by generalized inequalities in terms of convex cones and their duals.The conic analogue to linear independence, called conic independence, is introducedas a new tool in the study of classical cone theory; the logical next step in the progression:linear, affine, conic.Any convex optimization problem has geometric interpretation.This is a powerful attraction: the ability to visualize geometry of an optimization problem.We provide tools to make visualization easier.The concept of faces, extreme points, and extreme directions of convex Euclidean bodiesis explained here, crucial to understanding convex optimization.The convex cone of positive semidefinite matrices, in particular, is studied in depth.We mathematically interpret, for example,its inverse image under affine transformation, and we explainhow higher-rank subsets of its boundary united with its interior are convex.The Chapter on "Geometry of convex functions",observes analogies between convex sets and functions:The set of all vector-valued convex functions is a closed convex cone.Included among the examples in this chapter, we show how the real affinefunction relates to convex functions as the hyperplane relates to convex sets.Here, also, pertinent results formultidimensional convex functions are presented that are largely ignored in the literature;tricks and tips for determining their convexityand discerning their geometry, particularly with regard to matrix calculus which remains largely unsystematizedwhen compared with the traditional practice of ordinary calculus.Consequently, we collect some results of matrix differentiation in the appendices.The Euclidean distance matrix (EDM) is studied,its properties and relationship to both positive semidefinite and Gram matrices.We relate the EDM to the four classical axioms of the Euclidean metric;thereby, observing the existence of an infinity of axioms of the Euclidean metric beyondthe triangle inequality. We proceed byderiving the fifth Euclidean axiom and then explain why furthering this endeavoris inefficient because the ensuing criteria (while describing polyhedra)grow linearly in complexity and number.Some geometrical problems solvable via EDMs,EDM problems posed as convex optimization, and methods of solution arepresented;\eg, we generate a recognizable isotonic map of the United States usingonly comparative distance information (no distance information, only distance inequalities).We offer a new proof of the classic Schoenberg criterion, that determines whether a candidate matrix is an EDM. Our proofrelies on fundamental geometry; assuming, any EDM must correspond to a list of points contained in some polyhedron(possibly at its vertices) and vice versa.It is not widely known that the Schoenberg criterion implies nonnegativity of the EDM entries; proved here.We characterize the eigenvalues of an EDM matrix and then devisea polyhedral cone required for determining membership of a candidate matrix(in Cayley-Menger form) to the convex cone of Euclidean distance matrices (EDM cone); \ie,a candidate is an EDM if and only if its eigenspectrum belongs to a spectral cone for EDM^N.We will see spectral cones are not unique.In the chapter "EDM cone", we explain the geometric relationship betweenthe EDM cone, two positive semidefinite cones, and the elliptope.We illustrate geometric requirements, in particular, for projection of a candidate matrixon a positive semidefinite cone that establish its membership to the EDM cone. The faces of the EDM cone are described,but still open is the question whether all its faces are exposed as they are for the positive semidefinite cone.The classic Schoenberg criterion, relating EDM and positive semidefinite cones, isrevealed to be a discretized membership relation (a generalized inequality, a new Farkas''''''''-like lemma)between the EDM cone and its ordinary dual. A matrix criterion for membership to the dual EDM cone is derived thatis simpler than the Schoenberg criterion.We derive a new concise expression for the EDM cone and its dual involvingtwo subspaces and a positive semidefinite cone."Semidefinite programming" is reviewedwith particular attention to optimality conditionsof prototypical primal and dual conic programs,their interplay, and the perturbation method of rank reduction of optimal solutions(extant but not well-known).We show how to solve a ubiquitous platonic combinatorial optimization problem from linear algebra(the optimal Boolean solution x to Ax=b)via semidefinite program relaxation.A three-dimensional polyhedral analogue for the positive semidefinite cone of 3X3 symmetricmatrices is introduced; a tool for visualizing in 6 dimensions.In "EDM proximity"we explore methods of solution to a few fundamental and prevalentEuclidean distance matrix proximity problems; the problem of finding that Euclidean distance matrix closestto a given matrix in the Euclidean sense.We pay particular attention to the problem when compounded with rank minimization.We offer a new geometrical proof of a famous result discovered by Eckart \& Young in 1936 regarding Euclideanprojection of a point on a subset of the positive semidefinite cone comprising all positive semidefinite matriceshaving rank not exceeding a prescribed limit rho.We explain how this problem is transformed to a convex optimization for any rank rho.
Publisher: Meboo Publishing USA
ISBN: 0976401304
Category : Mathematics
Languages : en
Pages : 776
Book Description
The study of Euclidean distance matrices (EDMs) fundamentally asks what can be known geometrically given onlydistance information between points in Euclidean space. Each point may represent simply locationor, abstractly, any entity expressible as a vector in finite-dimensional Euclidean space.The answer to the question posed is that very much can be known about the points;the mathematics of this combined study of geometry and optimization is rich and deep.Throughout we cite beacons of historical accomplishment.The application of EDMs has already proven invaluable in discerning biological molecular conformation.The emerging practice of localization in wireless sensor networks, the global positioning system (GPS), and distance-based pattern recognitionwill certainly simplify and benefit from this theory.We study the pervasive convex Euclidean bodies and their various representations.In particular, we make convex polyhedra, cones, and dual cones more visceral through illustration, andwe study the geometric relation of polyhedral cones to nonorthogonal bases biorthogonal expansion.We explain conversion between halfspace- and vertex-descriptions of convex cones,we provide formulae for determining dual cones,and we show how classic alternative systems of linear inequalities or linear matrix inequalities and optimality conditions can be explained by generalized inequalities in terms of convex cones and their duals.The conic analogue to linear independence, called conic independence, is introducedas a new tool in the study of classical cone theory; the logical next step in the progression:linear, affine, conic.Any convex optimization problem has geometric interpretation.This is a powerful attraction: the ability to visualize geometry of an optimization problem.We provide tools to make visualization easier.The concept of faces, extreme points, and extreme directions of convex Euclidean bodiesis explained here, crucial to understanding convex optimization.The convex cone of positive semidefinite matrices, in particular, is studied in depth.We mathematically interpret, for example,its inverse image under affine transformation, and we explainhow higher-rank subsets of its boundary united with its interior are convex.The Chapter on "Geometry of convex functions",observes analogies between convex sets and functions:The set of all vector-valued convex functions is a closed convex cone.Included among the examples in this chapter, we show how the real affinefunction relates to convex functions as the hyperplane relates to convex sets.Here, also, pertinent results formultidimensional convex functions are presented that are largely ignored in the literature;tricks and tips for determining their convexityand discerning their geometry, particularly with regard to matrix calculus which remains largely unsystematizedwhen compared with the traditional practice of ordinary calculus.Consequently, we collect some results of matrix differentiation in the appendices.The Euclidean distance matrix (EDM) is studied,its properties and relationship to both positive semidefinite and Gram matrices.We relate the EDM to the four classical axioms of the Euclidean metric;thereby, observing the existence of an infinity of axioms of the Euclidean metric beyondthe triangle inequality. We proceed byderiving the fifth Euclidean axiom and then explain why furthering this endeavoris inefficient because the ensuing criteria (while describing polyhedra)grow linearly in complexity and number.Some geometrical problems solvable via EDMs,EDM problems posed as convex optimization, and methods of solution arepresented;\eg, we generate a recognizable isotonic map of the United States usingonly comparative distance information (no distance information, only distance inequalities).We offer a new proof of the classic Schoenberg criterion, that determines whether a candidate matrix is an EDM. Our proofrelies on fundamental geometry; assuming, any EDM must correspond to a list of points contained in some polyhedron(possibly at its vertices) and vice versa.It is not widely known that the Schoenberg criterion implies nonnegativity of the EDM entries; proved here.We characterize the eigenvalues of an EDM matrix and then devisea polyhedral cone required for determining membership of a candidate matrix(in Cayley-Menger form) to the convex cone of Euclidean distance matrices (EDM cone); \ie,a candidate is an EDM if and only if its eigenspectrum belongs to a spectral cone for EDM^N.We will see spectral cones are not unique.In the chapter "EDM cone", we explain the geometric relationship betweenthe EDM cone, two positive semidefinite cones, and the elliptope.We illustrate geometric requirements, in particular, for projection of a candidate matrixon a positive semidefinite cone that establish its membership to the EDM cone. The faces of the EDM cone are described,but still open is the question whether all its faces are exposed as they are for the positive semidefinite cone.The classic Schoenberg criterion, relating EDM and positive semidefinite cones, isrevealed to be a discretized membership relation (a generalized inequality, a new Farkas''''''''-like lemma)between the EDM cone and its ordinary dual. A matrix criterion for membership to the dual EDM cone is derived thatis simpler than the Schoenberg criterion.We derive a new concise expression for the EDM cone and its dual involvingtwo subspaces and a positive semidefinite cone."Semidefinite programming" is reviewedwith particular attention to optimality conditionsof prototypical primal and dual conic programs,their interplay, and the perturbation method of rank reduction of optimal solutions(extant but not well-known).We show how to solve a ubiquitous platonic combinatorial optimization problem from linear algebra(the optimal Boolean solution x to Ax=b)via semidefinite program relaxation.A three-dimensional polyhedral analogue for the positive semidefinite cone of 3X3 symmetricmatrices is introduced; a tool for visualizing in 6 dimensions.In "EDM proximity"we explore methods of solution to a few fundamental and prevalentEuclidean distance matrix proximity problems; the problem of finding that Euclidean distance matrix closestto a given matrix in the Euclidean sense.We pay particular attention to the problem when compounded with rank minimization.We offer a new geometrical proof of a famous result discovered by Eckart \& Young in 1936 regarding Euclideanprojection of a point on a subset of the positive semidefinite cone comprising all positive semidefinite matriceshaving rank not exceeding a prescribed limit rho.We explain how this problem is transformed to a convex optimization for any rank rho.