On Shapiro's Results in Quasidifferential Calculus.

Bernd Luderer Roland Rösiger

Published in: Math. Program. (1990)

Keyphrases

computer algebra
data sets
artificial intelligence
data model
automated deduction
database
search engine
clustering algorithm
formal language
matrix representation
automated theorem proving
natural deduction
algebraic structure
sequent calculus