Open AccessA Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
Author(s) -
Khalil Ghorbal,
Andrew Sogokon,
André Platzer
Publication year - 2014
Language(s) - English
Resource type - Reports
DOI - 10.21236/ada624901
Subject(s) - hierarchy , differential (mechanical device) , algebraic number , mathematics , computer science , algebra over a field , theoretical computer science , pure mathematics , physics , mathematical analysis , economics , market economy , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom