Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

Raphael Kruse

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#generative ai Open access Sep 2026

kellermap: certified reductions of polynomial Keller maps

kellermap constructs and verifies reductions of polynomial maps with constantJacobian determinant. Every transformation is a certificate object that carriesits own obligations; verification names the obligation that failed rather thanreturning a boolean, and a collision is transported across each step andre-verified, s...

Raphael Kruse · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.