domains / families / science / proof-architect

proof-architect

separate

Structured methodology for constructing and verifying mathematical proofs in statistical research

When to use

• mathematical proofs
• theorem development
• derivations
• consistency proofs
• asymptotic arguments
• identification proofs
• verifying proof correctness

Skill page

Source