The interplay between design and mathematics: Introduction and bootstrapping effects

2008 Proceedings of the 9th Biennial Conference on Engineering Systems Design and Analysis

Volumn 3, Issue , 2009, Pages 223-228

  Reich, Yoram ^a   Shai, Offer ^a   Subrahmanian, Eswaran ^b   Hatchuel, Armand ^c   Le Masson, Pascal ^c  

^a TEL AVIV UNIVERSITY   (Israel)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c PSL RESEARCH UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MUTUAL BENEFIT;

MATHEMATICAL TECHNIQUES; SYSTEMS ANALYSIS;

DESIGN;

EID: 70349133956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Braha D. and Reich Y., Topological structures for modeling engineering design processes, Research in Engineering Design, 14(4):185-199, 2003.
2. De Millo R. A., Lipton R. J., and Perlis A. J., Social processes and proofs of theorems and programs, Communications of the ACM, 22(5):271-280, 1979.
3. Fanner W. M, and Mohrenschildt M. v., An overview of a formal framework for managing mathematics, Annals of Mathematics and Artificial Intelligence, 38(1-3): 165-191, 2003.
4. Graver J., Servatius B. and Servatius H., Combinatorial rigidity, volume 2 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 1993.
5. Handal B., Philosophies and Pedagogies of Mathematics, Philosophy of Mathematics Education Journal, 17, 2003 http://www.people.ex.ac.uk/PErnest/ pomel7/handal.htm
6. Hansen P. and Mladenovic N., Variable neighborhood search, Handbook of Metaheuristics, Springer, pp. 145-184, 2003.
7. Hatchuel A. and Weil B., A new approach of innovative design: an introduction to C-K theory, In CD-ROM Proceedings of the 14th International Conference on Engineering Design (ICED), The Design Society, 2003.
8. Hatchuel A. and Weil B., Design as forcing: deepening the foundations of C-K theory, In CD-ROM Proceedings of the 16th International Conference on Engineering Design (ICED), The Design Society, Paris 2007a.
9. Hatchuel A. and Weil B., C-K design theory: An advanced formulation, Research in Engineering Design, in press, 2007b.
10. Kline M., Eulerand infinite series, Mathematics Magazine, 56(5):307-314, 1983.
11. Lakatos I. (1976). Proofs and refutations: The logic of mathematics discovery. London: Cambridge University Press.
12. Laman G., On graphs and rigidity of plane skeletal structures, J. Engineering Mathematics, 4:331-340, 1970.
13. Long R.L., Remarks on the history and philosophy of mathematics, American Mathematical Monthly, 93(8):609-619, 1986.
14. Reich Y., A critical review of General Design Theory, Research in Engineering Design, 7( 1): 1 -18, 1995.
15. Shai O. and Reich Y, Infused design: I theory, Research in Engineering Design, 15(2):93-107, 2004.
16. Shai O. and Reich Y, Infused design: II practice, Research in Engineering Design, 15(2): 108-121, 2004.
17. Shai O., Reich Y, and Rubin D., Creative conceptual design: extending the scope by infused design, Computer-Aided Design, in press, 2007.
18. Servatius B., Shai O. and Whiteley W., Assurance for Assur Graphs by Rigidity Circuits, 2007.
19. Tomiyama, T. and Yoshikawa, H. (1986) Extended general design theory, Technical Report CS-R8604, Centre For Mathematics and Computer Science, Amsterdam.
20. Tomiyama, T. From general design theory to knowledge intensive engineering. AI EDAM, 8(4):319-333, 1994.
21. Wiles A., Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics, 141:443-551, 1995.
22. Wiles A. and Taylor R., Ring-theoretic properties of certain Hecke algebras, Annals of Mathematics, 141:553-572, 1995.
23. Yoshikawa H., General Design Theory and a CAD system, in Sata T. and Warman E., editors, Man-Machine Communication in CAD/CAM, Proceedings ofThelFIP WG5.25.3 Working Conference 1980 (Tokyo), pp. 35-57. North-Holland, Amsterdam, 1981.