The following pages link to Andreas Meier (Q862391):
Displaying 5 items.
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Comparing approaches to the exploration of the domain of residue classes. (Q1404427) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
