A mathematical theory of design: foundations, algorithms and applications
General applied mathematics (00A69) Compound decision problems in statistical decision theory (62C25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer science aspects of computer-aided design (68U07) Economics of information (91B44) Other natural sciences (mathematical treatment) (92F05)
Based on a formal systems approach to design including theorems, analysis of design principles and information theory some cases from various engineering fields are presented. The book describes methods for efficient design based on AI and optimization theory and provides a methodology for developing the next generation computer software for advanced computer aided design systems. It includes five main parts: properties, paradigms and evolutionary structure of the design process, formal design theory, algorithmic and heuristic methods for design decision support, detailed design applications and practical considerations.
- Application of Gröbner bases and quantifier elimination for insightful engineering design
- scientific article; zbMATH DE number 54252 (Why is no real title available?)
- scientific article; zbMATH DE number 194201 (Why is no real title available?)
- A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
- A MATHEMATICAL THEORY OF DESIGN Modeling the Design Process (Part II)
- SOFT MODELING SUPPORT FOR MANAGING KNOWLEDGE-BASED INFORMATION TECHNOLOGY (IT) PROJECTS
- scientific article; zbMATH DE number 917330 (Why is no real title available?)
This page was built for publication: A mathematical theory of design: foundations, algorithms and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1392829)
