Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2.
Heinz KredelPublished in: ISSAC (1988)
Keyphrases
- computer algebra
- software development
- website
- web pages
- theorem prover
- web applications
- web users
- web documents
- software industry
- web resources
- software engineering
- end users
- information sources
- global optimization
- web content
- machine learning
- software developers
- software projects
- web data
- software architecture
- social media
- web mining
- case study
- artificial intelligence
- real world
- software testing
- information retrieval
- semantic web