From

Institution

Field

Type

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

Reset

Papers matching “computer algebra systems” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
A Matrix-Free Newton Method
2023 arXiv (Cornell University) preprint Mathematics Iterative Methods for Nonlinear Equations Open access

Uwe Naumann

0

citations
The Directed Van Kampen Theorem in Lean
2023 arXiv (Cornell University) preprint Mathematics Homotopy and Cohomology in Algebraic Topology Open access

Henning Basold, Peter Bruin

0

citations
Reduction and Observer Design for a Grey-Box Model in Continuous Pharmaceutical Manufacturing
2022 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Ahmed Elkhashap, Dirk Abel

0

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
Constructive Recognition of Special Linear Groups
2024 arXiv (Cornell University) preprint Mathematics Finite Group Theory Research Open access

Max Horn, Alice Niemeyer, Cheryl E. Praeger, Daniel Rademacher

0

citations
Physics-guided laminar flame speed correlation for methane-hydrogen-air mixtures with varying dilution
2026 arXiv (Cornell University) preprint Chemical Engineering Advanced Combustion Engine Technologies Open access

Raik Hesse, Christian Schwenzer, Roman Glaznev, Florence Cameron, Heinz G. Pitsch, Joachim Beeckmann

0

citations
Physics-guided laminar flame speed correlation for methane-hydrogen-air mixtures with varying dilution
2026 arXiv (Cornell University) preprint Chemical Engineering Advanced Combustion Engine Technologies Open access

Raik Hesse, Christian Schwenzer, Roman Glaznev, Florence Cameron, Heinz G. Pitsch, Joachim Beeckmann

0

citations

11 results