Search Results - "((\"mathematical logic and algorithm theory\") OR (\"mathematik login 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

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

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

Bibliography on Artificial Intelligence (AI).

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

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

Satisfiability Problem: Theory and Applications

Authors: Dingzhu Du Jun Gu Panos M. Pardalos

Resource Type: eBook.

Categories: MATHEMATICS / Calculus, MATHEMATICS / Logic

Handbook of Mathematical Geosciences : Fifty Years of IAMG

Authors: B.S. Daya Sagar Qiuming Cheng Frits Agterberg

Resource Type: eBook.

Subjects: Mathematical physics, Geology--Statistical methods, Geology--Mathematics--Handbooks, manuals, etc, Statistical physics

Categories: SCIENCE / Earth Sciences / Geology, COMPUTERS / Mathematical & Statistical Software, MATHEMATICS / Probability & Statistics / General, SCIENCE / Chaotic Behavior in Systems, SCIENCE / Physics / Mathematical & Computational, SCIENCE / Physics / Optics & Light

Foundation Models for Natural Language Processing

Authors: Gerhard Paaß Sven Giesselbach

Resource Type: eBook.

Subjects: Natural language processing (Computer science), Artificial intelligence

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, MATHEMATICS / Probability & Statistics / General

Interactive dynamic optimization server – connecting one modelling language with many solvers.

Authors: Pytlak, Radosław Tarnawski, Tomasz Fajdek, Bartłomiej et al.

Source: Optimization Methods & Software; Aug2014, Vol. 29 Issue 5, p1118-1138, 21p

Subject Terms: DYNAMICAL systems, MATHEMATICAL optimization, MODELING languages (Computer science), PROBLEM solving, PROGRAMMING languages, MATHEMATICAL models

Set Theory

Authors: Simon Thomas

Resource Type: eBook.

Subjects: Set theory--Congresses

Categories: MATHEMATICS / Set Theory

Children building and having fun while they learn geometry.

Authors: Puig, Anna Rodríguez, Inmaculada Baldeón, Johan et al.

Source: Computer Applications in Engineering Education; May2022, Vol. 30 Issue 3, p741-758, 18p

Subject Terms: SPACE perception, GEOMETRY, SCHOOL children, TEACHER evaluation, GAMIFICATION

An Introduction to Mathematical Logic and Type Theory

Authors: Peter B. Andrews

Resource Type: eBook.

Subjects: Mathematical logic, Artificial intelligence, Logic, Computational linguistics

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Speech & Audio Processing, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, PHILOSOPHY / Logic

To Be a Minority Teacher in a Foreign Culture

Authors: Mary Gutman Wurud Jayusi Michael Beck et al.

Resource Type: eBook.

Subjects: Teachers, Foreign, Minority teachers

Categories: EDUCATION / Philosophy, Theory & Social Aspects, EDUCATION / Educational Policy & Reform / General, EDUCATION / Comparative, EDUCATION / Teacher Training & Certification

Tutorials.

Source: 2014 International Conference on High Performance Computing & Simulation (HPCS); 2014, p1-19, 19p

Where to Publish.

Authors: Campbell, Paul J. Kunio Mitsuma

Source: UMAP Journal; Spring2015, Vol. 36 Issue 1, p1-22, 22p

Subject Terms: APPLIED mathematics, STATISTICAL models, STATISTICS education (Higher), CONTINUING resources (Publications), MATHEMATICAL periodicals

Bibliography.

Source: Description Logic Handbook; 2007, p537-592, 56p