Search Results - "((\"mathematical login and algorithm theory\") OR (\"mathematik logic and algorithm theory\"))~"

Design and evaluation of ChatGPT-MWPS: an AI-enhanced learning system for improving primary students' mathematical word problem solving.

Authors: Liu, Jingxi Keane, Therese Sun, Daner et al.

Source: Smart Learning Environments; 12/1/2025, Vol. 12 Issue 1, p1-24, 24p

Subject Terms: WORD problems (Mathematics), PRIMARY education, EDUCATIONAL technology, GENERATIVE artificial intelligence, INTELLIGENT tutoring systems, INSTRUCTIONAL systems, LEARNER autonomy

Company/Entity: OPENAI Inc.

Fraudulent Publishing in the Mathematical Sciences.

Authors: Agricola, Ilka Heller, Lynn Schilders, Wil et al.

Source: Notices of the American Mathematical Society; Oct2025, Vol. 72 Issue 9, p1038-1049, 12p

Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Authors: Shmuel Tomi Klein Carlos Martín-Vide Dana Shapira

Resource Type: eBook.

Subjects: Computer science, Machine theory, Algorithms, Computer programming, Artificial intelligence, Computer science—Mathematics, Mathematical statistics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Model Theory, Computer Science, and Graph Polynomials

Authors: Klaus Meer Alexander Rabinovich Elena Ravve et al.

Resource Type: eBook.

Subjects: Computer science--Mathematics, Polynomials, Model theory

Categories: MATHEMATICS / Logic

To Halt Or Not To Halt? That Is The Question

Authors: Cristian S Calude

Resource Type: eBook.

Subjects: Computational complexity, Machine theory, Algorithms, Machine theory--Mathematical models

Categories: COMPUTERS / Artificial Intelligence / Natural Language Processing, PHILOSOPHY / General, PHILOSOPHY / Logic

Mathematical Foundations of Computer Science 2013

Authors: Krishnendu Chatterjee Jirí Sgall

Resource Type: eBook.

Subjects: Algorithms, Computer science—Mathematics, Discrete mathematics, Numerical analysis, Artificial intelligence—Data processing, Machine theory

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Authors: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

Subjects: Computer programming, Computer science, Software engineering, Machine theory, Algorithms, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

External Memory Algorithms

Authors: James M. Abello Jeffrey Scott Vitter

Resource Type: eBook.

Categories: MATHEMATICS / Discrete Mathematics, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Unity of Logic and Computation

Authors: Gianluca Della Vedova Besik Dundua Steffen Lempp et al.

Resource Type: eBook.

Subjects: Algorithms

Categories: COMPUTERS / Programming / Algorithms

Algorithms : Technology, Culture, Politics

Authors: Tobias Matzner

Resource Type: eBook.

Subjects: Algorithms, Computer algorithms

Categories: SOCIAL SCIENCE / Sociology / General

Theory And Algorithms For Cooperative Systems

Authors: Panos M Pardalos Robert Murphey Don Grundel

Resource Type: eBook.

Subjects: Decision making--Mathematical models--Congresses, Control theory--Congresses, Mathematical optimization--Congresses, Cooperation--Mathematical models--Congresses

Categories: COMPUTERS / Distributed Systems / General, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / Algorithms

Bibliography on Artificial Intelligence (AI).

Source: Finance India; Jun2021, Vol. 35 Issue 2, p601-620, 20p

Advances in Mathematical Modelling, Applied Analysis and Computation

Authors: Jagdev Singh George A. Anastassiou Dumitru Baleanu et al.

Resource Type: eBook.

Subjects: Engineering mathematics, Mathematics—Data processing, Mathematical models, Dynamics, Nonlinear theories

Categories: MATHEMATICS / Applied, COMPUTERS / Computer Science, SCIENCE / System Theory, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Numerical Analysis

Computer Algebra : An Algorithm-Oriented Introduction

Authors: Wolfram Koepf

Resource Type: eBook.

Subjects: Algebra, Computer science—Mathematics, Algorithms, Computer software

Categories: MATHEMATICS / Algebra / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, COMPUTERS / Mathematical & Statistical Software

Introduction to Mathematical Logic

Authors: Elliot Mendelsohn

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical

Categories: NON-CLASSIFIABLE

Advances in Discrete Differential Geometry

Authors: Alexander I. Bobenko

Resource Type: eBook.

Subjects: Functions of complex variables, Dynamics, Ergodic theory, Physics, Geometry, Differential, Discrete geometry, Computer graphics

Categories: MATHEMATICS / Geometry / Differential, COMPUTERS / Software Development & Engineering / Computer Graphics, MATHEMATICS / Mathematical Analysis, SCIENCE / Physics / Mathematical & Computational, SCIENCE / System Theory, MATHEMATICS / Complex Analysis

Mathematics For Computation (M4c)

Authors: Marco Benini Olaf Beyersdorff Michael Rathjen et al.

Resource Type: eBook.

Subjects: Computational complexity, Logic, Symbolic and mathematical, Computer science--Mathematics

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Research

Decision and Game Theory for Security : 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings

Authors: Stefan Rass Bo An Christopher Kiekintveld et al.

Resource Type: eBook.

Subjects: Data protection, Application software, Computer networks, Algorithms, Electronic data processing—Management, Game theory

Categories: COMPUTERS / Security / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Game Theory

Algorithms and Theory of Computation Handbook - 2 Volume Set

Authors: Mikhail J. Atallah Marina Blanton

Resource Type: eBook.

Subjects: Mathematics, Algorithms, Electronic data processing, Computational complexity, Computer algorithms, Computer science

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Programming / Algorithms, MATHEMATICS / General, MATHEMATICS / Arithmetic, MATHEMATICS / Number Systems

Satisfiability Problem: Theory and Applications

Authors: Dingzhu Du Jun Gu Panos M. Pardalos

Resource Type: eBook.

Categories: MATHEMATICS / Calculus, MATHEMATICS / Logic