The following pages link to Jeremy Avigad (Q287376):
Displaying 22 items.
- MODULARITY IN MATHEMATICS (Q5221289) (← links)
- Oscillation and the mean ergodic theorem for uniformly convex Banach spaces (Q5262253) (← links)
- Eliminating definitions and Skolem functions in first-order logic (Q5267436) (← links)
- Automated Reasoning (Q5307073) (← links)
- Combining decision procedures for the reals (Q5310669) (← links)
- A Machine-Checked Proof of the Odd Order Theorem (Q5327343) (← links)
- (Q5421788) (← links)
- On the relationship between <i>ATR</i><sub>0</sub> and (Q5687314) (← links)
- (Q5711876) (← links)
- CHARACTER AND OBJECT (Q5737951) (← links)
- Homotopy limits in type theory (Q5740649) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- Varieties of mathematical understanding (Q5860471) (← links)
- An Impossible Asylum (Q6042557) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE (Q6148472) (← links)
- Verified reductions for optimization (Q6536123) (← links)
- Mathematics and language (Q6599254) (← links)
- What we talk about when we talk about mathematics (Q6623925) (← links)
- A proof-producing compiler for blockchain applications (Q6642981) (← links)
- Certified knowledge compilation with application to verified model counting (Q6643078) (← links)
- Algorithmic barriers to representing conditional independence (Q6654510) (← links)