The following pages link to Mathematical Knowledge Management (Q5313058):
Displaying 5 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Unranked fuzzy logic and reasoning (Q2086405) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)