Synthesis of integration problems and solutions

Abejide Ade-Ibijola

doi:10.1109/ISCMI47871.2019.9004291

Synthesis of integration problems and solutions

Abejide Ade-Ibijola

Johannesburg Business School

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Problem synthesis is a formal task in Artificial Intelligence. This task involves the automatic generation of problems and their respective solutions across different domains (including Mathematics). Techniques for problem ^synthesi^s vary widely. In this paper, we present a newly designed context-free grammar (or CFG) that specifies the rules governing the formulation of specific classes of Integration problems and their solutions. These grammar rules were implemented in a software tool, and produced many Integration problems and solutions rendered in LATEX. A hundred thousand instances of these synthesised problems and solutions can be found at: tinyurl.com/integralproblems2019. The resulting problems and solution may find applications in Education (as assessment and/or practice problems), hence, aiding the learning of integration as a topic in Mathematics.

Original language	English
Title of host publication	2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	185-190
Number of pages	6
ISBN (Electronic)	9781728145778
DOIs	https://doi.org/10.1109/ISCMI47871.2019.9004291
Publication status	Published - Nov 2019
Event	6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019 - Johannesburg, South Africa Duration: 19 Nov 2019 → 20 Nov 2019

Publication series

Name	2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019

Conference

Conference	6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019
Country/Territory	South Africa
City	Johannesburg
Period	19/11/19 → 20/11/19

Keywords

Context-free grammars
Integration problems
Problem generation
Synthesis of things

ASJC Scopus subject areas

Artificial Intelligence
Computer Science Applications
Computer Vision and Pattern Recognition
Computational Mathematics
Modeling and Simulation

Access to Document

10.1109/ISCMI47871.2019.9004291

Cite this

Ade-Ibijola, A. (2019). Synthesis of integration problems and solutions. In 2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019 (pp. 185-190). Article 9004291 (2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISCMI47871.2019.9004291

@inproceedings{f35a59899c2a44adacaf78783f00db72,

title = "Synthesis of integration problems and solutions",

abstract = "Problem synthesis is a formal task in Artificial Intelligence. This task involves the automatic generation of problems and their respective solutions across different domains (including Mathematics). Techniques for problem synthesis vary widely. In this paper, we present a newly designed context-free grammar (or CFG) that specifies the rules governing the formulation of specific classes of Integration problems and their solutions. These grammar rules were implemented in a software tool, and produced many Integration problems and solutions rendered in LATEX. A hundred thousand instances of these synthesised problems and solutions can be found at: tinyurl.com/integralproblems2019. The resulting problems and solution may find applications in Education (as assessment and/or practice problems), hence, aiding the learning of integration as a topic in Mathematics.",

keywords = "Context-free grammars, Integration problems, Problem generation, Synthesis of things",

author = "Abejide Ade-Ibijola",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019 ; Conference date: 19-11-2019 Through 20-11-2019",

year = "2019",

month = nov,

doi = "10.1109/ISCMI47871.2019.9004291",

language = "English",

series = "2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "185--190",

booktitle = "2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019",

address = "United States",

}

Ade-Ibijola, A 2019, Synthesis of integration problems and solutions. in 2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019., 9004291, 2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019, Institute of Electrical and Electronics Engineers Inc., pp. 185-190, 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019, Johannesburg, South Africa, 19/11/19. https://doi.org/10.1109/ISCMI47871.2019.9004291

Synthesis of integration problems and solutions. / Ade-Ibijola, Abejide.
2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019. Institute of Electrical and Electronics Engineers Inc., 2019. p. 185-190 9004291 (2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Synthesis of integration problems and solutions

AU - Ade-Ibijola, Abejide

PY - 2019/11

Y1 - 2019/11

N2 - Problem synthesis is a formal task in Artificial Intelligence. This task involves the automatic generation of problems and their respective solutions across different domains (including Mathematics). Techniques for problem synthesis vary widely. In this paper, we present a newly designed context-free grammar (or CFG) that specifies the rules governing the formulation of specific classes of Integration problems and their solutions. These grammar rules were implemented in a software tool, and produced many Integration problems and solutions rendered in LATEX. A hundred thousand instances of these synthesised problems and solutions can be found at: tinyurl.com/integralproblems2019. The resulting problems and solution may find applications in Education (as assessment and/or practice problems), hence, aiding the learning of integration as a topic in Mathematics.

AB - Problem synthesis is a formal task in Artificial Intelligence. This task involves the automatic generation of problems and their respective solutions across different domains (including Mathematics). Techniques for problem synthesis vary widely. In this paper, we present a newly designed context-free grammar (or CFG) that specifies the rules governing the formulation of specific classes of Integration problems and their solutions. These grammar rules were implemented in a software tool, and produced many Integration problems and solutions rendered in LATEX. A hundred thousand instances of these synthesised problems and solutions can be found at: tinyurl.com/integralproblems2019. The resulting problems and solution may find applications in Education (as assessment and/or practice problems), hence, aiding the learning of integration as a topic in Mathematics.

KW - Context-free grammars

KW - Integration problems

KW - Problem generation

KW - Synthesis of things

UR - http://www.scopus.com/inward/record.url?scp=85081618922&partnerID=8YFLogxK

U2 - 10.1109/ISCMI47871.2019.9004291

DO - 10.1109/ISCMI47871.2019.9004291

M3 - Conference contribution

AN - SCOPUS:85081618922

T3 - 2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019

SP - 185

EP - 190

BT - 2019 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 6th International Conference on Soft Computing and Machine Intelligence, ISCMI 2019

Y2 - 19 November 2019 through 20 November 2019

ER -

Synthesis of integration problems and solutions

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this