Search for persons
X
?
Smart Computing and Intelligence; Learning in a Digital World ,
1
The GlobalEd 2 Project: Interdisciplinary Simulations Promo..:
, In:
?
Long-Term Ecological Research ,
2
Scholarly Learning in an Ecological Setting: Applying the K..:
, In:
?
Computer Algebra in Scientific Computing; Lecture Notes in Computer Science ,
4
Enhancements to Lazard's Method for Cylindrical Algebraic D..:
, In:
?
Proceedings of the 2013 International Conference on Software Engineering ,
9
Agility at scale: economic governance, measured improvement..:
, In:
?
Proceedings of the 2009 international symposium on Symbolic and algebraic computation ,
11
On delineability of varieties in CAD-based quantifier elimi..:
, In:
?
Proceedings of the 2005 international symposium on Symbolic and algebraic computation ,
12