Deepak Kapur
- An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras
1985/01/01 by Äbdelilah Kandri-Rody, Abdelilah Kandri-Rody, Deepak Kapur +1 · 2 citations
Computer Science · Mathematics · #Algebra over a field #Arithmetic #Commutative property #Computer science #Decidability #Discrete mathematics #Formal Methods in Verification #Gröbner basis #Ideal (ethics) #Logic, programming, and type systems #Mathematics #Modulo #Polynomial #Polynomial and algebraic computation #Polynomial ring #Pure mathematics #Unification #Word problem (mathematics education)
- Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
2016/01/19 by Ting Gan, Liyun Dai, Gan, Ting +9 · 1 citation
Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Numerical Methods and Algorithms #Polynomial and algebraic computation #cs.LO