The following pages link to Andreas Meier (Q862391):
Displaying 19 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)
- Fuzzy pay-off method for real options: the center of gravity approach with application in oilfield abandonment (Q1795390) (← links)
- Schur preconditioning of the Stokes equations in channel-dominated domains (Q2160459) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- (Q2719334) (← links)
- (Q2723444) (← links)
- (Q2739723) (← links)
- (Q2751548) (← links)
- (Q2767093) (← links)
- (Q2767923) (← links)
- (Q2848045) (← links)
- (Q3125986) (← links)
- (Q3378450) (← links)
- (Q3391703) (← links)
- Relationale und postrelationale Datenbanken (Q3435409) (← links)
- (Q3568690) (← links)
- Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS (Q6106108) (← links)
