Christian Gross

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Christopher W. Brown, Christian Gross: Efficient Preprocessing Methods for Quantifier Elimination. CASC 2006: 89-100

1 Paul Libbrecht, Christian Gross: Authoring LeActiveMath Calculus Content. MKM 2006: 251-265

	2006
2		Christopher W. Brown, Christian Gross: Efficient Preprocessing Methods for Quantifier Elimination. CASC 2006: 89-100
1		Paul Libbrecht, Christian Gross: Authoring LeActiveMath Calculus Content. MKM 2006: 251-265

Coauthor Index

1 Christopher W. Brown [2]

2 Paul Libbrecht [1]

Colors in the list of coauthors