Maths for computer scientists

This book constitutes the refereed proceedings of the 14th International Conference on Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.

Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics.

This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory, ADT 2024, held in New Brunswick, NJ, USA, during October 14-16, 2024.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.

The two-volume set LNAI 15875 + 15876 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025 Special Session, held in Sydney, NSW, Australia, during June 10–13, 2025.

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.

This volume constitutes selected papers presented at the First International Conference on Artificial Intelligence: Theories and Applications, ICAITA 2022, held in Mascara, Algeria, in November 2022.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.

The 9th ISMM conference covered a very diverse collection of papers, bound together by the central themes of mathematical morphology, namely, the tre- ment of images in terms of set and lattice theory.

This book constitutes the refereed proceedings of the 15th International Conference on Combinatorics on Words, WORDS 2025, held in Nancy, France, during June 30– July 4, 2025.

A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations.

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023.

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.

The two-volume set, LNCS 15434 and 15435, constitutes the refereed post-conference proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2024, held in Beijing, China, during December 6–8, 2024.

Data Approximation by Low-complexity Models details the theory, algorithms, and applications of structured low-rank approximation.

This book presents thoughts and pathways to build revolutionary machine learning models with the new paradigm of machine learning to adapt behaviorism.

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.

Probabilistic Modelling in Bioinformatics and Medical Informatics has been written for researchers and students in statistics, machine learning, and the biological sciences.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.

This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them.

This book LNCS 15411 constitutes the refereed proceedings of the 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, held in Chengdu, China, during February 28 - March 2, 2025.

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18-19, 2023.

This book offers an introduction to applications prompted by tensor analysis, especially by the spectral tensor theory developed in recent years.

This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

This book features selected papers from the 5th International Conference on Mathematics and Computing (ICMC 2019), organized by the School of Computer Engineering, Kalinga Institute of Industrial Technology Bhubaneswar, India, on February 6 - 9, 2019.

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers.

The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.

The book is devoted to algorithmic low-dimensional topology.

This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7-8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions.

This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022.

This book constitutes the refereed proceedings of the 4th International Workshop on Human Brain and Artificial Intelligence, HBAI 2024, held in Jeju Island, South Korea, on August 3, 2024.

This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26-28, 2022.

This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took place in Rennes, France, during September 2 - September 6, 2024.

This book constitutes the refereed proceedings of three workshops on the application of evolutionary programming and algorithms in various domains; these workshops were held in conjunction with the 5th European Conference on Genetic Programming, EuroGP 2002, in Kinsale, Ireland, in April 2002.

This book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13-15, 2024.

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

This book constitutes the refereed proceedings of the 23rd International Conference on Information Technologies and Mathematical Modelling.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.

This book constitutes the proceedings of the 6th International Conference on Geometric Science of Information, GSI 2023, held in St.

This book constitutes the refereed proceedings of the 5th Southern African Conference on Artificial Intelligence Research, SACAIR 2024, held in Bloemfontein, South Africa, during December 2-6, 2024.