<--- Back to Details
First PageDocument Content
Mathematical logic / Integral / Computer algebra system / Calculus / Maple / Mathematical proof / Function / Theorem / Ordinary differential equation / Mathematics / Logic / Functions and mappings
Date: 2007-12-10 03:34:36
Mathematical logic
Integral
Computer algebra system
Calculus
Maple
Mathematical proof
Function
Theorem
Ordinary differential equation
Mathematics
Logic
Functions and mappings

Add to Reading List

Source URL: ndp.jct.ac.il

Download Document from Source Website

File Size: 85,72 KB

Share Document on Facebook

Similar Documents

3 Programming and Data Structures The two preceding chapters introduced mathematical computations using one-line commands, but Sage also allows programs with sequences of instructions. The Sage computer algebra system i

DocID: 1tJhi - View Document

Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

DocID: 1tD9Z - View Document

5 Computational Domains Writing mathematics on paper or on the blackboard requires a compromise between ease of notations and rigour. The same holds for the day-to-day use of a computer algebra system. Sage tries to giv

DocID: 1tD6w - View Document

hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

DocID: 1tCsG - View Document

Computer algebra systems / General Algebraic Modeling System / Numerical software / Software / Mathematical analysis / Theoretical computer science / Gams / Operations research / Scientific modeling / Algebraic modeling language / Modeling language / BARON

An Introduction Tim Johannessen & Franz Nelißen GAMS Software GmbH GAMS Development Corp.

DocID: 1rdl6 - View Document