Dierk Schleicher

18 papers B 1Journal 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Jonas Bayer, Marco David, Malte Hassler, Yuri V. Matiyasevich, Dierk Schleicher
2024 J jnl
J. Comput. Appl. Math.
Marvin Randig, Dierk Schleicher, Robin Stoll
2022 J jnl
Arch. Formal Proofs
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
2022 J jnl
CoRR
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
2022 J jnl
Math. Comput.
Bernhard Reinke, Dierk Schleicher, Michael Stoll
2020 J jnl
CoRR
Sergey Shemyakov, Roman Chernov, Dzmitry Rumiantsau, Dierk Schleicher, Simon Schmitt, Anton Shemyakov
2020 J jnl
CoRR
Bernhard Reinke, Dierk Schleicher, Michael Stoll
2019 B conf
ITP
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher
2017 J jnl
Theor. Comput. Sci.
Dierk Schleicher, Robin Stoll
2016 J jnl
Math. Comput.
Todor Bilarev, Magnus Aspenberg, Dierk Schleicher
2015 J jnl
CoRR
Dierk Schleicher, Robin Stoll
2013 J jnl
Math. Comput.
Béla Bollobás, Malte Lackmann, Dierk Schleicher
2013 J jnl
Am. Math. Mon.
Dierk Schleicher, Serge Tabachnikov
2013 J jnl
Am. Math. Mon.
Aimeric Malter, Dierk Schleicher, Don Zagier
2011 J jnl
Am. Math. Mon.
Markus Müller, Dierk Schleicher
2007 J jnl
Am. Math. Mon.
Dierk Schleicher
2003 J jnl
Int. J. Bifurc. Chaos
Shizuo Nakane, Dierk Schleicher
1999 J jnl
Exp. Math.
Simon Letherman, Dierk Schleicher, Reg Wood