Agnieszka Rowinska-Schwarzweller

According to our database, Agnieszka Rowinska-Schwarzweller authored at least 10 papers between 2002 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Introduction to Galois Theory.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., 2025

The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., 2025

2024

Some Standard Examples of Vector Spaces.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., 2024

2023

Simple Extensions.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., September, 2023

2021

Quadratic Extensions.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., 2021

Algebraic Extensions.

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Formaliz. Math., 2021

2013

A Test for the Stability of Networks.

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Formaliz. Math., 2013

2010

On Building a Knowledge Base for Stability Theory.

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2007

Towards Mathematical Knowledge Management for Electrical Engineering.

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2002

On designing FIR filters using windows based on Gegenbauer polynomials.

Agnieszka Rowinska-Schwarzweller, Markus Wintermantel

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002