The following pages link to Algebras for combinatorial search (Q3638924):
Displaying 8 items.
- Searching around \(H_*^{alg}(-)\) (Q1067265) (← links)
- Computer algebra libraries for combinatorial structures (Q1918485) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- (Q3750157) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464705) (← links)
- The formal theory of relative monads (Q6496517) (← links)