2086 search results - page 103 / 418 » Mathematical Theory Exploration |
100
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
This paper attempts to describe Chromatic Perspectives ... Scaling my Art; which addresses the results of a trans-medial exploration departing from an "unframed" process...
118
click to vote
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
126
click to vote
MKM
2007
Springer
15 years 9 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
137
Voted
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
116
click to vote
EJC
2010
15 years 3 months ago
2010
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology,...