Andreas Meier

From MaRDI portal
Revision as of 08:15, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:862391

Available identifiers

zbMath Open meier.andreasMaRDI QIDQ862391

List of research outcomes

PublicationDate of PublicationType
Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS2023-06-27Paper
Schur preconditioning of the Stokes equations in channel-dominated domains2022-08-03Paper
Ωmega: Towards a mathematical assistant2019-10-01Paper
Fuzzy pay-off method for real options: the center of gravity approach with application in oilfield abandonment2018-10-16Paper
https://portal.mardi4nfdi.de/entity/Q28480452013-09-25Paper
https://portal.mardi4nfdi.de/entity/Q35686902010-06-15Paper
Relationale und postrelationale Datenbanken2010-01-21Paper
https://portal.mardi4nfdi.de/entity/Q36433692009-11-11Paper
https://portal.mardi4nfdi.de/entity/Q33917032009-08-12Paper
Proof planning with multiple strategies2009-07-17Paper
Automatic Construction and Verification of Isotopy Invariants2009-03-12Paper
Automatic construction and verification of isotopy invariants2008-06-11Paper
Automated Reasoning2007-09-25Paper
Relationale und postrelationale Datenbanken2007-04-26Paper
Mathematical Knowledge Management2007-02-12Paper
Mathematical Knowledge Management2007-02-12Paper
Applying SAT solving in classification of finite algebras2007-01-24Paper
Automated Deduction – CADE-202006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q33784502006-04-03Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Mathematical Knowledge Management2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q46649272005-04-09Paper
https://portal.mardi4nfdi.de/entity/Q48087252004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48090512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44339812003-11-03Paper
https://portal.mardi4nfdi.de/entity/Q44283122003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q44232032003-08-26Paper
Comparing approaches to the exploration of the domain of residue classes.2003-08-21Paper
https://portal.mardi4nfdi.de/entity/Q44058462003-06-24Paper
https://portal.mardi4nfdi.de/entity/Q27679232002-02-14Paper
https://portal.mardi4nfdi.de/entity/Q27670932002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27515482001-10-21Paper
https://portal.mardi4nfdi.de/entity/Q27397232001-09-16Paper
https://portal.mardi4nfdi.de/entity/Q27234442001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q27193342001-06-25Paper
https://portal.mardi4nfdi.de/entity/Q44929312000-07-30Paper
https://portal.mardi4nfdi.de/entity/Q43603081997-10-24Paper
https://portal.mardi4nfdi.de/entity/Q31259861997-03-23Paper
https://portal.mardi4nfdi.de/entity/Q42977361994-07-03Paper
https://portal.mardi4nfdi.de/entity/Q39928931993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40026131992-09-18Paper
https://portal.mardi4nfdi.de/entity/Q37750151987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38040671986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36731611983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Andreas Meier