Pinned Repositories
chipboard
cryptodemo
depgraph
epcx
A script for the Tarski system that provides better "black-box" quantifier elimination for existential QE problems.
msgboard
STEM/Cyber Message Board
qepcad
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
saclib
A library of computer algebra functions due to George E. Collins and his many students and collaborators.
stemlogicex
A page of simple coding logic to accompany a larger module on logic by the STEM office.
tarski
A system for computing with Tarski Formulas / Semi-Algebraic Sets.
webCal
chriswestbrown's Repositories
chriswestbrown/qepcad
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
chriswestbrown/saclib
A library of computer algebra functions due to George E. Collins and his many students and collaborators.
chriswestbrown/tarski
A system for computing with Tarski Formulas / Semi-Algebraic Sets.
chriswestbrown/chipboard
chriswestbrown/cryptodemo
chriswestbrown/depgraph
chriswestbrown/epcx
A script for the Tarski system that provides better "black-box" quantifier elimination for existential QE problems.
chriswestbrown/msgboard
STEM/Cyber Message Board
chriswestbrown/stemlogicex
A page of simple coding logic to accompany a larger module on logic by the STEM office.
chriswestbrown/webCal