Christoph Schwarzweller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2010–2023
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FedCSIS | Developing Field Theory in Mizar. | Christoph Schwarzweller |
| 2018 | FedCSIS | Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory. | Christoph Schwarzweller |
| 2016 | FedCSIS | On algebraic hierarchies in mathematical repository of Mizar. | Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller |
| 2015 | FedCSIS | Equality in computer proof-assistants. | Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller |
| 2012 | FedCSIS | Towards Automatically Categorizing Mathematical Knowledge. | Adam Grabowski, Christoph Schwarzweller |
| 2010 | AISC | On Duplication in Mathematical Repositories. | Adam Grabowski, Christoph Schwarzweller |
| 2010 | AISC | On Building a Knowledge Base for Stability Theory. | Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller |