- Stephan Schulz
Infobox_Scientist
name = Stephan Schulz
image_width= 200px
caption = Stephan Schulz
residence = Germany
nationality = German
field = Computer Technology
known_for =E equational theorem prover Stephan Schulz is a German
computer scientist working in the field ofautomated reasoning . He is best known for the development of the high performanceE equational theorem prover which has won the CNF division of the [http://www.cs.miami.edu/~tptp/CASC/17/WWWResults/ResultsSummary.html#MIXProblems CASC-17 competition] , and has been among the strongest systems in the [http://www.cs.miami.edu/~tptp/CASC/ CASC competition] for several years (coming second in the [http://www.cs.miami.edu/~tptp/CASC/J4/WWWFiles/DivisionSummary.html FOF division of CASC in 2008] . In 2002, Schulz was recognized for the best paper byFLAIRS cite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM] and has been published in his field. [cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16]References
External links
* [http://www4.informatik.tu-muenchen.de/~schulz/ Stephan Schulz home page]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html Stephan Schulz publications at DBLP]
Wikimedia Foundation. 2010.
