Andreas Meier

Available identifiers

zbMath Open meier.andreasMaRDI QIDQ862391

List of research outcomes

Publication	Date of Publication	Type
Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS	2023-06-27	Paper
Schur preconditioning of the Stokes equations in channel-dominated domains	2022-08-03	Paper
Ωmega: Towards a mathematical assistant	2019-10-01	Paper
Fuzzy pay-off method for real options: the center of gravity approach with application in oilfield abandonment	2018-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q2848045	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3568690	2010-06-15	Paper
Relationale und postrelationale Datenbanken	2010-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3643369	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3391703	2009-08-12	Paper
Proof planning with multiple strategies	2009-07-17	Paper
Automatic Construction and Verification of Isotopy Invariants	2009-03-12	Paper
Automatic construction and verification of isotopy invariants	2008-06-11	Paper
Automated Reasoning	2007-09-25	Paper
Relationale und postrelationale Datenbanken	2007-04-26	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Applying SAT solving in classification of finite algebras	2007-01-24	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3378450	2006-04-03	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4664927	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4808725	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4433981	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4428312	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4423203	2003-08-26	Paper
Comparing approaches to the exploration of the domain of residue classes.	2003-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4405846	2003-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q2767923	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767093	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2751548	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2739723	2001-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q2723444	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2719334	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4492931	2000-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4360308	1997-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q3125986	1997-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4297736	1994-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q3992893	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4002613	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3775015	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804067	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673161	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Meier