From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “computer algebra systems” 63

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

An Introductory Mathematics Computer Course as a Supplement to a Mathematical Bridge Course
2020 ASEE Annual Conference & Exposition conference-paper Mathematics Mathematics Education and Programs

Sabina Jeschke, Olivier Pfeiffer, Erhard Zorn

0

citations
A Note on Adjoint Linear Algebra
2022 Lecture notes in computer science conference-paper Computer Science Matrix Theory and Algorithms

Uwe Naumann

0

citations
Automatically optimized component model computation for power system simulation on GPU
2024 Electric Power Systems Research article Computer Science Parallel Computing and Optimization Techniques Open access

Marcel Mittenbühler, Andrea Benigni

2

citations
A direct and analytical method for inverse problems under uncertainty in energy system design: combining inverse simulation and Polynomial Chaos theory
2024 Energy Informatics article Decision Sciences Probabilistic and Robust Engineering Design Open access

Sebastian Schwarz, Daniele Carta, Antonello Monti, Andrea Benigni

3

citations
Invariant sets for a class of nonlinear control systems tractable by symbolic computation
2023 IFAC-PapersOnLine article Engineering Control and Stability of Dynamical Systems Open access

Melanie Harms, Christian Schilli, Eva Zerz

2

citations
A Semantic Model for Interacting Cyber-Physical Systems
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
Partial Reductions for Kleene Algebra with Linear Hypotheses
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Tobias Kappé

0

citations
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
2022 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

José Cano, Sebastian Falkensteiner, Daniel Robertz, J. Rafael Sendra

1

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
Computational Group Theory
2025 Oberwolfach Reports article Mathematics Finite Group Theory Research Open access

Heiko Dietrich, Bettina Eick, Gabriele Nebe, Colva M. Roney‐Dougal

0

citations
Computing monomial bases in Lie theory using OSCAR
2024 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

Xin Fang, Lars Göttgens, Ben Wilop

0

citations
Disturbance Decoupling for Polynomial Systems
2021 IFAC-PapersOnLine article Engineering Control and Stability of Dynamical Systems Open access

Melanie Harms, Eva Zerz

1

citations
How to use a CAS for Hardware Design Automation
2023 ACM communications in computer algebra article Computer Science Cryptography and Residue Arithmetic Open access

Nuša Zidarič

0

citations
Homotopies in Multiway (Nondeterministic) Rewriting Systems as n-Fold Categories
2022 Complex Systems article Mathematics Homotopy and Cohomology in Algebraic Topology

Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

12

citations
A parallel-in-space simulator for accelerating power system simulation on graphics processing units
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Junjie Zhang

0

citations
Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories
2021 arXiv (Cornell University) preprint Mathematics Homotopy and Cohomology in Algebraic Topology Open access

Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

0

citations
Functional Control of Network Dynamical Systems: An Information Theoretic Approach
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Neural dynamics and brain function

Moirangthem Sailash Singh, Ramkrishna Pasumarthy, Umesh Vaidya, Steffen K. Leonhardt

0

citations
Computing the Cycle Structure of Finite Linear Systems
2020 IFAC-PapersOnLine article Computer Science Polynomial and algebraic computation Open access

Eva Zerz

1

citations
Coupled sliding–decohesion–compression model for a consistent description of monotonic and fatigue behavior of material interfaces
2022 Computer Methods in Applied Mechanics and Engineering article Engineering Mechanical Behavior of Composites

Rostislav Chudoba, Miroslav Vořechovský, Mario Aguilar, Abedulgader Baktheer

27

citations
Formally Verifying Proofs for Algebraic Identities of Matrices
2020 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation

Leonard Schmitz, Viktor Levandovskyy

12

citations
A Grid Cell-Inspired Structured Vector Algebra for Cognitive Maps
2025 conference-paper Neuroscience Memory and Neural Mechanisms

Sven Krausse, Friedrich T. Sommer, Alpha Renner

0

citations
sagemath/sage: 9.1
2020 Zenodo (CERN European Organization for Nuclear Research) software Mathematics Mathematical and Computational Methods Open access

William A. Stein, Frédéric Chapoton, Jeroen Demeyer, Matthias Köppe, Daniel Krenn, Julian Rüth, +21 more

8

citations
A Matrix-Free Newton Method
2023 arXiv (Cornell University) preprint Mathematics Iterative Methods for Nonlinear Equations Open access

Uwe Naumann

0

citations
Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD
2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation

Gereon Kremer

1

citations