Tag: computer-algebra
- Simplifying Addition and Multiplication in Polynomials by Ryan Zambrotta (30 April 2024)
automated-testing
code-formatting
compiler
computer-algebra
design
dragon-curves
fabrication
floating-point
knitting
l-systems
oracle-generation
outreach
polynomial
pretty-printing
security
side-channels
space
synthesis
testing
time
undergraduate-pl
verification
weaving
compilers
education
equality-saturation
pluggable-types
program-optimization
type-checking
type-inference
verilog
hardware