
Search the dblp DataBase
Timothy Stokes:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Michael Bulmer, Desmond FearnleySander, Timothy Stokes
The Kinds of Truth of Geometry Theorems. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:129142 [Conf]
 Desmond FearnleySander, Timothy Stokes
Area in Grassmann Geometry. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1996, pp:141170 [Conf]
 Timothy Stokes, Michael Bulmer
A Complex Change of Variables for Geometrical Reasoning. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:143153 [Conf]
 Desmond FearnleySander, Timothy Stokes
Varieties of Equality Structures. [Citation Graph (0, 0)][DBLP] IJAC, 2003, v:13, n:4, pp:463480 [Journal]
 Marcel Jackson, Timothy Stokes
Identities in the Algebra of Partial Maps. [Citation Graph (0, 0)][DBLP] IJAC, 2006, v:16, n:6, pp:11311160 [Journal]
 Timothy Stokes
Gröbner Bases in Exterior Algebra. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:3, pp:233250 [Journal]
Search in 0.002secs, Finished in 0.002secs
