Search Results - Stephan Schulz

E (theorem prover)

E is a high-performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the ''Automated Reasoning Group'' at TU Munich, now at Baden-Württemberg Cooperative State University Stuttgart. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Bottom‐Up Synthesis of Metallic CoNi Nanoplatelets with Magnetic Vortex‐Like Spin Configurations

    Bottom‐Up Synthesis of Metallic CoNi Nanoplatelets with Magnetic Vortex‐Like Spin Configurations by Mena‐Alexander Kräenbring, Konstantin Bomm, Georg Bendt, Hanna Pazniak, Benjamin Zingsem, Thomas Feggeler, Sebastian Wintz, Simon Kempkens, Marina Spasova, Stephan Schulz, Michael Farle, Ulf Wiedwald

    Published 2025-07-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: