|
34553.
|
|
|
LaTeX macros for typesetting inference rules
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathpartir
|
|
34554.
|
|
|
This package contains LaTeX macros for
* typesetting a sequence of math formulas in mixed horizontal and vertical
mode
* typesetting inference rules
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathpartir
|
|
34555.
|
|
|
A Java Computer Algebra System
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathpiper
|
|
34556.
|
|
|
Mathpiper is a CAS (Computer Algebra System), written in Java. It is part of the mathrider suite, a mathematics computing environment for performing numeric and symbolic computations.
|
|
|
Description
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathpiper
|
|
34557.
|
|
|
Generate image from LaTeX command
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathtex
|
|
34558.
|
|
|
MathTeX is a cgi program that lets you easily embed LaTeX math in your own html pages, blogs, wikis, etc. It parses a LaTeX math expression and immediately emits the corresponding gif (or png) image, rather than the usual TeX dvi.
|
|
|
Description
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: mathtex
|
|
34559.
|
|
|
A flash card game designed to teach simple maths
|
|
|
Summary
|
|
|
|
Навчання елементарній арифметиці за допомогою карток
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: mathwar
|
|
34560.
|
|
|
A GTK+ application that teaches kids (and adults) how to respond quickly to simple math problems in addition, subtraction, and multiplicaion using flash cards and timers.
|
|
|
Description
|
|
|
|
Застосоунок GTK+ для навчання дітей (і дорослих) швидко вирішувати прості арифметичні задачі на додавання, віднімання та множення, і для цього використовуються картки із завданнями та таймер.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: mathwar
|
|
34561.
|
|
|
It includes a Computer player, where the player gets to decide if the Computer is right or not.
|
|
|
Description
|
|
|
|
Програма має комп’ютерного гравця, і Вам пропонується вирішувати, має рацію комп’ютер чи ні.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: mathwar
|
|
34562.
|
|
|
interactive theorem prover
|
|
|
Summary
|
|
|
|
Інтерактивний докажчик теорем
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: matita
|