ALDOR swMATH ID: 1220 Software Authors: aldor.org; Bronstein, Manuel Description: Aldor is a programming language with an expressive type system well-suited for mathematical computing and which has been used to develop a number of computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language for the Axiom system, but is now used more in other settings.In Aldor, types and functions are first class values that can be constructed and manipulated within programs. Pervasive support for dependent types allows static checking of dynamic objects. What does this mean for a normal user? Aldor solves many difficulties encountered in widely-used object-oriented programming languages. It allows programs to use a natural style, combining the more attractive and powerful properties of functional, object-oriented and aspect-oriented styles. Note: Current development happens at https://github.com/pippijn/aldor. Homepage: http://www.aldor.org/ Related Software: AXIOM; Maple; SageMath; JAS; Orbital library; SINGULAR; OOLACA; LinBox; Haskell; Macaulay2; Coq; Isabelle; jscl-meditor; Scala; MPFR; FFTW; Isabelle/HOL; MACSYMA; Maxima; Mathematica Cited in: 26 Publications all top 5 Cited by 34 Authors 6 Watt, Stephen Michael 4 Kredel, Heinz 3 Dragan, Laurentiu 2 Ballarin, Clemens 2 Bronstein, Manuel Eric 2 Moreno Maza, Marc 2 Paulson, Lawrence Charles 2 Thompson, Simon J. 1 Ashby, Thomas J. 1 Aubry, Philippe 1 Bachmann, Olaf 1 Cohen, Arjeh Marcel 1 Dellière, Stéphane 1 Dos Reis, Gabriel 1 Galletly, Diana A. 1 Gao, Xiaoshan 1 Gray, Simon 1 Jeffrey, David J. 1 Jolly, Raphael 1 Joó, Bálint 1 Kennedy, Anthony D. 1 Lacagnina, Giuseppe 1 Li, Yue 1 Liang, Songxin 1 Mulders, Thom 1 Naylor, William 1 Oancea, Cosmin E. 1 Padget, Julian 1 Poll, Erik 1 Schönemann, Hans 1 Takayama, Nobuki 1 Touratier, E. 1 van der Hoeven, Joris 1 Weil, Jacques-Arthur all top 5 Cited in 6 Serials 1 Journal of Pure and Applied Algebra 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Nuclear Physics. B. Proceedings Supplements 1 Diagrammes 1 Fundamenta Informaticae all top 5 Cited in 13 Fields 26 Computer science (68-XX) 4 Commutative algebra (13-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Category theory; homological algebra (18-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Differential geometry (53-XX) 1 Quantum theory (81-XX) Citations by Year