A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “computer algebra implementation” 4

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
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
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
Tower field support for synthesis of datapaths
2023 ACM International Conference on Computing Frontiers (CF) conference-paper Computer Science Cryptography and Residue Arithmetic Open access

Nuša Zidarič, Mark D. Aagaard

2

citations

4 results