Applications of real number theorem proving in PVS (Q469367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applications of real number theorem proving in PVS |
scientific article |
Statements
Applications of real number theorem proving in PVS (English)
0 references
10 November 2014
0 references
real number theorem proving
0 references
PVS
0 references
Maple
0 references
control systems
0 references
test suite
0 references
air traffic control
0 references
higher order theorem proving
0 references
