Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·49m
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·17h
Calculus Made Easy
calculusmadeeasy.org·14h
Nonclassical symmetries of polynomial equations and test problems with parameters for computer algebra systems
arxiv.org·49m
Dates and Times in DH An annotated application profile of ISO 8601:2019 for use with TEI and other DH systems
wwp.neu.edu·5h
Making a Language
thunderseethe.dev·7h
Free papers, get your free papers here!
esat.kuleuven.be·10h
The Example
lesswrong.com·2d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·17h
Problem Solving
denvaar.dev·1d
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·16h
Subterms Modulo Theories I
philipzucker.com·3d
Loading...Loading more...