FORMAC
From MaRDI portal
Software:13935
swMATH1193MaRDI QIDQ13935FDOQ13935
Author name not available (Why is that?)
Cited In (41)
- Two-dimensional packing: expected performance of simple level algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Eliminating monotonous mathematics with FORMAC
- Bemerkung zur Berechnung des Widerstandes einer porösen Kugel in schleichender Strömung
- A new computer-assisted analytic method for the Dirichlet and Neumann problems
- Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
- TENSE IN FORMAL LANGUAGE SYNTAX AND CO‐OPERATING SEQUENTIAL PROCESSES
- The unified data structure capability in Madcap VI
- The use of computer algebra to investigate the integrability of non-linear evolution systems
- On the formulation and solution of shell problems by means of computerized algebraic manipulation
- Programming languages
- Title not available (Why is that?)
- AEPL: An extensible programming language†
- Title not available (Why is that?)
- Formula Manipulation by Computer
- Title not available (Why is that?)
- Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer algebra application for classification of integrable non-linear evolution equations
- Field analysis: A mathematical method of analysis for information handling processes
- Title not available (Why is that?)
- Experience with FORMAC algorithm design
- A Computational Approach for Constructing Singular Solutions of One-Dimensional Pseudoparabolic and Metaparabolic Equations
- Title not available (Why is that?)
- The computer generated symbolic solution of a system of linear first order differential equations
- Polynomial Type Pade Approximants
- Computer classification of integrable coupled KdV-like systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An application of FORMAC
- Some Approaches to, and Illustrations of, Programming Language History
- The computer generated symbolic approximations to systems of nonlinear ODE's by matrix annihilation and the Newton-Kantorovich method
- Numerical solution of nonlinear differential equations using computer algebra
- A conversational language for solving problems in dimensional analysis
- Title not available (Why is that?)
- Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns
This page was built for software: FORMAC