scholarly journals A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets

2015 ◽  
pp. 431-448 ◽  
Author(s):  
Khalil Ghorbal ◽  
Andrew Sogokon ◽  
André Platzer
Keyword(s):  
Algebraic Sets ◽  
Proof Rules ◽  
Differential Invariance

Synthesizing software verifiers from proof rules

2012 ◽  
Vol 47 (6) ◽  
pp. 405-416 ◽  
Author(s):  
Sergey Grebenshchikov ◽  
Nuno P. Lopes ◽  
Corneliu Popeea ◽  
Andrey Rybalchenko
Keyword(s):  
Proof Rules

Affine algebraic sets relative to an algebraic theory

1999 ◽  
Vol 65 (1-2) ◽  
pp. 54-76 ◽  
Author(s):  
Yves Diers
Keyword(s):  
Algebraic Theory ◽  
Algebraic Sets

Points near real algebraic sets

2014 ◽  
Vol 142 (12) ◽  
pp. 4127-4132
Author(s):  
W. M. Schmidt ◽  
U. Zannier
Keyword(s):  
Algebraic Sets
Sign in / Sign up

Export Citation Format

Share Document