The following pages link to Andreas Meier (Q862391):
Displaying 45 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)
- Automatic Construction and Verification of Isotopy Invariants (Q3613399) (← links)
- (Q3643369) (← links)
- (Q3673161) (← links)
- (Q3775015) (← links)
- (Q3804067) (← links)
- (Q3992893) (← links)
- (Q4002613) (← links)
- (Q4297736) (← links)
- (Q4360308) (← links)
- (Q4405846) (← links)
- (Q4423203) (← links)
- (Q4428312) (← links)
- (Q4433981) (← links)
- (Q4492931) (← links)
- (Q4664927) (← links)
- (Q4808725) (← links)
- (Q4809051) (← links)
- Ωmega: Towards a mathematical assistant (Q5234706) (← links)
- Automated Reasoning (Q5307076) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- Theory and Applications of Satisfiability Testing (Q5713743) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- Relationale und postrelationale Datenbanken (Q5851418) (← links)
- Mathematical Knowledge Management (Q5898516) (← links)
- Mathematical Knowledge Management (Q5898517) (← links)
- Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS (Q6106108) (← links)