Logic of Equality in Geometry

DOI10.1016/S0304-0208(08)73276-6MaRDI QIDQ3958438zbMATH OpenOpenAlexFDO

Authors R. Padmanabhan

Publication date 1982

Published in North-Holland Mathematics Studies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-0208(08)73276-6

zbMATH Keywords

algebraic groupdimension theoremequational deduction involving morphisms in complete varietiesequational derivations in algebras associated with geometriesrigidity lemmaset of inference rules

Mathematics Subject Classification ID

Varieties and morphisms (14A10) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Relevant commutative algebra (14A05)

Cited in

(3)

• Quasi-affine algebras
• Automated reasoning about cubic curves
• A Geometric Procedure with Prover9

This page was built for publication: Logic of Equality in Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3958438)