Symbolic Geometry Software and Proofs
INTERNATIONAL JOURNAL OF COMPUTERS FOR MATHEMATICAL LEARNING ; 15 , 2 ; 151-159
01.01.2010
9 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 372.7 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Geometry-Based Symbolic Approximation for Fast Sequence Matching on Manifolds
British Library Online Contents | 2016
|AUTOSAR proofs to be THE automotive software platform for intelligent mobility
British Library Conference Proceedings | 2017
|