Andreas Franke

According to our database1, Andreas Franke authored at least 6 papers between 1999 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002

2001
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput., 2001

2000
System Description: MBASE, an Open Mathematical Knowledge Base.
Proceedings of the Automated Deduction, 2000

1999
Agent-Oriented Integration of Distributed Mathematical Services.
J. UCS, 1999

MBase: Representing mathematical knowledge in a relational data base.
Electr. Notes Theor. Comput. Sci., 1999

System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
Proceedings of the Automated Deduction, 1999


  Loading...