Works matching DE "COMPUTERS in mathematics"

Results: 68

EDUCATION OF A MATHEMATICIAN - EXPERIMENTALIST, OR SOFT MANIFESTO OF EXPERIMENTAL MATHEMATICS.

Published in:

Mathematics & Informatics, 2015, v. 58, n. 2, p. 129

By:

Yastrebov, Alexander;
Shabanova, Maria

Publication type:

Article

An Inferential Conception of the Application of Mathematics.

Published in:

Nous (0029-4624), 2011, v. 45, n. 2, p. 345, doi. 10.1111/j.1468-0068.2010.00772.x

By:

Bueno, Otávio;
Colyvan, Mark

Publication type:

Article

T4TEL : Un cadre de référence pour la formalisation et l'extension du modèle praxéologique.

Published in:

Educação Matemática Pesquisa, 2020, v. 22, n. 4, p. 103, doi. 10.23925/1983-3156.2020v22i4p103-118

By:

Chaachoua, Hamid

Publication type:

Article

Optimal boundary control of the unsteady Burgers equation with simultaneous space-time discretization.

Published in:

Optimal Control - Applications & Methods, 2014, v. 35, n. 4, p. 423, doi. 10.1002/oca.2079

By:

Karasözen, B.;
Yılmaz, F.

Publication type:

Article

POLYMATH 14: GROUPS WITH NORMS.

Published in:

Mathematics Student, 2023, v. 92, n. 1-2, p. 127

By:

KHARE, APOORVA

Publication type:

Article

The multiple pendulum problem via Maple®.

Published in:

International Journal of Mathematical Education in Science & Technology, 2002, v. 33, n. 5, p. 747, doi. 10.1080/002073902320602905

By:

Salisbury, K. L.;
Knight, D. G.

Publication type:

Article

Elastic waves in regions with multiple interfaces.

Published in:

International Journal of Mathematical Education in Science & Technology, 2001, v. 32, n. 5, p. 707, doi. 10.1080/00207390110067275

By:

McDevitt, T. J.

Publication type:

Article

Strategies and computer projects for teaching linear algebra.

Published in:

International Journal of Mathematical Education in Science & Technology, 2000, v. 31, n. 2, p. 181, doi. 10.1080/002073900287237

By:

Pecuch-Herrero, Marta

Publication type:

Article

UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN.

Published in:

Revista Educación en Ingeniería, 2012, v. 7, n. 14, p. 82

By:

Salazar Osorio, Holmes Giovanny;
Rengifo Romero, Harvin Jessid;
Machuca Villegas, Liliana Esther;
Aranda Bueno, Jesús Alexander

Publication type:

Article

Design of a Mathematical Unit in FPGA for the Implementation of the Control of a Magnetic Levitation System.

Published in:

International Journal of Reconfigurable Computing, 2008, p. 1, doi. 10.1155/2008/634306

By:

Raygoza-Panduro, Juan José;
Ortega-Cisneros, Susana;
Rivera, Jorge;
de laMora, Alberto

Publication type:

Article

Numerical Method Using Cubic B-Spline for a Strongly Coupled Reaction-Diffusion System.

Published in:

PLoS ONE, 2014, v. 9, n. 1, p. 1, doi. 10.1371/journal.pone.0083265

By:

Abbas, Muhammad;
Majid, Ahmad Abd.;
Md. Ismail, Ahmad Izani;
Rashid, Abdur

Publication type:

Article

Bayesian Inference from Count Data Using Discrete Uniform Priors.

Published in:

PLoS ONE, 2013, v. 8, n. 10, p. 1, doi. 10.1371/journal.pone.0074388

By:

Comoglio, Federico;
Fracchia, Letizia;
Rinaldi, Maurizio

Publication type:

Article

Foreword to the Special Issue on Automated Reasoning.

Published in:

AI Communications, 2018, v. 31, n. 3, p. 235, doi. 10.3233/AIC-180765

By:

Fontaine, Pascal;
Kaliszyk, Cezary;
Schulz, Stephan;
Urban, Josef;
Fontaine;
Kaliszyk;
Schulz;
Urban

Publication type:

Article

Programming and verifying a declarative first-order prover in Isabelle/HOL.

Published in:

AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764

By:

Jensen, Alexander Birch;
Larsen, John Bruntse;
Schlichtkrull, Anders;
Villadsen, Jørgen;
Fontaine;
Kaliszyk;
Schulz;
Urban

Publication type:

Article

Hierarchical invention of theorem proving strategies.

Published in:

AI Communications, 2018, v. 31, n. 3, p. 237, doi. 10.3233/AIC-180761

By:

Jakubův, Jan;
Urban, Josef;
Fontaine;
Kaliszyk;
Schulz;
Urban

Publication type:

Article

The 8th IJCAR automated theorem proving system competition - CASC-J8.

Published in:

AI Communications, 2016, v. 29, n. 5, p. 607, doi. 10.3233/AIC-160709

By:

Sutcliffe, Geoff

Publication type:

Article

The CADE-24 automated theorem proving system competition - CASC-24.

Published in:

AI Communications, 2014, v. 27, n. 4, p. 405, doi. 10.3233/AIC-140606

By:

Sutcliffe, Geoff

Publication type:

Article

Changing pre-service mathematics teachers’ beliefs about using computers for teaching and learning mathematics: the effect of three different models.

Published in:

European Journal of Teacher Education, 2014, v. 37, n. 3, p. 390, doi. 10.1080/02619768.2013.870993

By:

Karatas, Ilhan

Publication type:

Article

A Quantitative Study on Attitudes of Web-Based Mathematic Competition in Different Learning Stages Students in Taiwan.

Published in:

International Journal of Emerging Technologies in Learning, 2009, v. 4, n. 2, p. 61, doi. 10.3991/ijet.v4i2.697

By:

Tai-Cheng Tso;
Feng-Kuang Chiang;
Hsin-Chang Lu;
Chung-Shan Sun

Publication type:

Article

DISCOVERY.

Published in:: Australian Mathematics Teacher, 2008, v. 64, n. 3, p. 26
Publication type:: Article

Planning under Uncertainty using Parallel Computing.

Published in:

Annals of Operations Research, 1988, v. 14, n. 1-4, p. 1, doi. 10.1007/BF02186471

By:

Dantzig, George B.

Publication type:

Article

CHECKING THE ACCURACY OF GPS DATA.

Published in:

Ontario Mathematics Gazette, 2017, v. 55, n. 3, p. 19

By:

SIBBALD, TIM

Publication type:

Article

PREFACE.

Published in:

Magnetohydrodynamics (0024-998X), 2017, v. 53, n. 4, p. 601, doi. 10.22364/mhd.53.4.1

By:

JAKOVIČS, ANDRIS;
VIRBULIS, JĀNIS

Publication type:

Article

COMPUTER REPRESENTATION OF MULTISETS.

Published in:

Science World Journal, 2011, v. 6, n. 1, p. 21

By:

Tella, Y.;
Daniel, S.

Publication type:

Article

Computers as a Source of A Posteriori Knowledge in Mathematics.

Published in:

International Studies in the Philosophy of Science, 2016, v. 30, n. 2, p. 111, doi. 10.1080/02698595.2016.1265862

By:

Willum Johansen, Mikkel;
Misfeldt, Morten

Publication type:

Article

What do Error Patterns tell us about Hong Kong Chinese and Australian Students' Understanding of Decimal Numbers?

Published in:

International Journal for Mathematics Teaching & Learning, 2014, p. 1

By:

Mun Yee Lai;
Murray, Sara

Publication type:

Article

PRERREQUISITOS DEFICIENTES CON SOFTWARE MATEMÁTICO EN CONCEPTOS NUEVOS.

Published in:

Revista Mexicana de Investigación Educativa, 2016, v. 21, n. 69, p. 349

By:

RUIZ MORENO, LEONSIO;
CAMARENA GALLARDO, PATRICIA;
DEL RIVERO JIMÉNEZ, SOCORRO

Publication type:

Article

A New Automatic System for Angular Measurement and Calibration in Radiometric Instruments.

Published in:

Sensors (14248220), 2010, v. 10, n. 4, p. 3703, doi. 10.3390/s100403703

By:

Andujar Marquez, Jose Manuel;
Martínez Bohórquez, Miguel Ángel;
Garcia, Jonathan Medina;
Aguilar Nieto, Francisco Jose

Publication type:

Article

Lecturers’ perspectives on the use of a mathematics-based computer-aided assessment system.

Published in:

Teaching Mathematics & its Applications, 2013, v. 32, n. 2, p. 88, doi. 10.1093/teamat/hrt008

By:

Broughton, Stephen J.;
Robinson, Carol L.;
Hernandez-Martinez, Paul

Publication type:

Article

Exploratory Objects and Microworlds in university mathematics.

Published in:

Teaching Mathematics & its Applications, 2014, v. 33, n. 1, p. 27, doi. 10.1093/teamat/hru004

By:

Marshall, Neil;
Buteau, Chantal;
Muller, Eric

Publication type:

Article

Moving from dragging to touchscreen: geometrical learning with geometric dynamic software.

Published in:

2014

By:

Arzarello, Ferdinando;
Bairral, Marcelo A.;
Danè, Cristiano

Publication type:

Case Study

Looking back and ahead—didactical implications for the use of digital technologies in the next decade.

Published in:

Teaching Mathematics & its Applications, 2014, v. 33, n. 1, p. 3, doi. 10.1093/teamat/hru006

By:

Weigand, Hans-Georg

Publication type:

Article

Measuring Athletic Goodness: Formal Axiology Applied to Football.

Published in:

Journal of the Philosophy of Sport, 1990, v. 17, n. 1, p. 1, doi. 10.1080/00948705.1990.9714474

By:

Davis, John W.

Publication type:

Article

MSC volume 22 issue 4 Cover and Front matter.

Published in:: Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. f1, doi. 10.1017/S0960129512000710
Publication type:: Article

Proportional reasoning in the laboratory: an intervention study in vocational education.

Published in:

Educational Studies in Mathematics, 2014, v. 86, n. 2, p. 211, doi. 10.1007/s10649-012-9393-y

By:

Bakker, Arthur;
Groenveld, Djonie;
Wijers, Monica;
Akkerman, Sanne;
Gravemeijer, Koeno

Publication type:

Article

Error-Patterns within "Next-Step-Guidance" in TP-based Educational Systems.

Published in:

Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 175

By:

Daróczy, Gabriella;
Neuper, Walther

Publication type:

Article

Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.

Published in:

Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 155

By:

Delahaye, David;
Jacquel, Mélanie

Publication type:

Article

Trials with TP-based Programming for Interactive Course Material.

Published in:

Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 91

By:

Ročnik, Jan

Publication type:

Article

Editorial on "TP-based Systems and Education".

Published in:

Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 87

By:

Marič, Filip;
Neuper, Walther

Publication type:

Article

EXPLICIT SOLUTION FOR QUEUE LENGTH DISTRIBUTION OF M/T-SPH/1 QUEUE.

Published in:

Asia-Pacific Journal of Operational Research, 2014, v. 31, n. 1, p. -1, doi. 10.1142/S0217595914500018

By:

ZHANG, HONGBO;
SHI, DINGHUA;
HOU, ZHENTING

Publication type:

Article

Computational Methods for Renewal Theory and Semi-Markov Processes With Illustrative Examples.

Published in:

American Statistician, 1988, v. 42, n. 2, p. 143, doi. 10.2307/2684490

By:

Mode, Charles J.;
Pickens, Gary T.

Publication type:

Article

MODELLING WITH GRAPHICAL REPRESENTATIONS.

Published in:

For the Learning of Mathematics, 2008, v. 28, n. 2, p. 2

By:

Arcavi, Abraham

Publication type:

Article

A Study of the Growth of the Maximum and Typical Normalized Dimensions of Strict Young Diagrams.

Published in:

Journal of Mathematical Sciences, 2016, v. 216, n. 1, p. 53, doi. 10.1007/s10958-016-2887-x

By:

Vasiliev, N.;
Duzhin, V.

Publication type:

Article

BIG DATA: A REVOLUTION THAT WILL TRANSFORM HOW WE LIVE, WORK, AND THINK.

Published in:

2013

By:

Arney, Chris

Publication type:

Book Review

Using Spreadsheets and Streaming Video for Developmental, Teacher Education, and General Education Mathematics Courses.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 2, p. 221

By:

Shore, Mark;
Shore, JoAnna;
Boggs, Stacey

Publication type:

Article

Using e-Learning Platforms for Mastery Learning in Developmental Mathematics Courses.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 2, p. 213

By:

Boggs, Stacey;
Shore, Mark;
Shore, JoAnna

Publication type:

Article

Computer Aided Learning of Mathematics: Software Evaluation.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 2, p. 165

By:

Yushau, B.;
Bokhari, M. A.;
Wessels, D. C. J.

Publication type:

Article

Web-delivered Supplemental Instruction: Dynamic Customizing of Search Algorithms to Enhance Independent Learning for Developmental Mathematics Students.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 2, p. 152

By:

Taksa, Isak;
Goldberg, Roben

Publication type:

Article

A Summative Report on Exploring Quanitative Relationships.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 2, p. 132

By:

Carl, Minette;
Goldberg, Robert;
Waxman, Jerry

Publication type:

Article

A more precise rounding algorithm for rational numbers.

Published in:

Computing, 2008, v. 82, n. 2/3, p. 189, doi. 10.1007/s00607-008-0006-7

By:

Thill, M.

Publication type:

Article