\documentclass[11pt,twoside]{article}\makeatletter

\IfFileExists{xcolor.sty}%
  {\RequirePackage{xcolor}}%
  {\RequirePackage{color}}
\usepackage{colortbl}
\usepackage{wrapfig}
\usepackage{ifxetex}
\ifxetex
  \usepackage{fontspec}
  \usepackage{xunicode}
  \catcode`⃥=\active \def⃥{\textbackslash}
  \catcode`❴=\active \def❴{\{}
  \catcode`❵=\active \def❵{\}}
  \def\textJapanese{\fontspec{Noto Sans CJK JP}}
  \def\textChinese{\fontspec{Noto Sans CJK SC}}
  \def\textKorean{\fontspec{Noto Sans CJK KR}}
  \setmonofont{DejaVu Sans Mono}
  
\else
  \IfFileExists{utf8x.def}%
   {\usepackage[utf8x]{inputenc}
      \PrerenderUnicode{–}
    }%
   {\usepackage[utf8]{inputenc}}
  \usepackage[english]{babel}
  \usepackage[T1]{fontenc}
  \usepackage{float}
  \usepackage[]{ucs}
  \uc@dclc{8421}{default}{\textbackslash }
  \uc@dclc{10100}{default}{\{}
  \uc@dclc{10101}{default}{\}}
  \uc@dclc{8491}{default}{\AA{}}
  \uc@dclc{8239}{default}{\,}
  \uc@dclc{20154}{default}{ }
  \uc@dclc{10148}{default}{>}
  \def\textschwa{\rotatebox{-90}{e}}
  \def\textJapanese{}
  \def\textChinese{}
  \IfFileExists{tipa.sty}{\usepackage{tipa}}{}
\fi
\def\exampleFont{\ttfamily\small}
\DeclareTextSymbol{\textpi}{OML}{25}
\usepackage{relsize}
\RequirePackage{array}
\def\@testpach{\@chclass
 \ifnum \@lastchclass=6 \@ne \@chnum \@ne \else
  \ifnum \@lastchclass=7 5 \else
   \ifnum \@lastchclass=8 \tw@ \else
    \ifnum \@lastchclass=9 \thr@@
   \else \z@
   \ifnum \@lastchclass = 10 \else
   \edef\@nextchar{\expandafter\string\@nextchar}%
   \@chnum
   \if \@nextchar c\z@ \else
    \if \@nextchar l\@ne \else
     \if \@nextchar r\tw@ \else
   \z@ \@chclass
   \if\@nextchar |\@ne \else
    \if \@nextchar !6 \else
     \if \@nextchar @7 \else
      \if \@nextchar (8 \else
       \if \@nextchar )9 \else
  10
  \@chnum
  \if \@nextchar m\thr@@\else
   \if \@nextchar p4 \else
    \if \@nextchar b5 \else
   \z@ \@chclass \z@ \@preamerr \z@ \fi \fi \fi \fi
   \fi \fi  \fi  \fi  \fi  \fi  \fi \fi \fi \fi \fi \fi}
\gdef\arraybackslash{\let\\=\@arraycr}
\def\@textsubscript#1{{\m@th\ensuremath{_{\mbox{\fontsize\sf@size\z@#1}}}}}
\def\Panel#1#2#3#4{\multicolumn{#3}{){\columncolor{#2}}#4}{#1}}
\def\abbr{}
\def\corr{}
\def\expan{}
\def\gap{}
\def\orig{}
\def\reg{}
\def\ref{}
\def\sic{}
\def\persName{}\def\name{}
\def\placeName{}
\def\orgName{}
\def\textcal#1{{\fontspec{Lucida Calligraphy}#1}}
\def\textgothic#1{{\fontspec{Lucida Blackletter}#1}}
\def\textlarge#1{{\large #1}}
\def\textoverbar#1{\ensuremath{\overline{#1}}}
\def\textquoted#1{‘#1’}
\def\textsmall#1{{\small #1}}
\def\textsubscript#1{\@textsubscript{\selectfont#1}}
\def\textxi{\ensuremath{\xi}}
\def\titlem{\itshape}
\newenvironment{biblfree}{}{\ifvmode\par\fi }
\newenvironment{bibl}{}{}
\newenvironment{byline}{\vskip6pt\itshape\fontsize{16pt}{18pt}\selectfont}{\par }
\newenvironment{citbibl}{}{\ifvmode\par\fi }
\newenvironment{docAuthor}{\ifvmode\vskip4pt\fontsize{16pt}{18pt}\selectfont\fi\itshape}{\ifvmode\par\fi }
\newenvironment{docDate}{}{\ifvmode\par\fi }
\newenvironment{docImprint}{\vskip 6pt}{\ifvmode\par\fi }
\newenvironment{docTitle}{\vskip6pt\bfseries\fontsize{22pt}{25pt}\selectfont}{\par }
\newenvironment{msHead}{\vskip 6pt}{\par}
\newenvironment{msItem}{\vskip 6pt}{\par}
\newenvironment{rubric}{}{}
\newenvironment{titlePart}{}{\par }

\newcolumntype{L}[1]{){\raggedright\arraybackslash}p{#1}}
\newcolumntype{C}[1]{){\centering\arraybackslash}p{#1}}
\newcolumntype{R}[1]{){\raggedleft\arraybackslash}p{#1}}
\newcolumntype{P}[1]{){\arraybackslash}p{#1}}
\newcolumntype{B}[1]{){\arraybackslash}b{#1}}
\newcolumntype{M}[1]{){\arraybackslash}m{#1}}
\definecolor{label}{gray}{0.75}
\def\unusedattribute#1{\sout{\textcolor{label}{#1}}}
\DeclareRobustCommand*{\xref}{\hyper@normalise\xref@}
\def\xref@#1#2{\hyper@linkurl{#2}{#1}}
\begingroup
\catcode`\_=\active
\gdef_#1{\ensuremath{\sb{\mathrm{#1}}}}
\endgroup
\mathcode`\_=\string"8000
\catcode`\_=12\relax

\usepackage[a4paper,twoside,lmargin=1in,rmargin=1in,tmargin=1in,bmargin=1in,marginparwidth=0.75in]{geometry}
\usepackage{framed}

\definecolor{shadecolor}{gray}{0.95}
\usepackage{longtable}
\usepackage[normalem]{ulem}
\usepackage{fancyvrb}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage{marginnote}

\renewcommand{\@cite}[1]{#1}


\renewcommand*{\marginfont}{\itshape\footnotesize}

\def\Gin@extensions{.pdf,.png,.jpg,.mps,.tif}

  \pagestyle{fancy}

\usepackage[pdftitle={Mathematical Research in Digital Age},
 pdfauthor={}]{hyperref}
\hyperbaseurl{}

	 \paperwidth210mm
	 \paperheight297mm
              
\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}
\clubpenalty=8000
\emergencystretch 3em
\hbadness=4000
\hyphenpenalty=400
\pretolerance=750
\tolerance=2000
\vbadness=4000
\widowpenalty=10000

\renewcommand\section{\@startsection {section}{1}{\z@}%
     {-1.75ex \@plus -0.5ex \@minus -.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\Large\bfseries}}
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
     {-1.75ex\@plus -0.5ex \@minus- .2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\Large}}
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
     {-1.5ex\@plus -0.35ex \@minus -.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\large}}
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
     {-1ex \@plus-0.35ex \@minus -0.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\normalsize}}
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
     {1.5ex \@plus1ex \@minus .2ex}%
     {-1em}%
     {\reset@font\normalsize\bfseries}}


\def\l@section#1#2{\addpenalty{\@secpenalty} \addvspace{1.0em plus 1pt}
 \@tempdima 1.5em \begingroup
 \parindent \z@ \rightskip \@pnumwidth 
 \parfillskip -\@pnumwidth 
 \bfseries \leavevmode #1\hfil \hbox to\@pnumwidth{\hss #2}\par
 \endgroup}
\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
\@ifundefined{c@section}{\newcounter{section}}{}
\@ifundefined{c@chapter}{\newcounter{chapter}}{}
\newif\if@mainmatter 
\@mainmattertrue
\def\chaptername{Chapter}
\def\frontmatter{%
  \pagenumbering{roman}
  \def\thechapter{\@roman\c@chapter}
  \def\theHchapter{\roman{chapter}}
  \def\thesection{\@roman\c@section}
  \def\theHsection{\roman{section}}
  \def\@chapapp{}%
}
\def\mainmatter{%
  \cleardoublepage
  \def\thechapter{\@arabic\c@chapter}
  \setcounter{chapter}{0}
  \setcounter{section}{0}
  \pagenumbering{arabic}
  \setcounter{secnumdepth}{6}
  \def\@chapapp{\chaptername}%
  \def\theHchapter{\arabic{chapter}}
  \def\thesection{\@arabic\c@section}
  \def\theHsection{\arabic{section}}
}
\def\backmatter{%
  \cleardoublepage
  \setcounter{chapter}{0}
  \setcounter{section}{0}
  \setcounter{secnumdepth}{2}
  \def\@chapapp{\appendixname}%
  \def\thechapter{\@Alph\c@chapter}
  \def\theHchapter{\Alph{chapter}}
  \appendix
}
\newenvironment{bibitemlist}[1]{%
   \list{\@biblabel{\@arabic\c@enumiv}}%
       {\settowidth\labelwidth{\@biblabel{#1}}%
        \leftmargin\labelwidth
        \advance\leftmargin\labelsep
        \@openbib@code
        \usecounter{enumiv}%
        \let\p@enumiv\@empty
        \renewcommand\theenumiv{\@arabic\c@enumiv}%
	}%
  \sloppy
  \clubpenalty4000
  \@clubpenalty \clubpenalty
  \widowpenalty4000%
  \sfcode`\.\@m}%
  {\def\@noitemerr
    {\@latex@warning{Empty `bibitemlist' environment}}%
    \endlist}

\def\tableofcontents{\section*{\contentsname}\@starttoc{toc}}
\parskip0pt
\parindent1em
\def\Panel#1#2#3#4{\multicolumn{#3}{){\columncolor{#2}}#4}{#1}}
\newenvironment{reflist}{%
  \begin{raggedright}\begin{list}{}
  {%
   \setlength{\topsep}{0pt}%
   \setlength{\rightmargin}{0.25in}%
   \setlength{\itemsep}{0pt}%
   \setlength{\itemindent}{0pt}%
   \setlength{\parskip}{0pt}%
   \setlength{\parsep}{2pt}%
   \def\makelabel##1{\itshape ##1}}%
  }
  {\end{list}\end{raggedright}}
\newenvironment{sansreflist}{%
  \begin{raggedright}\begin{list}{}
  {%
   \setlength{\topsep}{0pt}%
   \setlength{\rightmargin}{0.25in}%
   \setlength{\itemindent}{0pt}%
   \setlength{\parskip}{0pt}%
   \setlength{\itemsep}{0pt}%
   \setlength{\parsep}{2pt}%
   \def\makelabel##1{\upshape ##1}}%
  }
  {\end{list}\end{raggedright}}
\newenvironment{specHead}[2]%
 {\vspace{20pt}\hrule\vspace{10pt}%
  \phantomsection\label{#1}\markright{#2}%

  \pdfbookmark[2]{#2}{#1}%
  \hspace{-0.75in}{\bfseries\fontsize{16pt}{18pt}\selectfont#2}%
  }{}
      \def\TheFullDate{2016-01-15 (revised: 15 January 2016)}
\def\TheID{\makeatother }
\def\TheDate{2016-01-15}
\title{Mathematical Research in Digital Age}
\author{}\makeatletter 
\makeatletter
\newcommand*{\cleartoleftpage}{%
  \clearpage
    \if@twoside
    \ifodd\c@page
      \hbox{}\newpage
      \if@twocolumn
        \hbox{}\newpage
      \fi
    \fi
  \fi
}
\makeatother
\makeatletter
\thispagestyle{empty}
\markright{\@title}\markboth{\@title}{\@author}
\renewcommand\small{\@setfontsize\small{9pt}{11pt}\abovedisplayskip 8.5\p@ plus3\p@ minus4\p@
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus2\p@
\belowdisplayshortskip 4\p@ plus2\p@ minus2\p@
\def\@listi{\leftmargin\leftmargini
               \topsep 2\p@ plus1\p@ minus1\p@
               \parsep 2\p@ plus\p@ minus\p@
               \itemsep 1pt}
}
\makeatother
\fvset{frame=single,numberblanklines=false,xleftmargin=5mm,xrightmargin=5mm}
\fancyhf{} 
\setlength{\headheight}{14pt}
\fancyhead[LE]{\bfseries\leftmark} 
\fancyhead[RO]{\bfseries\rightmark} 
\fancyfoot[RO]{}
\fancyfoot[CO]{\thepage}
\fancyfoot[LO]{\TheID}
\fancyfoot[LE]{}
\fancyfoot[CE]{\thepage}
\fancyfoot[RE]{\TheID}
\hypersetup{citebordercolor=0.75 0.75 0.75,linkbordercolor=0.75 0.75 0.75,urlbordercolor=0.75 0.75 0.75,bookmarksnumbered=true}
\fancypagestyle{plain}{\fancyhead{}\renewcommand{\headrulewidth}{0pt}}

\date{}
\usepackage{authblk}

\providecommand{\keywords}[1]
{
\footnotesize
  \textbf{\textit{Index terms---}} #1
}

\usepackage{graphicx,xcolor}
\definecolor{GJBlue}{HTML}{273B81}
\definecolor{GJLightBlue}{HTML}{0A9DD9}
\definecolor{GJMediumGrey}{HTML}{6D6E70}
\definecolor{GJLightGrey}{HTML}{929497} 

\renewenvironment{abstract}{%
   \setlength{\parindent}{0pt}\raggedright
   \textcolor{GJMediumGrey}{\rule{\textwidth}{2pt}}
   \vskip16pt
   \textcolor{GJBlue}{\large\bfseries\abstractname\space}
}{%   
   \vskip8pt
   \textcolor{GJMediumGrey}{\rule{\textwidth}{2pt}}
   \vskip16pt
}

\usepackage[absolute,overlay]{textpos}

\makeatother 
      \usepackage{lineno}
      \linenumbers
      
\begin{document}

             \author[1]{Olanrewaju M.  Oyenike}

             \author[2]{Obanla M.  Elizabeth}

             \author[3]{Akatakpo E.  Jeremiah}

             \author[4]{Adebiyi Faith  O.}

             \affil[1]{  Federal University Dutsin-Ma, Katsina, Nigeria}

\renewcommand\Authands{ and }

\date{\small \em Received: 14 December 2015 Accepted: 31 December 2015 Published: 15 January 2016}

\maketitle


\begin{abstract}
        


The time when someone can do real, publishable mathematics completely without the aid of a computer is coming to a close; the use of computers in mathematical research is both widespread and under-acknowledged. Mathematicians use computers in a number of ways. This paper highlights the importance of mathematics and digital age in today?s technological advancement; it also explains the influence of digital age on Mathematics research. Key areas where Information and Communication Technology can be applied to Mathematical research are discussed. To demonstrate the use of computer program on Mathematical analysis, some problems were solved analytically and were also solved using computer programs (Mathlab and Python). These two procedures are compared and it is clearly shown that using computer packages to solve Mathematical problems are more efficient, easier and accurate.

\end{abstract}


\keywords{mathematical research, digital age, automated theorem proven, scientific computing}

\begin{textblock*}{18cm}(1cm,1cm) % {block width} (coords) 
\textcolor{GJBlue}{\LARGE Global Journals \LaTeX\ JournalKaleidoscope\texttrademark}
\end{textblock*}

\begin{textblock*}{18cm}(1.4cm,1.5cm) % {block width} (coords) 
\textcolor{GJBlue}{\footnotesize \\ Artificial Intelligence formulated this projection for compatibility purposes from the original article published at Global Journals. However, this technology is currently in beta. \emph{Therefore, kindly ignore odd layouts, missed formulae, text, tables, or figures.}}
\end{textblock*}


\let\tabcellsep& 	 	 		 
\section[{Introduction}]{Introduction}\par
athematics is often defined as the study of quantity, magnitude, and relations of numbers or symbols. It embraces the subjects of arithmetic, geometry, algebra, calculus, probability, statistics, and many other special areas of research. It is the study of structures and pattern in large numerical sets \hyperref[b0]{[1]}. Mathematics is an indispensable subject of study; it plays an important role in forming the basis of all other sciences which deal with the material substance of space and time. It is said that Mathematics is the gate and key of the Science.\par
According to \hyperref[b1]{[2]} Mathematics is a way of thinking, a way of organizing a logical proof, a way reasoning that gives an insight into the power of human mind. It is uniquely well placed to respond to the demand of rapidly changing fields of life such as engineering, biological sciences, medicine and economic.\par
Research in general is a way of investigating a system, model, matter or theorem to discover hidden or previously unknown fact. 
\section[{a) Research in Mathematics}]{a) Research in Mathematics}\par
In mathematics, research calls for the creation of new results, that is, either new theorems radically different or improved proofs of older results. Research comprises of creative work undertaken on a systematic basis in order to increase the stock of knowledge, including knowledge of humans, culture and society, and the use of this stock of knowledge to devise new applications. It is used to establish or confirm facts, reaffirm the results of previous work, solve new or existing problems, support theorems, or develop new theories \hyperref[b2]{[3]}. A research project may also be an expansion on past work in the field. To test the validity of instruments, procedures, or experiments, research may replicate elements of prior projects, or the project as a whole. According to \hyperref[b3]{[4]} research is the systematic investigative process employed to increase or revise current knowledge by discovering new facts. In Mathematics research theorem can be proved as well as taking a number of pieces and constructing a worthwhile example by putting them together in a new way \hyperref[b2]{[3]}. 
\section[{b) Digital age}]{b) Digital age}\par
The digital age also known as computer age, information age, new media age; is a period in human history characterized by the shift from traditional industry that the industrial revolution brought through industrialization, to an economy based on information computerization. The digital age is the time period starting in the 1970s with the introduction of the personal computer with subsequent technology introduced providing the ability to make work easier and faster. The digital age formed by capitalizing on computer microminiaturization advances the evolution of technology in daily life, as well as educational life style. Digital age has allowed rapid global communications and networking to shape modern society which we call Information and Communication Technology (ICT) world \hyperref[b4]{[5]}.\par
ICT is an umbrella term that includes any communication device or application, encompassing: radio, telephone lines and wireless signals, computers as well as necessary enterprise software, hardware, storage, and audio-visual systems, satellite systems which enable users to access, store, transmit, and manipulate information. It is also encompasses various services and applications associated with them, such as videoconferencing and distance learning. It stresses the role of unified communication and the integration of telecommunications \hyperref[b4]{[5]}. 
\section[{c) Benefits of Digital age to Research}]{c) Benefits of Digital age to Research}\par
The digital age (Information Age) has affected the workforce in several ways.  
\section[{Key Roles Digital Age has Played in Mathematical Research}]{Key Roles Digital Age has Played in Mathematical Research}\par
Before the digital age, professional mathematicians did most of their work on desks using paper and pencil. Today mathematicians still sit at a desk facing monitor screens or laptops. The paper and pencil are still there but a lot of mathematician's activities now involve the use of computer. The computer does not simply assist mathematicians in doing business as usual; rather it changes the nature of what is done. Computers then have changed the way Mathematics progresses. There are many specific forms in which digital age has contributed to mathematical research, some of these forms are in problem solving task, exploring pattern and relationships, practicing of number skills, calculators, spreadsheets, databases and online, interactive resources, automated theorem proving, symbolic computation, scientific computing. a) Problem solving task Problem solving task in mathematics is about solving mathematical problems. The major aim of mathematics education is to equip researchers to solve problems. Mathematics consists of skills and processes. The skills are things that researchers are familiar with. These include the basic arithmetical processes and the algorithms that go with them. They also include algebra in all its levels as well as sophisticated areas such as the calculus. Problem solving task is a mathematical process. It is the side of mathematics that enables us to use acquired skills in a wide variety of situations. Now we shall consider some problems, by solving them manually and also using a computer program. 
\section[{Example 1:}]{Example 1:}\par
Given an initial value problem?? ,, = ??? ??????? ??(0) = 1, ?? , (0) = 1)\textbf{(1)}\par
Note [equation 1 is a linear second -order homogeneous differential equation] 
\section[{Manual Solution}]{Manual Solution}\par
To solve this let assume that y=?? ???? is a solution to equation 1 Hence; finding the derivative we have, ?? , = ???? ???? Differentiating further we have, ?? ,, = ?? 2 ?? ???? Putting these result back into equation 1,?? 2 ?? ???? = ??? ???? ?? 2 ?? ???? + ?? ???? = 0\par
Factorizing, ?? ???? (?? 2 + 1 ) 0 Divide both side by ?? ???? we have,?? 2 + 1 = 0 (?????????????????????????????????????????????) ?? 2 = ?1 1 ? = m ?? = ±??.\par
Since the root of the characteristic equation is complex, hence the general solution of equation 1 is:??(??) = [?? cos ?? + ?? sin ??](2)\par
Now applying the initial conditions ? ? = = = ? ? ) ( , ) ( ), , ( ) ( o o x y x y y x f x y (1)\par
Let the basis solution to the special second order initial value problems (1) be the exponential function? ? = = = 0 ! ) ( j j j x j x e x y ? ? , (\textbf{2})\par
where ? is a constant.\par
Expanding equation ( \hyperref[formula_5]{2} + + + + = x x x x o o ? ? ? ? (3)\par
Taking r in equation (  {\ref 3}) to be the sum of number of interpolation points (I) and number of collocation points (C), I = 2 and C = 3, the approximate solution to equation ( \hyperref[formula_0]{1}) is;2 2 3 3 2 2 1 1 4 0 ! 4 1 ! 3 1 ! 2 1 ! ) ( x x x x x j x x y o o j j j ? ? ? ? ? ? + + + + = = ? = (4)\par
Differentiating equation (  {\ref 4}) twice gives;\par
... 6 + + + = ? ? x x x y ? ? ? (6)\par
Interpolating equation (  {\ref 4}) at x n and x n+1  + + + + + + + + + = n n n n o n x x x x y ? ? ? ? ? (8)\par
Collocating equation (  {\ref 6}) at x n , x n+1 , x n+2 .    {\ref 4}) and evaluating at x n+2 , to get the scheme below:n n n n n n n n n n n n n n n n n n n n n n n n n o f x h f x h f x f x h f x h f x f x h f x h f x h f x h y x h y hx y h ? ? ? ? ? ? ? ? ? + + ? ? ? + + + + + ? = + + + + + + + 2 3 2 2 3 2 1 3 1 2 3 1 3 2 2 3n n n n n n n n n n n n n n n n n n n n n f x h f x h f f x h f x h f f x h f x h x f h f x h y x h y h ? [ ] h f x f x h f x f x f x h f x h f h n n n n n n n n n n n n n 2 2 2 1 1 2 2 2 2 2 4 2 3 2 2 1 + + + + + + ? ? + + ? = ? [ ] h f f x hf h f x h f x f x h f h n n n n n n n n n n n 2 2 2 1 1 2 3 2 4 4 4 2 3 2 1 + + + + + + + ? ? ? + ? = ? [ ] 2 1 2 4 2 1 + + + ? = n n n f f f h ? Putting the values of ? o , ? 1 , ? 2 , ? 3 , ? 4 into equation ([ ] n n n n n n f f f h y y y + + = + ? + + + + 1 2 2 1 2 10 2 2 (12) Solution ?? ??+2 = 2?? ??+1 ? ?? ?? + ? 2 2 [?? ??+2 + 10?? ??+1 + ?? ?? ]\textbf{(13)}\par
For n = 0 to 10 Solving for n = 0 The scheme becomes;?? 2 = 2?? 1 ? ?? 0 + ? 2 2 [?? 2 + 10?? 1 + ?? 0 ]\par
Solving for y 1 since the scheme is an implicit scheme We use Taylor series as the predictor -corrector?? ?? = ????? ??? = ?????? ???? = ??????? ?? = ?????? ?? ??+1 = ??(?? ?? + ?) = ??(?? ?? ) + ??? ? (?? ?? ) + 1 2! ? 2 ?? ?? (?? ?? ) + 1 3! ? 3 ?? ??? (?? ?? ) + ?\par
For n = 0, where h = 0.001 ?? 1 = 1 + (0.?? 2 = 2?? 1 ? ?? 0 + ? 2 2 [?? 2 + 10?? 1 + ?? 0 ] ?? 2 = 2(1.000995) ? 1 + 0.001 2 2 [?1.001998 ? 10(1.000995) ? 1]\par
Computing the values above, we have; ?? 2 = 1.001984\par
Going back all over again to solve for n = 1?10 will take a lot of time and computational accuracy will not be there.\par
Using A Python Program To Solve The Problem \#program to calculate... Import math y = [0,0,0,0,0,0,0,0,0,0] f = [0,0,0,0,0,0,0,0,0,0,0] h = 0.001 \#h = input("Enter the value for h: " ) yp = 1 ypp = -1 yppp = -1 ypppp = 1 yppppp = 1 ypppppp = -1 yppppppp = -1 y(0) = 1 y[0] = y0 + (h * yp) + (([i] = (2 * y[i-1]) -y0 + ((h**2)/2) * (f[i+1] + (10 * f[i]) + f[i-1]) n += 1 f[i] = f[i-1] f[i+1] = f[i] y0 = y[i-1]\par
Automated Theorem Proving is an area of study to get computers to prove logical and mathematical statements. Not just enumerating instances of a theorem exhaustively, but applying logical deduction, induction, inference and search strategies (depth first, breadth first, best first, iterative deepening) to arrive at a solution. There are branches of Mathematics such as Model theory and Proof Theory which study proofs themselves. Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorem by computer programs. Example of Theorem-proving packages is Microsoft's Z3 \hyperref[b3]{[4]}.\par
III. 
\section[{Summary and Conclusion}]{Summary and Conclusion}\par
Computers have changed the way mathematics progresses. The Digital age has made available for researchers indispensable hardware and software tools that can effortlessly assist in various ways to make research in mathematics easier, faster and motivating. This assistance covers areas such as number theory, calculus, differential equations and linear algebra among others. These resources come with many hundreds of built-in functions, extensive features for manipulating these functions, and a high-level computer language that allows one to easily create functions and procedures of their own. Mathematical research with the help of digital technology has made research to be easier and faster. Therefore mathematics research is more interesting and encouraging in digital age.\begin{figure}[htbp]
\noindent\textbf{21}\includegraphics[]{image-2.png}
\caption{\label{fig_0}2 ??H?Figure 1 :}\end{figure}
   \begin{figure}[htbp]
\noindent\textbf{} \par 
\begin{longtable}{P{0.08952546296296296\textwidth}P{0.43582175925925926\textwidth}P{0.008854166666666666\textwidth}P{0.06493055555555556\textwidth}P{0.002951388888888889\textwidth}P{0.04525462962962963\textwidth}P{0.017708333333333333\textwidth}P{0.002951388888888889\textwidth}P{0.04918981481481481\textwidth}P{0.06591435185185185\textwidth}P{0.04525462962962963\textwidth}P{0.021643518518518517\textwidth}}
\tabcellsep \multicolumn{7}{l}{Mathematical Research in Digital Age}\\
\tabcellsep Computing the values above, we have;\tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
\tabcellsep \tabcellsep \tabcellsep \multicolumn{5}{l}{ð??"ð??" 1 = ?1.000995}\\
\tabcellsep \multicolumn{7}{l}{ð??"ð??" ??+2 = 1 2!}\tabcellsep (2?) 2 ?? ???? (?? ?? ) +\tabcellsep 1 3!\tabcellsep (2?) 3 ?? ?? (?? ?? ) + ?\\
\tabcellsep For n = 0, where h = 0.001\tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
\tabcellsep \multicolumn{3}{l}{ð??"ð??" 2 = ?1 + (0.001)(?1) + Computing the values above, we have;}\tabcellsep \multicolumn{2}{l}{1 2}\tabcellsep \multicolumn{2}{l}{(2??0.001) 2 (1) +}\tabcellsep 1 6\tabcellsep (2??0.001) 3 (1) + ?\\
\tabcellsep \tabcellsep \tabcellsep \multicolumn{5}{l}{ð??"ð??" 2 = ?1.001998}\\
Year 2016\tabcellsep For n = 0, where h = 0.001\tabcellsep \tabcellsep \tabcellsep \tabcellsep \multicolumn{3}{l}{ð??"ð??" ?? = ?? ?? (?? ?? )}\\
4\tabcellsep \multicolumn{2}{l}{ð??"ð??" 1 = ?1 Putting the values back into the scheme below}\tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
Volume XVI Issue II Version I\tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
( )\tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
Global Journal of Computer Science and Technology\tabcellsep Computing the values above, we have;\tabcellsep 001)(1) +\tabcellsep \multicolumn{2}{l}{1 2}\tabcellsep \multicolumn{3}{l}{(0.001) 2 (?1) +}\tabcellsep 1 6\tabcellsep (0.001) 3 (?1) + ?\\
\tabcellsep \tabcellsep \tabcellsep \multicolumn{5}{l}{?? 1 = 1.000995}\\
\tabcellsep \multicolumn{7}{l}{ð??"ð??" ??+1 = ????(?? ?? + ?) = ????(?? ?? ) + ??? ? ??(?? ?? ) +}\tabcellsep 1 2!\tabcellsep ? 2 ?? ???? (?? ?? ) +\tabcellsep 1 3!\tabcellsep ? 3 ?? ?? (?? ?? ) + ?\\
\tabcellsep For n = 0, where h = 0.001\tabcellsep \tabcellsep \tabcellsep \tabcellsep \tabcellsep \\
\tabcellsep \multicolumn{6}{l}{ð??"ð??" 1 = ?1 + (0.001)(?1) +}\tabcellsep 1 2\tabcellsep (0.001) 2 (1) +\tabcellsep 1 6\tabcellsep (0.001) 3 (1) + ?\end{longtable} \par
 
\caption{\label{tab_2}}\end{figure}
 			\footnote{© 2016 Global Journals Inc. (US)} 			\footnote{Mathematical Research in Digital Age} 		 		\backmatter  			 \par
for j in range \hyperref[b9]{(10)}:\par
print(str(y[j]) + "\textbackslash t") \#Exact values exact = [0,0,0,0,0,0,0,0,0,0] print("-------------------------[ EXACT VALUES ]-------------------------") x = h c = 0 if (x >= 0.   {\ref -------------------------[ DIFFERENCE ]-------------------------"}) for e in range \hyperref[b9]{(10)} From the table above, the use of Python (a Programming Language) has enabled us to solve the differential equation with different values of x. Furthermore, we are able to get the series of y-numerical and y-exact with their difference without much stress.\par
With the help of digital age, the result obtained in the table above can be further interpreted by plotting a graph that shows the difference between the ynumerical and y-exact. 			 			  				\begin{bibitemlist}{1}
\bibitem[Shuttleworth ()]{b2}\label{b2} 	 		\textit{},  		 			M Shuttleworth 		.  		 \url{https//en.wikipedia.org/wiki/Research}  		2008.  	 
\bibitem[Hilbert and Lopez ()]{b5}\label{b5} 	 		\textit{},  		 			M Hilbert 		,  		 			P Lopez 		.  	 	 		\textit{Science Journal}  		2011. 332  (6025)  p. .  	 
\bibitem[Teleman ()]{b9}\label{b9} 	 		\textit{As Math Grows More Complex},  		 			F Teleman 		.  		 \url{http://www.wired.com/2013/03/computers-andmath/}  		1990.  	 
\bibitem[Nonweiler ()]{b7}\label{b7} 	 		\textit{Computational Mathematics: An Introduction to Numerical Approximation},  		 			T R Nonweiler 		.  		1986. John Wiley and Sons.  	 
\bibitem[Aladjev ()]{b6}\label{b6} 	 		‘Computer algebra systems: a new software toolbox for Maple’.  		 			V Z Aladjev 		.  	 	 		\textit{ISBN 9781596820005},  				2004. Fultus Books. p. 9.  	 	 (S.l.) 
\bibitem[Cockcroft ()]{b1}\label{b1} 	 		\textit{Mathematics counts. Department of Education and Skills},  		 			W Cockcroft 		.  		1982. London.  	 
\bibitem[Monaghan ()]{b0}\label{b0} 	 		‘Some issues surrounding the use of algebraic calculators in traditional examinations’.  		 			J Monaghan 		.  	 	 		\textit{International Journal of Mathematical Education in Science \& Technology}  		2000. 31  (3)  p. .  	 
\bibitem[Castells ()]{b4}\label{b4} 	 		\textit{The information age},  		 			M Castells 		.  		 \url{Https//en.m.wikipedia.org/wiki/digitalage}  		1999. 1.  	 
\bibitem[Ruthven ()]{b8}\label{b8} 	 		‘The Interpretative Flexibility, Instrumental Evolution, and Institutional Adoption of Mathematical Software in Educational Practice: The examples of Computer Algebra and Dynamic Geometry’.  		 			K Ruthven 		.  	 	 		\textit{Journal of Educational Computing Research}  		2008. 39  (4)  p. .  	 
\bibitem[Weist ()]{b3}\label{b3} 	 		‘The role of computers in mathematics teaching and Learning’.  		 			L R Weist 		.  	 	 		\textit{Using Information Technology in Mathematics Education. D.J. Tooke and N.Henderson},  				 (Bing hampton; NY)  		2001. Haworth Press. p. .  	 
\end{bibitemlist}
 			 		 	 
\end{document}