CASA

CASA is a special-purpose system for computational algebra and constructive algebraic geometry. The system has been developed since 1990. CASA is the ongoing product of the Computer Algebra Group at the Research Institute for Symbolic Computation (RISC-Linz), the University of Linz, Austria, under the direction of Prof. Winkler. The system is built on the kernel of the widely used computer algebra system Maple. Computer algebra system (CAS).

This software is also referenced in ORMS.


References in zbMATH (referenced in 101 articles , 1 standard article )

Showing results 1 to 20 of 101.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Alcázar, Juan Gerardo; Pérez-Díaz, Sonia: Computing the form of highest degree of the implicit equation of a rational surface (2021)
  2. Buzzi, Claudio Aguinaldo; Carvalho, Yagor Romano; Gasull, Armengol: The local period function for Hamiltonian systems with applications (2021)
  3. Caravantes, Jorge; Sendra, J. Rafael; Sevilla, David; Villarino, Carlos: Transforming ODEs and PDEs from radical coefficients to rational coefficients (2021)
  4. Fu, Lei; Li, Wei: Unirational differential curves and differential rational parametrizations (2021)
  5. Gallet, Matteo; Lubbes, Niels; Schicho, Josef; Vršek, Jan: Reconstruction of rational ruled surfaces from their silhouettes (2021)
  6. Pérez-Díaz, Sonia; Shen, Li-Yong: Inversion, degree, reparametrization and implicitization of improperly parametrized planar curves using (\mu)-basis (2021)
  7. Alcázar, Juan Gerardo; Caravantes, Jorge; Diaz-Toca, Gema M.; Tsigaridas, Elias: Computing the topology of a plane or space hyperelliptic curve (2020)
  8. Blasco, Angel; Pérez-Díaz, Sonia: A new approach for computing the asymptotes of a parametric curve (2020)
  9. Chen, Linxiao; Turunen, Joonas: Critical Ising model on random triangulations of the disk: enumeration and local limits (2020)
  10. Dana-Picard, Thierry; Mozgawa, Witold: Automated exploration of inner isoptics of an ellipse (2020)
  11. Dana-Picard, Thierry; Naiman, Aharon; Mozgawa, Witold; Cieślak, Waldemar: Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS (2020)
  12. Martins, Flavius Portella Ribas; de Toledo Fleury, Agenor; Trigo, Flavio Celso: Motion of a disk in contact with a parametric 2D curve and Painlevé’s paradox (2020)
  13. Morales-Ruiz, Juan J.; Rueda, Sonia L.; Zurro, Maria-Angeles: Factorization of KdV Schrödinger operators using differential subresultants (2020)
  14. Mundici, Daniele: Complete and computable orbit invariants in the geometry of the affine group over the integers (2020)
  15. Pérez-Díaz, Sonia; Shen, Li-Yong: Parameterization of rational translational surfaces (2020)
  16. Pérez-Díaz, Sonia; Shen, Li-Yong: A symbolic-numeric approach for parametrizing ruled surfaces (2020)
  17. Saleeby, Elias G.: On meromorphic solutions of first-order Briot-Bouquet type PDEs (2020)
  18. Silva, Guilherme L. F.; Zhang, Lun: Large (n) limit for the product of two coupled random matrices (2020)
  19. Vo, Thieu N.; Zhang, Yi: Rational solutions of first-order algebraic ordinary difference equations (2020)
  20. Bartoli, Adrien: A differential-algebraic projective framework for the deformable single-view geometry of the 1D perspective camera (2019)

1 2 3 4 5 6 next