A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “experimental method”
3
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Polynomial and algebraic computation
Open access
Gereon Kremer
5
citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Polynomial and algebraic computation
Open access
0
citations
Translationale Modellierung der Wirksamkeit von Medikamenten in Krebspatienten
2020
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Computational Drug Discovery Methods
Open access
Lisa-Katrin Schätzle
0
citations
3 results