The following pages link to Mathematics and computers (Q3478365):
Displaying 11 items.
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- On a cultural gap (Q1071498) (← links)
- (Q2943302) (← links)
- (Q3033712) (← links)
- Repaying our debts (Q3309767) (← links)
- (Q3384814) (← links)
- (Q4002611) (← links)
- Type-theoretical checking and philosophy of mathematics (Q4247300) (← links)
- Symbolic computation in nonlinear dynamics (Q4390983) (← links)
- (Q4780191) (← links)
- Formalization of constructivity in Automath (Q5187278) (← links)