Search Results - "Algebra software"

On Some SEIRS Epidemic Models.

Authors: Romanovski, Valery G.^1,2,3 valerij.romanovskij@um.si

Source: Journal of Nonlinear Modeling & Analysis. 2023, Vol. 5 Issue 4, p753-762. 10p.

Low and high energy asymptotic behavior of electroweak corrections in polarized e-e+ → μ-μ+ process.

Authors: Aleksejevs, A.G. Barkanova, S.G. Bystritskiy, Yu. M. et al.

Source: Canadian Journal of Physics; Apr2018, Vol. 96 Issue 4, p445-453, 9p, 2 Diagrams, 1 Chart, 5 Graphs

Trigonometric Functions and the Sensations of Tone.

Authors: Todd, Philip Aley, Danny

Source: International Journal for Technology in Mathematics Education. 2023, Vol. 30 Issue 3, p155-161. 7p.

Subject Terms: *Calculus education, *Educational technology, *Interactive learning, Trigonometric functions, Algebra software

One-sided differentiability: a challenge for computer algebra systems.

Authors: Ferres-López, Enrique Roanes-Lozano, Eugenio Martínez-Zarzuelo, Angélica et al.

Source: Electronic Research Archive. 2023, Vol. 31 Issue 3, p1-32. 32p.

A characterization and implementation of corank one map germs from 2-space to 3-space in the computer algebra system SINGULAR.

Authors: Ying Wang Binyamin, Muhammad Ahsan Iqbal, Tauqeer et al.

Source: AIMS Mathematics. 2023, Vol. 8 Issue 2, p3747-3762. 16p.

When Satisfiability Solving Meets Symbolic Computation.

Authors: BRIGHT, CURTIS KOTSIREAS, ILIAS GANESH, VIJAY

Source: Communications of the ACM. Jul2022, Vol. 65 Issue 7, p64-72. 9p. 2 Color Photographs, 4 Diagrams, 3 Charts.

Subjects: Computational intelligence, Algebra software, Algorithms, Computer science, Artificial intelligence

SOLVING TASKS FROM THE TOPIC PLANE EQUATION USING GEOGEBRA.

Authors: GELOVA, ELENA KARAMAZOVA VITANOVA, MIRJANA KOCALEVA

Source: Balkan Journal of Applied Mathematics & Informatics. 2022, Vol. 5 Issue 2, p17-25. 9p.

Computer-Algebra-Software-Assisted Calculus Instruction, Not Calculus for Dummies: Bespoke Applications Necessitate Theory.

Authors: Griffith, Daniel A.¹ dagriffith@utdallas.edu

Source: AppliedMath. Jun2022, Vol. 2 Issue 2, p261-268. 8p.

Automatic Differentiation in ROOT.

Authors: Doglioni, C. Kim, D. Stewart, G.A. et al.

Source: EPJ Web of Conferences. 11/16/2020, Vol. 245, p1-8. 8p.

Transient Queueing Analysis.

Authors: Kaczynski, William H. Leemis, Lawrence M. Drew, John H.

Source: INFORMS Journal on Computing. Winter2012, Vol. 24 Issue 1, p10-28. 19p. 9 Diagrams, 9 Charts, 4 Graphs.

Automating Bivariate Transformations.

Authors: Yang, Jeff X. Drew, John H. Leemis, Lawrence M.

Source: INFORMS Journal on Computing. Winter2012, Vol. 24 Issue 1, p1-9. 9p. 5 Graphs.

THE EFFECTS OF A TECHNOLOGY COURSE WITH COLLABORATIVE DESIGN ON PROSPECTIVE TEACHERS' KNOWLEDGE AND BELIEFS.

Authors: Davis, Jon D.¹ jon.davis@wmich.edu

Source: Conference Papers -- Psychology of Mathematics & Education of North America. 2020, p2165-2173. 9p.

Subject Terms: *Mathematics teachers, *Pedagogical content knowledge, *Teacher attitudes, *Theory of knowledge, *Mathematics education, Algebra software

ODEbase: a repository of ODE systems for systems biology.

Authors: Lüders, Christoph Sturm, Thomas Radulescu, Ovidiu

Source: Bioinformatics Advances. 2022, Vol. 2 Issue 1, p1-3. 3p.

Laws of Timed State Machines.

Authors: Cavalcanti, Ana Filho, Madiel Conserva Ribeiro, Pedro et al.

Source: Computer Journal; Jun2024, Vol. 67 Issue 6, p2066-2107, 42p

What happens when CAS procedures are objectified?—the case of "solve" and "desolve".

Authors: Jankvist, Uffe Thomas Misfeldt, Morten Aguilar, Mario Sánchez

Source: Educational Studies in Mathematics. May2019, Vol. 101 Issue 1, p67-81. 15p.

Subject Terms: *Mathematics education, *Secondary school students, *Educational technology, Algebra software, Mathematics research

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic.

Authors: Henrion, Didier Naldi, Simone Safey El Din, Mohab

Source: Optimization Methods & Software; Feb2019, Vol. 34 Issue 1, p62-78, 17p

Synchronization of Dynamical Systems: An Approach Using a Computer Algebra System.

Authors: Dávila, Guillermo Morante, Antonio Vallejo, José A.

Source: Electronic Journal of Mathematics & Technology. 2019, Vol. 13 Issue 1, p1-24. 24p.

Computer algebra and algorithms for unbiased moment estimation of arbitrary order.

Authors: Gerlovina, Inna Hubbard, Alan E. Sun, Yan

Source: Cogent Mathematics & Statistics. Jan2019, Vol. 6 Issue 1, p1-15. 15p.

Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers.

Authors: Falcón, Raúl M. Falcón, Óscar J. Núñez, Juan

Source: Mathematical Methods in the Applied Sciences. 11/30/2018, Vol. 41 Issue 17, p7236-7262. 27p.

Comparing Computer Algebra Systems in Calculus I: TI-Nspire CAS versus TI-89.

Authors: Laumakis, Paul Herman, Marlena

Source: International Journal for Technology in Mathematics Education. 2018, Vol. 25 Issue 4, p3-19. 17p.

Subject Terms: *Calculus education, *Educational technology, *Adults, *Higher education, Algebra software, Mathematics software

Company/Entity: Texas Instruments Inc.