Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems.

Jean-Charles Faugère Pierre-Jean Spaenlehauer Jules Svartz

Published in: ISSAC (2016)

Keyphrases

knowledge based systems
expert systems
management system
intelligent systems
database
databases
neural network
data mining
information systems
case study
database systems
learning environment
peer to peer
computer systems
systems require