Misplaced Pages

Stephan Schulz: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 16:25, 16 September 2008 editGuillaume2303 (talk | contribs)Autopatrolled, Pending changes reviewers86,215 edits Undid revision 238832020 by Crusio (talk)revert, has been prodded before, should go to AfD← Previous edit Revision as of 16:26, 16 September 2008 edit undoGuillaume2303 (talk | contribs)Autopatrolled, Pending changes reviewers86,215 edits tagging for notability, no time to take this to AfD right now.Next edit →
Line 1: Line 1:
{{notability}}

{{Infobox_Scientist {{Infobox_Scientist
| name = Stephan Schulz | name = Stephan Schulz

Revision as of 16:26, 16 September 2008

The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Stephan Schulz" – news · newspapers · books · scholar · JSTOR (Learn how and when to remove this message)
Stephan Schulz
File:StephanSchulz.jpgStephan Schulz
NationalityGerman
Known forE equational theorem prover
Scientific career
FieldsComputer Technology

Stephan Schulz is a German computer scientist working in the field of automated reasoning. He is best known for the development of the high performance E equational theorem prover which has won the CNF division of the CASC-17 competition, and has been among the strongest systems in the CASC competition for several years (coming second in the FOF division of CASC in 2008. In 2002, Schulz was recognized for the best paper by FLAIRS and has been published in his field.

References

  1. "Flairs 2002 Conference Report". AI Magazine. 2002-12. {{cite journal}}: Check date values in: |date= (help)
  2. "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.

External links

Stub icon

This biography of an academic is a stub. You can help Misplaced Pages by expanding it.

Category: