Agnieszka Rowinska-Schwarzweller

11 papers Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Introduction to Galois Theory.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2025 J jnl
The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2024 J jnl
Some Standard Examples of Vector Spaces.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2023 J jnl
Simple Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2021 J jnl
Algebraic Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2021 J jnl
Quadratic Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2013 J jnl
A Test for the Stability of Networks.
Formaliz. Math.
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2010 J jnl
On Building a Knowledge Base for Stability Theory
CoRR
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2010 — conf
On Building a Knowledge Base for Stability Theory.
AISC/MKM/Calculemus
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2007 — conf
Towards Mathematical Knowledge Management for Electrical Engineering.
Calculemus/MKM
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2002 — conf
On designing FIR filters using windows based on Gegenbauer polynomials.
ISCAS (1)
Agnieszka Rowinska-Schwarzweller, Markus Wintermantel