-
1
-
-
33745656291
-
-
Technical report, The OpenMath Society, June 2004
-
Buswell S, Caprotti O, Carlisle D, Dewar M, Gaëtano M, Kohlhase M (2004) The openmath standard, version 2.0. Technical report, The OpenMath Society, June 2004. http://www.openmath.org/
-
(2004)
The Openmath Standard, Version 2.0
-
-
Buswell, S.1
Caprotti, O.2
Carlisle, D.3
Dewar, M.4
Gaëtano, M.5
Kohlhase, M.6
-
2
-
-
0005390065
-
"According to Abramowitz and Stegun" or arccoth needn't be uncouth
-
Corless RM, Jeffrey DJ, Watt SM, Davenport JH (2000) "According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull 34(2):58-65. http://doi.acm.org/10.1145/362001.362023
-
(2000)
SIGSAM Bull
, vol.34
, Issue.2
, pp. 58-65
-
-
Corless, R.M.1
Jeffrey, D.J.2
Watt, S.M.3
Davenport, J.H.4
-
3
-
-
84876636912
-
Deliverable d2.3: Internationalized ontology
-
Accessed May 2008
-
Creus-Mir A, Desmoulins C, Dietrich M, Hendriks M, Laborde C, Libbrecht P (2008) Deliverable d2.3: Internationalized ontology. Deliverable, Intergeo Project. http://www.inter2geo.eu/files/D2.3-Intl-Ontology.pdf. Accessed May 2008
-
(2008)
Deliverable, Intergeo Project
-
-
Creus-Mir, A.1
Desmoulins, C.2
Dietrich, M.3
Hendriks, M.4
Laborde, C.5
Libbrecht, P.6
-
4
-
-
0001547132
-
Die Grundlage der allgemeinen Relativitaetstheorie
-
Einstein A (1916) Die Grundlage der allgemeinen Relativitaetstheorie (The foundation of the general theory of relativity). Ann Phys Fourth Ser 49:284-339
-
(1916)
Ann Phys Fourth Ser
, vol.49
, pp. 284-339
-
-
Einstein, A.1
-
5
-
-
84976932970
-
Cultural studies: Two paradigms
-
Hall S (1980) Cultural studies: Two paradigms. Media Cult Soc 2:57-72
-
(1980)
Media Cult Soc
, vol.2
, pp. 57-72
-
-
Hall, S.1
-
8
-
-
34548220804
-
OMDoc - An open markup format for mathematical documents
-
Springer, Berlin
-
Kohlhase M (2006) OMDoc - an open markup format for mathematical documents. Lecture notes in artificial intelligence, vol 4180. Springer, Berlin
-
(2006)
Lecture Notes in Artificial Intelligence
, vol.4180
-
-
Kohlhase, M.1
-
9
-
-
33749542803
-
Communities of practice in mkm: An extensional model
-
In: Springer, Berlin
-
Kohlhase A, Kohlhase M (2006) Communities of practice in mkm: An extensional model. In: Mathematical knowledge management (MKM 2006). Lecture notes in computer science, vol 4108/2006. Springer, Berlin, pp 179-193
-
(2006)
Mathematical Knowledge Management (MKM 2006). Lecture Notes in Computer Science
, vol.4108
, Issue.2006
, pp. 179-193
-
-
Kohlhase, A.1
Kohlhase, M.2
-
10
-
-
70149083968
-
-
Deliverable D2.5, The Intergeo consortium, September 2008
-
Laborde C, Creus-Mir A, Egido S, Dietrich M, Libbrecht P (2008) Curricula categorisation into ontology. Deliverable D2.5, The Intergeo consortium, September 2008
-
(2008)
Curricula Categorisation Into Ontology
-
-
Laborde, C.1
Creus-Mir, A.2
Egido, S.3
Dietrich, M.4
Libbrecht, P.5
-
12
-
-
51049117962
-
Cross-curriculum search for intergeo
-
In: Autexier S, Suzuki M (eds) (July 2008). Springer, Berlin NL=yes
-
Libbrecht P, Desmoulins C, Mercat C, Laborde C, Dietrich M, Hendriks M (2008) Cross-curriculum search for intergeo. In: Autexier S, Suzuki M (eds) Intelligent computer mathematics. Lecture notes in computer science, vol 5144/2008 (July 2008). Springer, Berlin, pp 520-535, NL=yes
-
(2008)
Intelligent Computer Mathematics. Lecture Notes in Computer Science
, vol.5144
, Issue.2008
, pp. 520-535
-
-
Libbrecht, P.1
Desmoulins, C.2
Mercat, C.3
Laborde, C.4
Dietrich, M.5
Hendriks, M.6
-
13
-
-
33745665339
-
Authoring presentation for openmath
-
In: Kohlhase M (ed) Bremen, Germany. Lecture notes in artificial intelligence Springer, Berlin
-
Mansoor S, Libbrecht P, Ullrich C, Melis E (2006) Authoring presentation for openmath. In: Kohlhase M (ed) Proceedings of the fourth international conference on mathematical knowledge management (MKM2005), Bremen, Germany. Lecture notes in artificial intelligence, vol 3863. Springer, Berlin, pp 33-48
-
(2006)
Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005)
, vol.3863
, pp. 33-48
-
-
Mansoor, S.1
Libbrecht, P.2
Ullrich, C.3
Melis, E.4
-
15
-
-
33645960167
-
Semantic-aware components and services in A ctive Math
-
[Special Issue: Semantic Web for E-learning]
-
Melis E, Goguadse G, Homik M, Libbrecht P, Ullrich C, Winterstein S (2006) Semantic-aware components and services in A ctive M ath. Br J Educ Technol [Special Issue: Semantic Web for E-learning] 37(3):405-423
-
(2006)
Br J Educ Technol
, vol.37
, Issue.3
, pp. 405-423
-
-
Melis, E.1
Goguadse, G.2
Homik, M.3
Libbrecht, P.4
Ullrich, C.5
Winterstein, S.6
-
18
-
-
51049099406
-
Units knowledge management
-
In: Autexier S, Suzuki M (eds) (July 2008). Springer, Berlin
-
Stratford J, Davenport J (2008) Units knowledge management. In: Autexier S, Suzuki M (eds) Intelligent computer mathematics. Lecture notes in computer science, vol 5144/2008 (July 2008). Springer, Berlin, pp 520-535
-
(2008)
Intelligent Computer Mathematics. Lecture Notes in Computer Science
, vol.5144
, Issue.2008
, pp. 520-535
-
-
Stratford, J.1
Davenport, J.2
-
19
-
-
69049096922
-
Pedagogically founded courseware generation for web-based learning - An HTN-planning-based approach implemented in PAIGOS
-
In: November 2008. Springer, Berlin. ISBN 978-3-540-88213-8;NL=yes;RB=yes
-
Ullrich C (2008) Pedagogically founded courseware generation for web-based learning-an HTN-planning-based approach implemented in PAIGOS. In: Lecture notes in artificial intelligence, vol 5260, November 2008. Springer, Berlin. ISBN 978-3-540-88213-8;NL=yes;RB=yes
-
(2008)
Lecture Notes in Artificial Intelligence
, vol.5260
-
-
Ullrich, C.1
-
20
-
-
13244275205
-
A flexible and efficient presentation-architecture for adaptive hypermedia: Description and technical evaluation
-
In: Kinshuk, Looi C, Sutinen E, Sampson D, Aedo I, Uden L, Kähkönen E (eds) Joensuu, Finland
-
Ullrich C, Libbrecht P, Winterstein S, Mühlenbrock M (2004) A flexible and efficient presentation-architecture for adaptive hypermedia: Description and technical evaluation. In: Kinshuk, Looi C, Sutinen E, Sampson D, Aedo I, Uden L, Kähkönen E (eds) Proceedings of the 4th IEEE international conference on advanced learning technologies (ICALT 2004), Joensuu, Finland, pp 21-25
-
(2004)
Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004)
, pp. 21-25
-
-
Ullrich, C.1
Libbrecht, P.2
Winterstein, S.3
Mühlenbrock, M.4
-
21
-
-
84876642584
-
Extending its authoring tools to be culturally aware
-
In: Blanchard EG, Allard D (eds) Montreal
-
Vartak MP, Almeida SF, Heffernan NT (2008) Extending its authoring tools to be culturally aware. In: Blanchard EG, Allard D (eds) Culturally aware tutoring systems (CATS 2008), Montreal, pp 101-105. http://www.iro.umontreal.ca/blanchae/CATS2008/
-
(2008)
Culturally Aware Tutoring Systems (CATS 2008)
, pp. 101-105
-
-
Vartak, M.P.1
Almeida, S.F.2
Heffernan, N.T.3
|