From

Institution

Field

Type

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

Reset

Papers matching “computer algebra implementation” 27

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
FFCSA - Finite Field Constructions, Search, and Algorithms
2023 ACM communications in computer algebra article Computer Science Cryptography and Residue Arithmetic Open access

Nuša Zidarič, Guang Gong, Mark D. Aagaard, Aleksandar Jurišić, Olexandr Konovalov

1

citations
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs
2020 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

2

citations
Computing free non-commutative Gröbner bases over Z with Singular:Letterplace
2022 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

1

citations
Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace
2020 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

0

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
Computation of free non-commutative gröbner bases over Z with Singular:Letterplace
2020 International Symposium on Symbolic and Algebraic Computation conference-paper Computer Science Polynomial and algebraic computation Open access

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

3

citations
Computation of Free Non-commutative Gröbner Bases over Z with Singular: Letterplace
2020 TIB KMO / FLOWWORKS GmbH other Computer Science Polynomial and algebraic computation Open access

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

0

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
Finding orientations of supersingular elliptic curves and quaternion orders
2024 Designs Codes and Cryptography article Computer Science Cryptography and Residue Arithmetic Open access

James Clements, Pierrick Dartois, Jonathan Komada Eriksen, Péter Kutas, Benjamin Wesolowski

7

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 Systematic Review of Graph-Theoretic Approaches to: Lightweight Block Cipher Design: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Cryptographic Implementations and Security Open access

Emily L. Thompson, Karl Schneider, Alexei Petrov

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
A parallel algorithm for Gaussian elimination over finite fields
2025 Journal of Algebra article Computer Science Matrix Theory and Algorithms Open access

Stephen Linton, Gabriele Nebe, Alice C. Niemeyer, Jon Thackray

0

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
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Towards quantum advantage via topological data analysis
2022 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Chris Cade, Vedran Dunjko

42

citations
qutil
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
qutil
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, Han Na We

0

citations
QuantumSavory/QuantumClifford.jl: v0.11.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Quantum Computing Algorithms and Architecture Open access

Stefan Krastanov, Feroz Ahmed Mian, Zhongyi Ni, Kanyang Ying, Praveen Viswanathan, Shayan Pardis, +21 more

0

citations
Gradient Information and Regularization for Gene Expression Programming to Develop Data-Driven Physics Closure Models
2024 Flow Turbulence and Combustion article Computer Science Evolutionary Algorithms and Applications Open access

Fabian Waschkowski, Haochen Li, Abhishek J. Deshmukh, Temistocle Grenga, Yaomin Zhao, Heinz G. Pitsch, +2 more

3

citations
Quantum Physics using Weighted Model Counting
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Joon‐Hyung Lee, Alfons Laarman

1

citations
Automatic Compiler-Based Data Structure Generation
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Kristian F. D. Rietveld, Harry A. G. Wijshoff

1

citations