On designing FIR filters using windows based on Gegenbauer polynomials. - Agnieszka Rowinska-Schwarzweller; Markus Wintermantel (ISCAS (1), 2002)

Towards Mathematical Knowledge Management for Electrical Engineering. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (Calculemus/MKM, 2007)

On Building a Knowledge Base for Stability Theory. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (AISC/MKM/Calculemus, 2010)

A Test for the Stability of Networks. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (Formaliz. Math., 2013)

Algebraic Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2021)

Quadratic Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2021)

Simple Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2023)

Some Standard Examples of Vector Spaces. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2024)