![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Symbolic Computation, Volume 73
Volume 73, March - April 2016
- Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
:
Ancilla-free synthesis of large reversible functions using binary decision diagrams. 1-26 - Chiara Marcolla
, Marco Pellegrini
, Massimiliano Sala
:
On the small-weight codewords of some Hermitian codes. 27-45 - Michael Sagraloff, Kurt Mehlhorn:
Computing real roots of real polynomials. 46-86 - Rida T. Farouki, Robert Gutierrez:
Geometry of the ringed surfaces in R4 that generate spatial Pythagorean hodographs. 87-103 - Francesca Cioffi
, Paolo Lella
, Maria Grazia Marinari:
A combinatorial description of finite O-sequences and aCM genera. 104-119 - Martin Helmer
:
Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties. 120-138 - Ioannis Z. Emiris
, Vissarion Fisikopoulos
, Bernd Gärtner:
Efficient edge-skeleton computation for polytopes defined by oracles. 139-152 - Hendrik W. Lenstra Jr., Alice Silverberg:
Determining cyclicity of finite modules. 153-156 - César Massri
:
Solving a sparse system using linear algebra. 157-174 - Ruyong Feng, Li-Yong Shen
:
Computing the intersections of three conics according to their Jacobian curve. 175-191 - Takahiro Kubota, Yoshihiko Kakutani, Go Kato
, Yasuhito Kawano, Hideki Sakurada:
Semi-automated verification of security proofs of quantum cryptographic protocols. 192-220 - Xiaohong Jia, Wenping Wang, Yi-King Choi, Bernard Mourrain, Changhe Tu:
Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space. 221-243 - Leonard L. Scott, Timothy Sprowl:
Computing individual Kazhdan-Lusztig basis elements. 244-249 - Jaume Giné
, Cláudia Valls:
Center problem in the center manifold for quadratic differential systems in R3. 250-267
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.