The following pages link to Computer proofs in group theory (Q915498):
Displaying 13 items.
- An extension of the Boyer-Moore theorem prover to support first-order quantification (Q688572) (← links)
- Problem corner: Proving equivalence of different axiomatizations of free groups (Q1108815) (← links)
- Computer proofs in Gödel's class theory with equational definitions for composite and cross (Q1284711) (← links)
- Some group theoretic examples with completion theorem provers (Q1815855) (← links)
- A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L (Q1961914) (← links)
- Homogeneous length functions on groups: intertwined computer and human proofs (Q1984792) (← links)
- Automated reasoning with power maps (Q1984793) (← links)
- (Q3731839) (← links)
- (Q3840438) (← links)
- Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
- A Machine-Checked Proof of the Odd Order Theorem (Q5327343) (← links)
- Proving group isomorphism theorems (Q5881193) (← links)
- A theorem prover for a computational logic (Q6488518) (← links)
