Decompositions of natural numbers: From a case study in mathematical theory exploration

Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007

Volumn , Issue , 2007, Pages 41-48

  Crǎciun, Adrian ^a   Hodorog, Mǎdǎlina ^a  

^a Institute e Austria   (Romania)

Author keywords

Knowledge schemes; Prime decomposition; Systematic theory exploration; Theorema

Indexed keywords

COMPUTATION THEORY; DOMAIN DECOMPOSITION METHODS; TECHNOLOGY TRANSFER;

DECOMPOSITION PROBLEMS; EXPLORATION MODEL; IRREDUCIBLE DECOMPOSITION; KNOWLEDGE SCHEMES; MATHEMATICAL THEORY; PRIME DECOMPOSITION; SYSTEMATIC THEORY EXPLORATION; THEOREMA;

PROBLEM SOLVING;

EID: 48049085907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2007.55     Document Type: Conference Paper

References (10)

1. Aspcrti, A., Buchberger, B., Davenport, J., editors: Mathematical Knowledge Management: Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, volume 2594 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 2003.
2. Benzmüller, C.: The CALCULEMUS Research Training Network: A Short Overview. In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003), pages 1-16, Rome, Italy, 2003. MMIII ARACNE EDITRICE S.R.L.
3. Buchbcrgcr, B.: Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. Lecture Notes in Artificial Intelligence, Springer, 7th Conference on Artificial Intelligence and Symbolic Computation(Research Institute for Symbolic Computation, Hagenberg, Austria) (Proceedings of AISC 2004):16, September.
4. Buchberger, B., Crǎciun A., Jebelean T., Kovacs L., Kutsia T., Nakagawa K., Piroi F., Popov N., Robu J., Rosenkranz M., Windsteiger W.: Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, 4, pages 470-504, 2006.
5. Colton, S.: Automated Theory Formation in Pure Mathematics. Distinguished Dissertations, Springer Verlag, 2002.
6. Crǎciun, A., Hodorog M.: The Quotient-Remainder Theorem for Naturals: Discovery by Lazy Thinking. Technical Report no.06-05, IcAT, 2006.
7. Hodorog, M., Crǎciun, A.: Scheme-Based Systematic Exploration of Natural Numbers. Proceedings of SYNASC 2006, 8th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania (2006), pages 23-34, Timisoara, Romania, September 26-29 2006. IEEE Computer Society Press.
8. Lenat, D.: An Artificial Intelligence Approach to Discovery in Mathematics. PhD thesis, Stanford University, 1976.
9. Manna, Z., Waldinger, R.: The Deductive Foundations of Computer Programming Addison-Wesley Publishing Co, 1993.
10. McCasland, R., Bundy, A., Smith, P.: Ascertaining Mathematical Theorems. Electronic Notes in Theoretical Computer Science, 151(1), 2006.