Publication | Closed Access

A complete algorithm for automated discovering of a class of inequality-type theorems

Mathematical ProgrammingComputational Complexity TheoryEngineeringData MiningAutomated ReasoningProof ComplexityKnowledge DiscoveryFormal MethodsAnalysis Of AlgorithmAutomated ProofComputational ComplexityInequality-type TheoremsComputer ScienceDiscrete MathematicsComplete AlgorithmProperty TestingAutomated Discovering