Agnieszka Rowinska-Schwarzweller

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

Collaborative distances:

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

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