Christian Gross

According to our database, Christian Gross authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Efficient Preprocessing Methods for Quantifier Elimination.

Christopher W. Brown, Christian Gross

Proceedings of the Computer Algebra in Scientific Computing, 9th International Workshop, 2006