2741 search results - page 8 / 549 » Engineering Mathematical Knowledge |
TOCL
2008
13 years 8 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
APL
1992
ACM
14 years 20 days ago
1992
ACM
Ready access to computing power through APL opens new avenues for mathematical experimentation and new strategies for developing concepts in the teaching of basic engineering math...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
SEKE
1999
Springer
14 years 25 days ago
1999
Springer
ICAISC
2004
Springer
14 years 1 months ago
2004
Springer
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...