Logic of Equality in Geometry

DOI10.1016/S0304-0208(08)73276-6zbMATH Open0495.03015OpenAlexW136387056MaRDI QIDQ3958438FDOQ3958438

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)