Login / Signup

Extended Nullstellensatz proof systems.

Jan Krajícek
Published in: CoRR (2023)
Keyphrases
  • complex systems
  • genetic algorithm
  • data mining
  • search engine
  • web services
  • knowledge representation
  • distributed systems