Concepedia

Avinash Sathaye

AS

Statistics

Publications

15

Citations

585

H-Index

14

Active since

1976

Affiliations

University of Kentucky(Current)

Purdue University West Lafayette

Savitribai Phule Pune University

Avinash Sathaye is an author at University of Kentucky specializing in geometry, formal verification, and formal methods.

Top concepts

GeometryEngineeringVerificationFormal MethodsComputer ScienceSoftware TestingIntegral GeometryFormal VerificationRepresentation TheoryNatural Sciences

Publications per year

1976–2015

15

Publications

15

Jacobian ideals and a theorem of Brian\c con-Skoda.

Joseph Lipman, Avinash Sathaye · The Michigan Mathematical Journal · 1981 · 92 citations · Full text

Real Algebraic Geometry, Commutative Algebra, Jacobian Ideals +1

Polynomial ring in two variables over a D.V.R.: A criterion

Avinash Sathaye · Inventiones mathematicae · 1983 · 75 citations

Real Algebraic Geometry, Commutative Algebra, Polynomial Ring +1

Prestable ideals

Paul Eakin, Avinash Sathaye · Journal of Algebra · 1976 · 72 citations

On finding and cancelling variables in k[X, Y, Z]

Peter B. Russell, Avinash Sathaye · Journal of Algebra · 1979 · 59 citations

Applied Algebra, Algebraic Method, Computer Algebra

On linear planes

Avinash Sathaye · Proceedings of the American Mathematical Society · 1976 · 48 citations · Full text

Geometric Modeling, Finite Geometry, Affine Plane +10

1–5 of 15