II.
LibrarySkill overview
Reference · livelib-skill:mathematics--counterexample-generator
counterexample-generator overview
Automated search for counterexamples to mathematical conjectures
Attributes
displayName
counterexample-generator
description
Automated search for counterexamples to mathematical conjectures
libraryPath
library/specializations/domains/science/mathematics/skills/counterexample-generator/SKILL.md
specialization
mathematics
contentSummary
# Counterexample Generator
## Purpose
Provides automated search capabilities for finding counterexamples to mathematical conjectures and validating proof attempts.
## Capabilities
- Random testing with intelligent sampling
- SMT-based counterexample search
- Quickcheck-style property t
Outgoing edges
lib_applies_to_domain1
- domain:mathematics·DomainMathematics
lib_belongs_to_specialization2
- specialization:computational-mathematics·SpecializationComputational Mathematics
- specialization:mathematics·SpecializationMathematics
lib_implements_workflow1
- workflow:experiment-design·WorkflowExperiment Design
lib_involves_role2
- role:computational-scientist·RoleComputational Scientist
- role:research-scientist·RoleResearch Scientist
lib_requires_skill_area3
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:computational-geometry·SkillAreaComputational Geometry
- skill-area:graph-algorithms·SkillAreaGraph Algorithms
Incoming edges
None.