Old Web
English
Sign In
Acemap
>
Paper
>
Symbolic Manipulation of Differential Systems with AXIOM Computer Algebra System
Symbolic Manipulation of Differential Systems with AXIOM Computer Algebra System
1994
S. Siltanen
J. Von Pfaler
Keywords:
Algebraic differential equation
Difference algebra
Morse–Kelley set theory
Axiom schema
Urelement
Pure mathematics
Zermelo–Fraenkel set theory
Discrete mathematics
Axiom of extensionality
Mathematics
Filtered algebra
Algebra
Axiom of choice
Constructive set theory
Symbolic integration
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]