Management of informal mathematical knowledge – lessons learned from the trial-solution project

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2730, Issue , 2003, Pages 29-43

  Dahn, Ingo ^a  

^a University of Koblenz   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EUROPEAN PROJECT; MATHEMATICAL KNOWLEDGE; TRIAL SOLUTIONS;

KNOWLEDGE MANAGEMENT;

EID: 33749554344     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45155-6_4     Document Type: Conference Paper

References (7)

1. Baumgartner, P., Furbach, U.: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Art. Int. – Special Issue on Mathematical Knowledge Management, Kluwer 2002 (to appear)
2. Dahn, I.: Symbiose von Buch und Internet. Proc. Learntec 2000, Karlsruhe 2000 551–558
3. Dahn, I.: Automatic Texbook Construction and Web Delivery in the 21st Century. J. of Structural Learning and Intelligent Systems 14(4) (2001) 401–413
4. Dahn, I.: Using Networks for Advanced Personalisation of Documents. Proc. SSGRR 2001, CD-ROM Edition, L’Aquila 2001
5. Jensen, M.: Academic Press Gives Away Its Secret of Success. The Chronicle of Higher Education, Sept. 14, 2001
6. Metadata for Advanced Structures of Learning Objects in Mathematics – An Approach for Trial-Solution. Trial-Solution internal Report 2001
7. Wolter, H., Dahn, I.: Analysis Individuell. Springer-Verlag, Heidelberg 2000