Mathematical Software - ICMS 2018

Mathematical Software - ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Urban, Josef; Kauers, Manuel; Davenport, James H.; Labahn, George

Springer International Publishing AG

07/2018

508

Mole

Inglês

9783319964171

15 a 20 dias

801

Descrição não disponível.
Logic.- Number theory.- Combinatorics.- Algebra.- Analysis.- Geometry.- Inter-disciplinary.- Mathematical problem solving platform.
computer algebra;symbolic computation;numerical analysis;mathematical software;optimization;computational logic;satisfiability checking;machine learning;algorithmic combinatorics;mathematical languages;semantics;artificial intelligence;data security;formal logic;information retrieval;authentication;information services;Computer-Aided Design;programming languages;public key cryptography