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 88 articles , 1 standard article )

Showing results 41 to 60 of 88.
Sorted by year (citations)
  1. Blasco, Angel; Pérez-Díaz, Sonia: Asymptotic behavior of an implicit algebraic plane curve (2014)
  2. Charalambides, Marcos: Distinct distances on curves via rigidity (2014)
  3. Hoshi, Akinari: On the simplest quartic fields and related Thue equations (2014)
  4. Rueda, Sonia L.; Sendra, Juana; Sendra, J. Rafael: Rational Hausdorff divisors: a new approach to the approximate parametrization of curves (2014)
  5. Rueda, Sonia L.; Sendra, Juana; Sendra, J. Rafael: Bounding and estimating the Hausdorff distance between real space algebraic curves (2014)
  6. Shen, Li-Yong; Pérez-Díaz, Sonia: Characterization of rational ruled surfaces (2014)
  7. Cortadellas Benítez, Teresa; D’Andrea, Carlos: Rational plane curves parameterizable by conics (2013)
  8. Cox, David; Kustin, Andrew R.; Polini, Claudia; Ulrich, Bernd: A study of singularities on rational curves via syzygies (2013)
  9. Hodorog, Mădălina; Schicho, Josef: A regularization approach for estimating the type of a plane curve singularity (2013)
  10. Huang, Yanli; Ngô, L. X. Châu; Winkler, Franz: Rational general solutions of higher order algebraic ODEs (2013)
  11. Pérez-Díaz, Sonia: A partial solution to the problem of proper reparametrization for rational surfaces (2013)
  12. Rueda, Sonia L.; Sendra, Juana; Sendra, J. Rafael: An algorithm to parametrize approximately space curves (2013)
  13. Yang, Jing; Wang, Dongming; Hong, Hoon: Improving angular speed uniformity by reparameterization (2013)
  14. Hoshi, Akinari: On the simplest sextic fields and related Thue equations (2012)
  15. Huang, Yanli; Ngô, Lâm Xuân Châu; Winkler, Franz: Rational general solutions of trivariate rational differential systems (2012)
  16. Jockers, Hans; Kumar, Vijay; Lapan, Joshua M.; Morrison, David R.; Romo, Mauricio: Nonabelian 2D gauge theories for determinantal Calabi-Yau varieties (2012)
  17. Adrovic, Danko; Verschelde, Jan: Tropical algebraic geometry in Maple: a preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients (2011)
  18. Andradas, Carlos; Recio, Tomás; Tabera, Luis F.; Sendra, J. Rafael; Villarino, Carlos: Proper real reparametrization of rational ruled surfaces (2011)
  19. Henrion, Didier: Semidefinite representation of convex hulls of rational varieties (2011)
  20. Huang, Yanli; Wang, Dongming: Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases (2011)