research
∙
12/14/2021
Euclid: Covariance of weak lensing pseudo-C_ℓ estimates. Calculation, comparison to simulations, and dependence on survey geometry
An accurate covariance matrix is essential for obtaining reliable cosmol...
share
research
∙
07/27/2016
Satisfiability Checking meets Symbolic Computation (Project Paper)
Symbolic Computation and Satisfiability Checking are two research areas,...
research
∙
07/23/2016
Satisfiability Checking and Symbolic Computation
Symbolic Computation and Satisfiability Checking are viewed as individua...
research
∙
06/01/2011