# Jürgen Zimmer

According to our database

Collaborative distances:

^{1}, Jürgen Zimmer authored at least 8 papers between 2000 and 2006.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2006

The MathServe System for Semantic Web Reasoning Services.

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2004

Constraint Solving for Proof Planning.

J. Autom. Reasoning, 2004

A Framework for Agent-Based Brokering of Reasoning Services.

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

2002

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.

Proceedings of the Automated Deduction, 2002

Proof Development with OMEGA.

Proceedings of the Automated Deduction, 2002

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.

Proceedings of the Artificial Intelligence, 2002

2000

Integrating Constraint Solving into Proof Planning.

Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.

Proceedings of the ECAI 2000, 2000