Polynomial Elimination at Work; The Epsilon Library; The CharSets Package; The TriSys and SiSys Modules; The GEOTHER Environment; Relevant Elimination Tools; Solving Polynomial Systems; Automated Theorem Proving and Discovering in Geometry; Symbolic Geometric Computation; Selected Problems in Computer Mathematics.
タイトルや名前を忘れても、記憶から映画やドラマにたどり着ける検索プラットフォーム
