Investigations Mathematics

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

MathGenius is a graphical tool intended to simplify your work in mathematics. By now it includes a graphical function plotter, a mechanism (still in development) to derive functions, and an equation solver. An extension mechanism will be developed.

MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.


Platforms: Windows, Mac, Linux

This Python module provides basic facilities for mathematics on fixed-point numbers. The number of fractional binary digits is tunable, allowing near-arbitrary precision arithmetic. Arithmetic & functions such as sqrt, exp, log, sin & cos are available.


Platforms: Windows, Mac, Linux

This program converts calculator-style ASCII math notation (the same that ASCIIMathML uses) to Spanish Braille mathematics notation (not Nemeth Code).


Platforms: Windows, Mac, Linux

The Mnemosyne plugin for TeXmacs allows you to edit databases from the Mnemosyne flash-card program in TeXmacs,include or edit mathematicr edit mathematics in a fairly easy and efficient way.


Platforms: *nix, Python,

Axiom is a general purpose system for doing mathematics by computer. It is especially useful for symbolic calculations, mathematical research and for the development of new mathematical algorithms.Axiom has a strongly-typed high-level programming language for expressing abstract mathematical...


Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

This routine plots the cubic-spline curve that will pass through given set of points.It is assumed that the user has knowledge of the Mathematics that is being used in the program, if he / she has to understand the logic.As a 'user of routine' rather, there is no complexity as far as usability is...


Platforms: Matlab

f77toM is a Perl 5 script to convert one or more F77 or F90 files to Matlab M-files.If you have any questions, please contact Chris Cornuelle at bob@math.umn.edu, Minnesota Center for Industrial Mathematics at theUniversity of Minnesota.


Platforms: Matlab

It is going on investigations of Heart VI1 simulator simulink,in case of Frequency Cardiac Controled, with unic monitoring scope and compiling problems:1)Problems 1:i think that syntax of simulink accept serial Block Connection2)Problem 2:i think that simulink syntax aceepts easily in feedback...


Platforms: Matlab

Dynamical analyses in engineering often require inertial properties of complex shapes such as polyhedra. The volume, the first moment of volume and the second moment of volume of a general solid can be computed by V = Integral( dVol ), VR = Integral( R*dVol ), VRR = Integral( R*Rd-deOao*dVol )....


Platforms: Matlab

Solution of Fractional Optimal Control Problems using Rational Approximation[1] C. Tricaud and Y.Q. Chen: Solving Fractional Order Optimal Control Problems in RIOTS_95 - A General-Purpose Optimal Control Problem Solver, Proceedings of the 3rd IFAC Workshop on Fractional Differentiation and its...


Platforms: Matlab

The zipfile contains:EnergyWise1heatexp1TregresEnergyWise1 does the actual savings calculation and simulates the thermal state within the kettle. heatexp1 and Tregres is used when you want to determine your own kettle's UA value. This is a fun activity to do when you have time. The mathematics...


Platforms: Matlab

The output figures will show effects of the number of series terms and use of the Lanczos sigma factors to smooth the Gibbs oscillations.


Platforms: Matlab

Annotare is a tool for annotating biomedical investigations and resulting data. It is a stand-alone desktop application that features 1) a set of intuitive editor forms to create and modify annotations, 2) support for easy incorporation of terms from biomedical ontologies, 3) standard templates...


Platforms: Mac

MathPiper is a new mathematics-oriented programming language which is simple enough to be learned as a first programming language and yet powerful enough to be useful in any science, mathematics, or engineering related career. MathPiper is also a Computer Algebra System (CAS) which is similar in...


Platforms: Mac

Our undergraduate degrees include BSc in Computing Science, Information Systems, Software Engineering, Business Computing, Mathematics and its Applications together with a large selection of combined and joint degrees. Postgraduate qualifications include the MSc in Advanced Computing, the MSc...


Platforms: Mac

jInfer is being developed as a Software Project at the Faculty of Mathematics and Physics, Charles University in Prague, under the supervision of Irena Ml?*?*nkov?*?Z and Martin Ne?*??ask?*?*. Our deadline is the end of january 2011, but the project will be developed further on as we will work...


Platforms: Mac

Audacity Policial (aka Audacity Police) is an extension of Audacity sound editor that was created to help police and justice investigations based on phone call and environmental recordings, supporting audio analysis and transcription.


Platforms: *nix

Interactive Web Physics is a Java, Web-based animation and problem designer tool. Anyone can quickly design mathematics or physics animations and simulations that run in a web browser. Unlike other solutions, no knowledge of programming is required.


Platforms: *nix