|
R. Padmanabhan
|
|
- Position:
- Professor
- Office:
- 527 Machray Hall
- (204) 474-6928
- E-mail:
- padman@cc.umanitoba.ca
- Education:
- B.Sc., M.Sc.,(Madras), Ph.D. (Madurai)
|
Research Areas:
Equational logic, geometry, automated reasoning, first order
theorem proving
Graduate Students:
Adam Gareau, Eric Ens
Recent Publications:
Padmanabhan, R.; McCune, W.; Veroff, R. Lattice laws forcing
distributivity under unique complementation. Houston J. Math. 33
(2007), no. 2, 391--401
Padmanabhan, R.; McCune, W. Uniqueness of Steiner laws on cubic curves.
Beiträge Algebra Geom. 47 (2006), no. 2, 543--557
Padmanabhan, R.; McCune, W.; Veroff, R. Levi's coummutator theorems for
cancellative semigroups. Semigroup Forum 71 (2005), no. 1, 152--157.
Kelly, David; Padmanabhan, R. Orthomodular lattices and permutable
congruences. Algebra Universalis 53 (2005), no. 2-3, 227--228.
Kelly, David; Padmanabhan, R. Irredundant self-dual bases for self-dual
lattice varieties. Algebra Universalis 52 (2004), no. 4, 501--517
(2005).
Padmanabhan, R.; Penner, P. Semilattice operations generated by lattice
terms. Order 21 (2004), no. 3, 257--263 (2005).
McCune, William; Padmanabhan, R.; Veroff, Robert Yet another single law
for lattices. Algebra Universalis 50 (2003), no. 2, 165--169.
McCune, W.; Padmanabhan, R. Automated deduction in equational logic and
cubic curves. Lecture Notes in Computer Science, 1095. Springer-Verlag,
Berlin, 1996. x+231 pp.
Miscellaneous:
Quaterly Mathematics Newsletter
Issue
1 (.pdf),
Fall 2000
|
