Magma algebra system I. User language

Main
Mathematics - Computer Algebra
Magma algebra system I. User language

Magma algebra system I. User language

Bosma et al.

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Mathematics - Computer Algebra

Tahun:

1997

Bahasa:

english

Halaman:

31

Nama siri:

JSC

Fail:

DJVU, 227 KB

IPFS:

,

english, 1997

Baca dalam Talian

Memuat turun (djvu, 227 KB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Burnikel et al. — A strong computable separation bound for arithmetic expressions with radicals

Smith. — Symbolic derivatives without recursion

Fickas. — Design issues in rule-based systems

Blankinship. — Algorithm 288, Solution of linear Diophantine systems

Cherry. — Integration in finite terms with error function

Champarnaud, Duchamp. — Derivatives of rational expressions and related theorems

Kazimierczak. — Approach to natural language processing using rules

Mulders, Storjohann. — Solving linear diophantine systems

E. W. Dijkstra — A Primer of Algol 60 Programming

D. E. Rydeheard, Burstall — Computational Category Theory (Prentice-Hall International Series in Computer Science)

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Team digit — Fast Track to C++

David Matuszek — Quick JavaScript

Kramer-Hitchon — Semiconductor devices A simulation approach

Robert L. Knighten — Notes on Category Theory

Knighten R.L — Notes on Category Theory

Jed Marti et al. — The Standard Lisp Report

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.) — The Munich Project CIP

Nikolaos S. Papaspyrou — A Formal Semantics for the C Programming Language

D. E. Rydeheard, R.M. Burstall — Computational category theory

D E Rydeheard R M Burstall — Computational Category Theory

JAMES L.RICHARDS, James L. Richards — INSTRUCTOR'S MANUAL FOR PASCAL

D. E. Rydeheard, Burstall — Computational category theory

Jim Holmes — Object-Oriented Compiler Construction

Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.) — Handbook of logic in computer science, vol.1: Background. Mathematical structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

I. R. Wilson, A. M. Addyman (auth.) — A Practical Introduction to Pascal

Tim Denvir (auth.) — Introduction to Discrete Mathematics for Software Engineering

G. Manes — GTM026.Algebraic Theories

Bristol, Eng., 1973. Logic Colloquium — Logic Colloquium '73

Jonathan D. H. Smith, Anna B. Romanowska — Post-Modern Algebra

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

Rose H.E., Shepherdson J.C. (ed.) — Logic Colloquium '73: Proceedings Bristol, 1973

David Matuszek — Quick JavaScript

David Matuszek — Quick JavaScript

David Matuszek — Quick JavaScript

Cyrus F. Nourani — A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Manes, Ernest G — Algebraic theories

Rishiyur Nikhil, Arvind — Implicit Parallel Programming in pH

K. Jensen, N. Wirth — PASCAL user manual and report

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.) — The Munich Project CIP

Istilah utama