Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition

von Brown, Christopher W.
Veröffentlicht in CASC (22. : 2020 : Online) Computer algebra in scientific computing (2020)

Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving

von Brown, Christopher W.
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)

Oxygen transport and utilization

Veröffentlicht 1988

Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation : July 29 - August 1, 2007, University of Waterloo, Waterloo, Ontario, Canada

Veröffentlicht 2007