|
Search the dblp DataBase
Timothy Stokes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes
The Kinds of Truth of Geometry Theorems. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:129-142 [Conf]
- Desmond Fearnley-Sander, Timothy Stokes
Area in Grassmann Geometry. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1996, pp:141-170 [Conf]
- Timothy Stokes, Michael Bulmer
A Complex Change of Variables for Geometrical Reasoning. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:143-153 [Conf]
- Desmond Fearnley-Sander, Timothy Stokes
Varieties of Equality Structures. [Citation Graph (0, 0)][DBLP] IJAC, 2003, v:13, n:4, pp:463-480 [Journal]
- Marcel Jackson, Timothy Stokes
Identities in the Algebra of Partial Maps. [Citation Graph (0, 0)][DBLP] IJAC, 2006, v:16, n:6, pp:1131-1160 [Journal]
- Timothy Stokes
Gröbner Bases in Exterior Algebra. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:3, pp:233-250 [Journal]
Search in 0.001secs, Finished in 0.001secs
|