378 search results - page 2 / 76 » Automating Mathematical Program Transformations |
CSL
1993
Springer
13 years 9 months ago
1993
Springer
MPC
1995
Springer
13 years 8 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
IJMMS
2000
13 years 5 months ago
2000
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
LOPSTR
2000
Springer
13 years 8 months ago
2000
Springer
CL
2010
Springer
13 years 5 months ago
2010
Springer
