 |
|
 |
|
 |
 |
 |
 |
Theses
Papers
- Urban J., Trac S., Sutcliffe G., Puzis Y. (2007),
Combining Mizar and TPTP Semantic Presentation Tools
- Rabe F., Pudlak P., Sutcliffe G., Shen W. (2007),
Solving the $100 Modal Logic Challenge
- Sutcliffe G., Puzis Y. (2007),
SRASS - a Semantic Relevance Axiom Selection System
- Trac S., Puzis Y., Sutcliffe G., (2006)
An Interactive Derivation Viewer
- Puzis Y., Gao Y., Sutcliffe G. (2006)
Automated Generation of Interesting Theorems
- Moynihan K. (2006)
Developing Aesthetic Computer Generated Drawings through Artificial
Evolution
- Schmidl H., Milenkovic V. (2004)
A Fast Impulsive Contact Suite for Rigid Body Simulation
- Milenkovic V., Schmidl H. (2001)
Optimization-Based Animation
Last modified: 14 October 2007
|
 |
 |
 |
 |
|