https://scifaro.com/en/abs/the-invar-tensor-package-0704.17562015-05-13 https://scifaro.com/zh/abs/the-invar-tensor-package-0704.17562015-05-13 https://scifaro.com/en/abs/towards-an-exact-adaptive-algorithm-for-the-determinant-of-a-rational-matrix-0706.00142009-04-16 https://scifaro.com/zh/abs/towards-an-exact-adaptive-algorithm-for-the-determinant-of-a-rational-matrix-0706.00142009-04-16 https://scifaro.com/en/abs/tropical-implicitization-and-mixed-fiber-polytopes-0706.05642010-06-22 https://scifaro.com/zh/abs/tropical-implicitization-and-mixed-fiber-polytopes-0706.05642010-06-22 https://scifaro.com/en/abs/a-proof-of-a-recursion-for-bessel-moments-0706.14092013-06-19 https://scifaro.com/zh/abs/a-proof-of-a-recursion-for-bessel-moments-0706.14092013-06-19 https://scifaro.com/en/abs/moderate-growth-time-series-for-dynamic-combinatorics-modelisation-0708.22132007-08-17 https://scifaro.com/zh/abs/moderate-growth-time-series-for-dynamic-combinatorics-modelisation-0708.22132007-08-17 https://scifaro.com/en/abs/q-adic-transform-revisited-0710.05102008-06-23 https://scifaro.com/zh/abs/q-adic-transform-revisited-0710.05102008-06-23 https://scifaro.com/en/abs/differential-invariants-of-a-lie-group-action-syzygies-on-a-generating-set-0710.43182008-11-03 https://scifaro.com/zh/abs/differential-invariants-of-a-lie-group-action-syzygies-on-a-generating-set-0710.43182008-11-03 https://scifaro.com/en/abs/faster-polynomial-multiplication-via-multipoint-kronecker-substitution-0712.40462007-12-27 https://scifaro.com/en/abs/computer-algebra-in-systems-biology-0712.42482008-12-19 https://scifaro.com/en/abs/factorization-in-categories-of-systems-of-linear-partial-differential-equations-0801.13412008-01-10 https://scifaro.com/en/abs/fast-integer-multiplication-using-modular-arithmetic-0801.14162008-09-19 https://scifaro.com/en/abs/analyzing-the-topology-types-arising-in-a-family-of-algebraic-curves-depending-on-two-parameters-0801.16762008-09-02 https://scifaro.com/en/abs/the-invar-tensor-package-differential-invariants-of-riemann-0802.12742008-11-26 https://scifaro.com/en/abs/reconstruction-of-eye-movements-during-blinks-0802.22012009-11-13 https://scifaro.com/en/abs/xperm-fast-index-canonicalization-for-tensor-computer-algebra-0803.08622009-11-13 https://scifaro.com/en/abs/compressed-modular-matrix-multiplication-0803.19752008-12-18 https://scifaro.com/en/abs/two-algorithms-for-solving-a-general-backward-pentadiagonal-linear-systems-0803.23192008-03-18 https://scifaro.com/en/abs/towards-a-symbolic-numeric-method-to-compute-puiseux-series-the-modular-part-0803.30272008-03-21 https://scifaro.com/en/abs/twenty-five-moves-suffice-for-rubik-s-cube-0803.34352008-03-25 https://scifaro.com/en/abs/on-ritt-s-decomposition-theorem-in-the-case-of-finite-fields-0803.39762008-04-10 https://scifaro.com/en/abs/differentiation-of-kaltofen-s-division-free-determinant-algorithm-0804.10212011-12-13 https://scifaro.com/en/abs/on-decomposition-of-tame-polynomials-and-rational-functions-0804.16492008-05-15 https://scifaro.com/en/abs/computation-of-unirational-fields-0804.16792008-05-15 https://scifaro.com/en/abs/computation-of-unirational-fields-extended-abstract-0804.17072008-05-15 https://scifaro.com/en/abs/products-of-ordinary-differential-operators-by-evaluation-and-interpolation-0804.21812008-12-18 https://scifaro.com/en/abs/power-series-composition-and-change-of-basis-0804.23372013-06-19 https://scifaro.com/en/abs/fast-conversion-algorithms-for-orthogonal-polynomials-0804.23732013-06-19 https://scifaro.com/en/abs/e-pluribus-unum-or-how-to-derive-single-equation-descriptions-for-output-quantities-in-nonlinear-circuits-using-differential-algebra-0804.29922008-12-18 https://scifaro.com/en/abs/computing-the-fixing-group-of-a-rational-function-0805.23312009-04-19 https://scifaro.com/en/abs/unirational-fields-of-transcendence-degree-one-and-functional-decomposition-0805.23382009-04-19 https://scifaro.com/en/abs/ranking-catamorphisms-and-unranking-anamorphisms-on-hereditarily-finite-datatypes-0808.07532008-08-07 https://scifaro.com/en/abs/a-refined-difference-field-theory-for-symbolic-summation-0808.25432008-09-02 https://scifaro.com/en/abs/parameterized-telescoping-proves-algebraic-independence-of-sums-0808.25962008-09-02 https://scifaro.com/en/abs/simultaneous-modular-reduction-and-kronecker-substitution-for-small-finite-fields-0809.00632013-06-19 https://scifaro.com/en/abs/obtaining-exact-interpolation-multivariate-polynomial-by-approximation-0809.14762008-09-10 https://scifaro.com/en/abs/an-unified-definition-of-data-mining-0809.26962008-09-17 https://scifaro.com/en/abs/a-local-construction-of-the-smith-normal-form-of-a-matrix-polynomial-0809.29782015-03-13 https://scifaro.com/en/abs/liouvillian-solutions-of-difference-differential-equations-0810.15742008-10-10 https://scifaro.com/en/abs/a-cache-friendly-truncated-fft-0810.32032008-10-20 https://scifaro.com/en/abs/rational-hadamard-products-via-quantum-diagonal-operators-0810.36412008-10-21 https://scifaro.com/en/abs/kaltofen-s-division-free-determinant-algorithm-differentiated-for-matrix-adjoint-computation-0810.56472008-11-03 https://scifaro.com/en/abs/interpolation-of-shifted-lacunary-polynomials-0810.56852010-12-06 https://scifaro.com/en/abs/how-to-turn-a-scripting-language-into-a-domain-specific-language-for-computer-algebra-0811.10612008-11-27 https://scifaro.com/en/abs/stable-normal-forms-for-polynomial-system-solving-0812.00672008-12-02 https://scifaro.com/en/abs/moment-matrices-trace-matrices-and-the-radical-of-ideals-0812.00882009-01-23 https://scifaro.com/en/abs/a-sparse-flat-extension-theorem-for-moment-matrices-0812.25632009-01-19 https://scifaro.com/en/abs/detecting-lacunary-perfect-powers-and-computing-their-roots-0901.18482015-03-13 https://scifaro.com/en/abs/some-open-problems-in-combinatorial-physics-0901.26122009-01-20 https://scifaro.com/en/abs/on-the-computation-of-matrices-of-traces-and-radicals-of-ideals-0901.27782011-12-02 https://scifaro.com/en/abs/homotopy-methods-for-multiplication-modulo-triangular-sets-0901.36572009-01-26 https://scifaro.com/en/abs/symmetric-tensor-decomposition-0901.37062010-11-29 https://scifaro.com/en/abs/fast-algorithms-for-differential-equations-in-positive-characteristic-0901.38432009-01-27 https://scifaro.com/en/abs/on-finding-multiplicities-of-characteristic-polynomial-factors-of-black-box-matrices-0901.47472009-05-18 https://scifaro.com/en/abs/the-acoustic-wave-equation-in-the-expanding-universe-sachs-wolfe-theorem-0902.02392009-04-14 https://scifaro.com/en/abs/graphical-reasoning-in-compact-closed-categories-for-quantum-computation-0902.05142009-02-04 https://scifaro.com/en/abs/a-baby-steps-giant-steps-monte-carlo-algorithm-for-computing-roadmaps-in-smooth-compact-real-hypersurfaces-0902.16122009-04-20 https://scifaro.com/en/abs/a-formal-calculus-on-the-riordan-near-algebra-0902.28532010-09-30 https://scifaro.com/en/abs/a-bound-on-the-minimum-of-a-real-positive-polynomial-over-the-standard-simplex-0902.33042009-02-20 https://scifaro.com/en/abs/combinatorial-deformations-of-algebras-twisting-and-perturbations-0903.21012010-08-30 https://scifaro.com/en/abs/supernodal-analysis-revisited-0903.21582009-03-13 https://scifaro.com/en/abs/computations-modulo-regular-chains-0903.36902009-07-25 https://scifaro.com/en/abs/computing-cylindrical-algebraic-decomposition-via-triangular-decomposition-0903.52212009-03-31 https://scifaro.com/en/abs/a-symbolic-summation-approach-to-find-optimal-nested-sum-representations-0904.23232009-04-16 https://scifaro.com/en/abs/effective-bounds-for-p-recursive-sequences-0904.24522013-06-19 https://scifaro.com/en/abs/a-non-holonomic-systems-approach-to-special-function-identities-0904.27612013-06-19 https://scifaro.com/en/abs/la-r-esolvante-de-lagrange-et-ses-applications-0904.38272009-04-27 https://scifaro.com/en/abs/successive-difference-substitution-based-on-column-stochastic-matrix-and-mechanical-decision-for-positive-semi-definite-forms-0904.40302010-04-05 https://scifaro.com/en/abs/multihomogeneous-resultant-formulae-for-systems-with-scaled-support-0904.40642010-02-03 https://scifaro.com/en/abs/continued-fraction-expansion-of-real-roots-of-polynomial-systems-0905.39932010-11-12 https://scifaro.com/en/abs/eliminating-human-insight-an-algorithmic-proof-of-stembridge-s-tspp-theorem-0906.10182009-06-08 https://scifaro.com/en/abs/symbolic-script-programming-for-java-0906.23152009-06-15 https://scifaro.com/en/abs/real-solution-isolation-with-multiplicity-of-zero-dimensional-triangular-systems-0906.30652009-06-18 https://scifaro.com/en/abs/on-computing-the-hermite-form-of-a-matrix-of-differential-polynomials-0906.41212015-05-13 https://scifaro.com/en/abs/simultaneous-integer-relation-detection-and-its-an-application-0906.49172010-01-25 https://scifaro.com/en/abs/generating-functions-of-chebyshev-like-polynomials-0907.02912013-06-19 https://scifaro.com/en/abs/the-piranha-algebraic-manipulator-0907.20762009-07-14 https://scifaro.com/en/abs/an-efficient-algorithm-for-factoring-polynomials-over-algebraic-extension-field-0907.23002010-10-04 https://scifaro.com/en/abs/an-explicit-construction-of-gauss-jordan-elimination-matrix-0907.50382009-07-30 https://scifaro.com/en/abs/topology-of-2d-and-3d-rational-curves-0909.32482015-02-17 https://scifaro.com/en/abs/implementing-gr-obner-bases-for-operads-0909.49502010-08-27 https://scifaro.com/en/abs/on-the-different-shapes-arising-in-a-family-of-rational-curves-depending-on-a-parameter-0909.49552009-11-13 https://scifaro.com/en/abs/local-shape-of-generalized-offsets-to-algebraic-curves-0909.49562009-09-29 https://scifaro.com/en/abs/faster-algorithms-for-the-square-root-and-reciprocal-of-power-series-0910.19262009-10-13 https://scifaro.com/en/abs/computing-rational-points-in-convex-semi-algebraic-sets-and-sos-decompositions-0910.29732009-10-16 https://scifaro.com/en/abs/computing-modular-correspondences-for-abelian-varieties-0910.46682012-08-13 https://scifaro.com/en/abs/bounding-the-radii-of-balls-meeting-every-connected-component-of-semi-algebraic-sets-0911.13402011-02-02 https://scifaro.com/en/abs/faster-exponentials-of-power-series-0911.31102009-11-17 https://scifaro.com/en/abs/the-hilbert-scheme-of-points-and-its-link-with-border-basis-0911.35032010-08-04 https://scifaro.com/en/abs/deciding-regularity-of-the-set-of-instances-of-a-set-of-terms-with-regular-constraints-is-exptime-complete-0911.36742009-11-20 https://scifaro.com/en/abs/completeness-of-the-wds-method-in-checking-positivity-of-integral-forms-0912.16492009-12-10 https://scifaro.com/en/abs/simplex-subdivisions-and-nonnegativity-decision-of-forms-0912.44302009-12-23 https://scifaro.com/en/abs/the-weighted-difference-substitutions-and-nonnegativity-decision-of-forms-0912.44382009-12-30 https://scifaro.com/en/abs/a-complete-method-for-checking-hurwitz-stability-of-a-polytope-of-matrices-1001.03042010-01-05 https://scifaro.com/en/abs/a-complete-algorithm-to-find-exact-minimal-polynomial-by-approximations-1001.06492010-01-06 https://scifaro.com/en/abs/parallel-computation-of-real-solving-bivariate-polynomial-systems-by-zero-matching-method-1001.29402010-01-19 https://scifaro.com/en/abs/gr-obner-bases-of-bihomogeneous-ideals-generated-by-polynomials-of-bidegree-1-1-algorithms-and-complexity-1001.40042010-02-24 https://scifaro.com/en/abs/generic-design-of-chinese-remaindering-schemes-1001.41502010-01-26 https://scifaro.com/en/abs/the-power-of-vocabulary-the-case-of-cyclotomic-polynomials-1002.00122010-02-02 https://scifaro.com/en/abs/gradual-sub-lattice-reduction-and-a-new-complexity-for-factoring-polynomials-1002.07392010-02-04 https://scifaro.com/en/abs/fast-arithmetics-in-artin-schreier-towers-over-finite-fields-1002.25942020-01-07 https://scifaro.com/en/abs/numgfun-a-package-for-numerical-and-analytic-computation-with-d-finite-functions-1002.30772010-06-01 https://scifaro.com/en/abs/triangular-decomposition-of-semi-algebraic-systems-1002.47842010-05-17 https://scifaro.com/en/abs/stability-analysis-of-linear-uncertain-systems-via-checking-positivity-of-forms-on-simplices-1003.31812010-03-17 https://scifaro.com/en/abs/a-new-proof-for-the-correctness-of-f5-f5-like-algorithm-1004.00842010-07-01 https://scifaro.com/en/abs/on-computing-groebner-basis-in-the-rings-of-differential-operators-1004.20902015-05-18 https://scifaro.com/en/abs/a-fast-approach-to-creative-telescoping-1004.33142011-06-28 https://scifaro.com/en/abs/multiplication-of-sparse-laurent-polynomials-and-poisson-series-on-modern-hardware-architectures-1004.45482010-04-27 https://scifaro.com/en/abs/chunky-and-equal-spaced-polynomial-multiplication-1004.46412010-07-20 https://scifaro.com/en/abs/nearly-optimal-algorithms-for-the-decomposition-of-multivariate-rational-functions-and-the-extended-l-uroth-s-theorem-1004.52852011-11-08 https://scifaro.com/en/abs/some-results-on-the-functional-decomposition-of-polynomials-1004.54332010-05-03 https://scifaro.com/en/abs/symbolic-domain-decomposition-1004.55492010-05-03 https://scifaro.com/en/abs/when-can-we-decide-that-a-p-finite-sequence-is-positive-1005.06002010-05-05 https://scifaro.com/en/abs/partial-denominator-bounds-for-partial-linear-difference-equations-1005.06022010-05-05 https://scifaro.com/en/abs/integrating-multiple-sources-to-answer-questions-in-algebraic-topology-1005.07492016-11-25 https://scifaro.com/en/abs/generic-design-of-chinese-remaindering-schemes-1005.08302010-09-09 https://scifaro.com/en/abs/polynomial-integration-on-regions-defined-by-a-triangle-and-a-conic-1005.09902010-05-07 https://scifaro.com/en/abs/random-polynomials-and-expected-complexity-of-bisection-methods-for-real-solving-1005.20012010-06-01 https://scifaro.com/en/abs/holonomic-gradient-descent-and-its-application-to-fisher-bingham-integral-1005.52732013-01-14 https://scifaro.com/en/abs/the-dmm-bound-multivariate-aggregate-separation-bounds-1005.56102010-07-26 https://scifaro.com/en/abs/the-1958-pekeris-accad-weizac-ground-breaking-collaboration-that-computed-ground-states-of-two-electron-atoms-and-its-2010-redux-1006.02002011-06-28 https://scifaro.com/en/abs/the-f5-algorithm-in-buchberger-s-style-1006.52992010-12-30 https://scifaro.com/en/abs/a-unified-formal-description-of-arithmetic-and-set-theoretical-data-types-1006.57682010-07-01 https://scifaro.com/en/abs/from-matrix-interpretations-over-the-rationals-to-matrix-interpretations-over-the-naturals-1007.01432010-07-02 https://scifaro.com/en/abs/connecting-gr-obner-bases-programs-with-coq-to-do-proofs-in-algebra-geometry-and-arithmetics-1007.36152010-07-22 https://scifaro.com/en/abs/bit-size-estimates-for-triangular-sets-in-positive-dimension-1008.34592010-11-24 https://scifaro.com/en/abs/pattern-classification-in-symbolic-streams-via-semantic-annihilation-of-information-1008.36672010-08-24 https://scifaro.com/en/abs/computing-sparse-multiples-of-polynomials-1009.32142011-01-04 https://scifaro.com/en/abs/improved-complexity-bounds-for-real-root-isolation-using-continued-fractions-1010.17642011-04-27 https://scifaro.com/en/abs/detecting-simultaneous-integer-relations-for-several-real-vectors-1010.19822010-10-12 https://scifaro.com/en/abs/improved-complexity-bounds-for-real-root-isolation-using-continued-fractions-1010.20062011-06-08 https://scifaro.com/en/abs/a-recombination-algorithm-for-the-decomposition-of-multivariate-rational-functions-1011.09722014-02-26 https://scifaro.com/en/abs/the-z-transform-and-automata-recognizable-systems-of-nonhomogeneous-linear-recurrence-equations-over-semirings-1011.15782010-11-09 https://scifaro.com/en/abs/zero-decomposition-with-multiplicity-of-zero-dimensional-polynomial-systems-1011.16342015-03-17 https://scifaro.com/en/abs/a-new-algorithm-for-inverting-general-cyclic-heptadiagonal-matrices-recursively-1011.23062015-03-17 https://scifaro.com/en/abs/a-symbolic-summation-approach-to-feynman-integral-calculus-1011.26562012-05-31 https://scifaro.com/en/abs/on-the-inverse-of-general-cyclic-heptadiagonal-and-anti-heptadiagonal-matrices-1011.37212015-03-17 https://scifaro.com/en/abs/efficient-characteristic-set-algorithms-for-equation-solving-in-finite-fields-and-applications-in-cryptanalysis-1011.65052010-12-01 https://scifaro.com/en/abs/isomorphisms-of-algebraic-number-fields-1012.00962010-12-03 https://scifaro.com/en/abs/th-eorie-de-galois-effective-aide-m-emoire-1012.34422010-12-16 https://scifaro.com/en/abs/unification-modulo-a-partial-theory-of-exponentiation-1012.48912010-12-23 https://scifaro.com/en/abs/on-the-complexity-of-the-tiden-arnborg-algorithm-for-unification-modulo-one-sided-distributivity-1012.48942010-12-23 https://scifaro.com/en/abs/computing-differential-equations-for-integrals-associated-to-smooth-fano-polytopes-1012.53532010-12-27 https://scifaro.com/en/abs/a-new-conception-for-computing-gr-o-bner-basis-and-its-applications-1012.54252010-12-30 https://scifaro.com/en/abs/on-the-engineers-new-toolbox-or-analog-circuit-design-using-symbolic-analysis-computer-algebra-and-elementary-network-transformations-1101.02702011-01-04 https://scifaro.com/en/abs/a-refined-denominator-bounding-algorithm-for-multivariate-linear-difference-equations-1101.28032011-01-17 https://scifaro.com/en/abs/deflation-and-certified-isolation-of-singular-zeros-of-polynomial-systems-1101.31402011-01-18 https://scifaro.com/en/abs/a-symbolic-transformation-language-and-its-application-to-a-multiscale-method-1101.32182015-03-17 https://scifaro.com/en/abs/a-generalized-criterion-for-signature-related-gr-obner-basis-algorithms-1101.33822011-02-22 https://scifaro.com/en/abs/multiplicity-preserving-triangular-set-decomposition-of-two-polynomials-1101.36032011-01-20 https://scifaro.com/en/abs/diversification-improves-interpolation-1101.36822011-04-05 https://scifaro.com/en/abs/univariate-real-root-isolation-in-an-extension-field-1101.43692011-05-10 https://scifaro.com/en/abs/computing-semi-algebraic-invariants-for-polynomial-dynamical-systems-1102.07052011-07-22 https://scifaro.com/en/abs/generalized-companion-matrix-for-approximate-gcd-1102.18092017-01-08 https://scifaro.com/en/abs/root-isolation-of-zero-dimensional-polynomial-systems-with-linear-univariate-representation-1102.46812011-02-24 https://scifaro.com/en/abs/arrangement-computation-for-planar-algebraic-curves-1103.46972011-03-25 https://scifaro.com/en/abs/algorithms-for-computing-triangular-decompositions-of-polynomial-systems-1104.06892011-04-06 https://scifaro.com/en/abs/quantifier-elimination-over-finite-fields-using-gr-obner-bases-1104.07462018-05-01 https://scifaro.com/en/abs/root-refinement-for-real-polynomials-1104.13622015-03-19 https://scifaro.com/en/abs/a-worst-case-bound-for-topology-computation-of-algebraic-curves-1104.15102015-03-19 https://scifaro.com/en/abs/effective-partitioning-method-for-computing-weighted-moore-penrose-inverse-1104.16902011-04-12 https://scifaro.com/en/abs/symbolic-computation-of-weighted-moore-penrose-inverse-using-partitioning-method-1104.16962011-04-12 https://scifaro.com/en/abs/computing-generalized-inverses-using-lu-factorization-of-matrix-product-1104.16972011-04-12 https://scifaro.com/en/abs/about-the-generalized-lm-inverse-and-the-weighted-moore-penrose-inverse-1104.16982011-04-12 https://scifaro.com/en/abs/methods-in-mathematica-for-solving-ordinary-differential-equations-1104.40252011-04-21 https://scifaro.com/en/abs/symbolic-computation-of-recursion-operators-for-nonlinear-differential-difference-equations-1104.40262011-04-21 https://scifaro.com/en/abs/on-the-complexity-of-solving-a-bivariate-polynomial-system-1104.49542015-03-19 https://scifaro.com/en/abs/explicit-formula-for-the-generating-series-of-diagonal-3d-rook-paths-1105.44562011-10-03 https://scifaro.com/en/abs/symbolic-manipulation-constructions-of-hilbert-space-metrics-in-quantum-mechanics-1105.45252011-05-24 https://scifaro.com/en/abs/a-note-on-solving-parametric-polynomial-systems-1105.46822015-03-19 https://scifaro.com/en/abs/a-generalized-criterion-for-signature-based-algorithms-to-compute-gr-obner-bases-1106.49182011-06-27 https://scifaro.com/en/abs/on-consensus-under-polynomial-protocols-1107.35842011-07-20 https://scifaro.com/en/abs/on-two-generated-non-commutative-algebras-subject-to-the-affine-relation-1108.11082011-08-05 https://scifaro.com/en/abs/solving-detachability-problem-for-the-polynomial-ring-by-signature-based-groebner-basis-algorithms-1108.13012011-08-08 https://scifaro.com/en/abs/a-new-algorithmic-scheme-for-computing-characteristic-sets-1108.14862011-08-09 https://scifaro.com/en/abs/a-new-general-purpose-method-to-multiply-3x3-matrices-using-only-23-multiplications-1108.28302011-08-22 https://scifaro.com/en/abs/the-parametric-solution-of-underdetermined-linear-odes-1108.44872011-08-24 https://scifaro.com/en/abs/trading-order-for-degree-in-creative-telescoping-1108.45082012-02-01 https://scifaro.com/en/abs/a-fast-algorithm-for-reversion-of-power-series-1108.47722013-12-03 https://scifaro.com/en/abs/algorithms-for-integrals-of-holonomic-functions-over-domains-defined-by-polynomial-inequalities-1108.48532016-04-05 https://scifaro.com/en/abs/an-oracle-based-output-sensitive-algorithm-for-projections-of-resultant-polytopes-1108.59852013-04-26 https://scifaro.com/en/abs/a-majorization-order-on-monomials-and-termination-of-a-successive-difference-substitution-algorithm-1109.06862014-05-19 https://scifaro.com/en/abs/solving-large-linear-algebraic-systems-in-the-context-of-integrable-non-abelian-laurent-odes-1109.27852011-09-14 https://scifaro.com/en/abs/on-kahan-s-rules-for-determining-branch-cuts-1109.28092013-06-19 https://scifaro.com/en/abs/computing-the-hermite-form-of-a-matrix-of-ore-polynomials-1109.36562012-11-01 https://scifaro.com/en/abs/on-the-complexity-of-computing-with-zero-dimensional-triangular-sets-1109.43232011-09-21 https://scifaro.com/en/abs/when-newton-meets-descartes-a-simple-and-fast-algorithm-to-isolate-the-real-roots-of-a-polynomial-1109.62792011-09-29 https://scifaro.com/en/abs/asymptotic-methods-of-odes-exploring-singularities-of-the-second-kind-1110.22632011-10-12 https://scifaro.com/en/abs/structure-of-lexicographic-groebner-bases-in-three-variables-of-ideals-of-dimension-zero-1110.31852011-10-17 https://scifaro.com/en/abs/implementing-an-automatic-differentiator-in-acl2-1110.46742011-10-24 https://scifaro.com/en/abs/improvement-of-barreto-voloch-algorithm-for-computing-r-th-roots-over-finite-fields-1110.48012011-10-24 https://scifaro.com/en/abs/stability-of-triangular-decomposition-and-comprehensive-triangular-decomposition-1110.62752012-08-31 https://scifaro.com/en/abs/generating-loop-invariants-by-computing-vanishing-ideals-of-sample-points-1111.07322015-03-19 https://scifaro.com/en/abs/sparse-differential-resultant-for-laurent-differential-polynomials-1111.10842012-06-19 https://scifaro.com/en/abs/adleman-manders-miller-root-extraction-method-revisited-1111.48772011-11-22 https://scifaro.com/en/abs/advanced-computer-algebra-for-determinants-1112.06472013-08-19 https://scifaro.com/en/abs/note-on-fast-division-algorithm-for-polynomials-using-newton-iteration-1112.40142011-12-20 https://scifaro.com/en/abs/on-the-complexity-of-the-generalized-minrank-problem-1112.44112015-03-19 https://scifaro.com/en/abs/abstracting-path-conditions-for-effective-symbolic-execution-1112.47032011-12-21 https://scifaro.com/en/abs/on-the-complexity-of-solving-quadratic-boolean-systems-1112.62632015-03-19 https://scifaro.com/en/abs/computational-tutorial-on-gr-obner-bases-embedding-sage-in-latex-with-sagetex-1201.11772012-01-06 https://scifaro.com/en/abs/telescopers-for-rational-and-algebraic-functions-via-residues-1201.19542012-01-12 https://scifaro.com/en/abs/order-degree-curves-for-hypergeometric-creative-telescoping-1201.19822012-01-11 https://scifaro.com/en/abs/an-algorithm-to-compute-the-differential-equations-for-the-logarithm-of-a-polynomial-1201.31982016-04-05 https://scifaro.com/en/abs/computing-puiseux-series-for-algebraic-surfaces-1201.34012012-05-07 https://scifaro.com/en/abs/on-the-shape-of-curves-that-are-rational-in-polar-coordinates-1201.40502015-02-17 https://scifaro.com/en/abs/fast-computation-of-smith-forms-of-sparse-matrices-over-local-rings-1201.53652012-05-01 https://scifaro.com/en/abs/a-general-solver-based-on-sparse-resultants-1201.58102012-01-30 https://scifaro.com/en/abs/critical-points-and-gr-obner-bases-the-unmixed-case-1202.01792012-02-02 https://scifaro.com/en/abs/formalization-and-implementation-of-algebraic-methods-in-geometry-1202.48312012-02-23 https://scifaro.com/en/abs/on-the-asymptotic-and-practical-complexity-of-solving-bivariate-systems-over-the-reals-1203.10172012-03-06 https://scifaro.com/en/abs/an-algorithmic-characterization-of-polynomial-functions-over-z-p-n-1203.11222015-02-16 https://scifaro.com/en/abs/subtotal-ordering-a-pedagogically-advantageous-algorithm-for-computing-total-degree-reverse-lexicographic-order-1203.12952012-03-07 https://scifaro.com/en/abs/simplifying-products-of-fractional-powers-of-powers-1203.13502012-03-08 https://scifaro.com/en/abs/series-misdemeanors-1203.13572013-05-17 https://scifaro.com/en/abs/series-crimes-1203.58462016-10-05 https://scifaro.com/en/abs/form-version-4-0-1203.65432015-06-04 https://scifaro.com/en/abs/a-polynomial-time-algorithm-for-computing-the-hnf-of-a-module-over-the-integers-of-a-number-field-1204.12982012-04-06 https://scifaro.com/en/abs/computational-linear-algebra-over-finite-fields-1204.37352013-05-21 https://scifaro.com/en/abs/matrix-formula-of-differential-resultant-for-first-order-generic-ordinary-differential-polynomials-1204.37732012-04-18 https://scifaro.com/en/abs/change-of-bases-abstractions-for-non-linear-systems-1204.43472012-04-20 https://scifaro.com/en/abs/an-efficient-implementation-of-the-algorithm-computing-the-borel-fixed-points-of-a-hilbert-scheme-1205.04562012-05-03 https://scifaro.com/en/abs/fast-computation-of-common-left-multiples-of-linear-ordinary-differential-operators-1205.08792013-06-19 https://scifaro.com/en/abs/proving-inequalities-and-solving-global-optimization-problems-via-simplified-cad-projection-1205.12232013-08-06 https://scifaro.com/en/abs/faster-arithmetic-for-number-theoretic-transforms-1205.29262013-09-26 https://scifaro.com/en/abs/power-series-solutions-of-singular-q-differential-equations-1205.34142013-06-19 https://scifaro.com/en/abs/speeding-up-cylindrical-algebraic-decomposition-by-gr-obner-bases-1205.62852012-07-30 https://scifaro.com/en/abs/quasi-stability-versus-genericity-1205.66712012-05-31 https://scifaro.com/en/abs/comprehensive-involutive-systems-1206.01812012-06-18 https://scifaro.com/en/abs/first-steps-towards-radical-parametrization-of-algebraic-surfaces-1206.14562013-02-21 https://scifaro.com/en/abs/power-series-solution-to-non-linear-partial-differential-equations-of-mathematical-physics-1206.23462015-03-25 https://scifaro.com/en/abs/computation-of-difference-groebner-bases-1206.34632012-07-26 https://scifaro.com/en/abs/practical-groebner-basis-computation-1206.69402012-07-02 https://scifaro.com/en/abs/metric-problems-for-quadrics-in-multidimensional-space-1207.22432012-07-11 https://scifaro.com/en/abs/real-root-isolation-of-polynomial-equations-based-on-hybrid-computation-1207.30192012-10-17 https://scifaro.com/en/abs/on-lexicographic-groebner-bases-of-radical-ideals-in-dimension-zero-interpolation-and-structure-1207.38872021-09-30 https://scifaro.com/en/abs/improving-multivariate-horner-schemes-with-monte-carlo-tree-search-1207.70792015-06-05 https://scifaro.com/en/abs/generic-regular-decompositions-for-generic-zero-dimensional-systems-1208.61122013-01-17 https://scifaro.com/en/abs/logcf-an-efficient-tool-for-real-root-isolation-1209.35552012-09-18 https://scifaro.com/en/abs/a-note-on-the-space-complexity-of-fast-d-finite-function-evaluation-1209.50972012-09-25 https://scifaro.com/en/abs/a-proposal-to-first-principles-electronic-structure-calculation-symbolic-numeric-method-1209.51272013-02-26 https://scifaro.com/en/abs/on-newton-raphson-iteration-for-multiplicative-inverses-modulo-prime-powers-1209.66262019-04-22 https://scifaro.com/en/abs/advanced-computer-algebra-algorithms-for-the-expansion-of-feynman-integrals-1210.16852012-10-08 https://scifaro.com/en/abs/symbolic-analysis-for-boundary-problems-from-rewriting-to-parametrized-gr-obner-bases-1210.29502012-10-11 https://scifaro.com/en/abs/regular-and-singular-boundary-problems-in-maple-1210.29512012-10-11 https://scifaro.com/en/abs/a-new-recursive-algorithm-for-inverting-a-general-comrade-matrix-1210.46622012-10-18 https://scifaro.com/en/abs/a-new-truncated-fourier-transform-algorithm-1210.49602013-01-30 https://scifaro.com/en/abs/an-incremental-algorithm-for-computing-cylindrical-algebraic-decompositions-1210.55432012-10-23 https://scifaro.com/en/abs/on-the-existence-of-telescopers-for-mixed-hypergeometric-terms-1211.24302012-11-14 https://scifaro.com/en/abs/how-to-compute-the-constant-term-of-a-power-of-a-laurent-polynomial-efficiently-1211.39592012-11-19 https://scifaro.com/en/abs/confusion-of-tagged-perturbations-in-forward-automatic-differentiation-of-higher-order-functions-1211.48922019-09-23 https://scifaro.com/en/abs/theano-new-features-and-speed-improvements-1211.55902012-11-26 https://scifaro.com/en/abs/sparse-difference-resultant-1212.30902013-09-25 https://scifaro.com/en/abs/multiple-precision-evaluation-of-the-airy-ai-function-with-reduced-cancellation-1212.47312013-04-30 https://scifaro.com/en/abs/program-verification-in-the-presence-of-complex-numbers-functions-with-branch-cuts-etc-1212.54172014-04-25 https://scifaro.com/en/abs/desingularization-explains-order-degree-curves-for-ore-operators-1301.09172013-01-08 https://scifaro.com/en/abs/finding-hyperexponential-solutions-of-linear-odes-by-numerical-evaluation-1301.24862013-01-14 https://scifaro.com/en/abs/generic-regular-decompositions-for-parametric-polynomial-systems-1301.39912013-01-18 https://scifaro.com/en/abs/creative-telescoping-for-rational-functions-using-the-griffiths-dwork-method-1301.43132023-06-12 https://scifaro.com/en/abs/from-approximate-factorization-to-root-isolation-with-application-to-cylindrical-algebraic-decomposition-1301.48702014-01-24 https://scifaro.com/en/abs/closed-form-solutions-of-linear-difference-equations-in-terms-of-symmetric-products-1301.49832013-01-22 https://scifaro.com/en/abs/hermite-reduction-and-creative-telescoping-for-hyperexponential-functions-1301.50382013-01-23 https://scifaro.com/en/abs/complexity-of-creative-telescoping-for-bivariate-rational-functions-1301.50452013-01-23 https://scifaro.com/en/abs/on-the-structure-of-compatible-rational-functions-1301.50462013-01-24 https://scifaro.com/en/abs/complexity-estimates-for-two-uncoupling-algorithms-1301.54142013-04-24 https://scifaro.com/en/abs/on-the-complexity-of-computing-gr-obner-bases-for-quasi-homogeneous-systems-1301.56122013-05-07 https://scifaro.com/en/abs/superfast-solution-of-toeplitz-systems-based-on-syzygy-reduction-1301.57982013-01-25 https://scifaro.com/en/abs/a-simple-and-fast-algorithm-for-computing-exponentials-of-power-series-1301.58042013-01-25 https://scifaro.com/en/abs/fast-algorithms-for-ell-adic-towers-over-finite-fields-1301.60212020-01-07 https://scifaro.com/en/abs/introduction-to-redberry-a-computer-algebra-system-designed-for-tensor-manipulation-1302.12192015-01-07 https://scifaro.com/en/abs/representation-simplification-and-display-of-fractional-powers-of-rational-numbers-in-computer-algebra-1302.21692013-02-12 https://scifaro.com/en/abs/computer-aided-derivation-of-multi-scale-models-a-rewriting-framework-1302.22242013-02-12 https://scifaro.com/en/abs/an-algorithm-for-computing-the-limit-points-of-the-quasi-component-of-a-regular-chain-1302.46882013-02-20 https://scifaro.com/en/abs/factorization-of-z-homogeneous-polynomials-in-the-first-q-weyl-algebra-1302.56742016-02-19 https://scifaro.com/en/abs/exact-safety-verification-of-interval-hybrid-systems-based-on-symbolic-numeric-computation-1302.59742013-02-26 https://scifaro.com/en/abs/proceedings-7th-international-workshop-on-computing-with-terms-and-graphs-1302.59972013-02-26 https://scifaro.com/en/abs/an-implementation-of-cad-in-maple-utilising-mccallum-projection-1302.64012013-02-27 https://scifaro.com/en/abs/normalization-of-polynomials-in-algebraic-invariants-of-three-dimensional-orthogonal-geometry-1302.71942013-03-01 https://scifaro.com/en/abs/domain-of-attraction-estimation-for-uncertain-non-polynomial-systems-1303.04522015-06-15 https://scifaro.com/en/abs/new-symbolic-algorithms-for-solving-a-general-bordered-tridiagonal-linear-system-1303.07382013-03-05 https://scifaro.com/en/abs/separating-linear-forms-for-bivariate-systems-1303.50412014-01-21 https://scifaro.com/en/abs/rational-univariate-representations-of-bivariate-systems-and-applications-1303.50422013-11-26 https://scifaro.com/en/abs/highly-scalable-multiplication-for-distributed-sparse-multivariate-polynomials-on-many-core-systems-1303.74252013-04-01 https://scifaro.com/en/abs/sparse-fglm-algorithms-1304.12382017-03-01 https://scifaro.com/en/abs/a-probabilistic-algorithm-to-compute-the-real-dimension-of-a-semi-algebraic-set-1304.19282013-09-20 https://scifaro.com/en/abs/faster-sparse-interpolation-of-straight-line-programs-1304.34832014-01-24 https://scifaro.com/en/abs/simplifying-multiple-sums-in-difference-fields-1304.41342013-04-17 https://scifaro.com/en/abs/efficient-calculation-of-determinants-of-symbolic-matrices-with-many-variables-1304.46912013-04-18 https://scifaro.com/en/abs/intrinsic-complexity-estimates-in-polynomial-optimization-1304.52142014-02-11 https://scifaro.com/en/abs/polynomial-systems-solving-by-fast-linear-algebra-1304.60392013-07-16 https://scifaro.com/en/abs/reduced-gr-obner-bases-and-macaulay-buchberger-basis-theorem-over-noetherian-rings-1304.68892016-04-05 https://scifaro.com/en/abs/optimising-problem-formulation-for-cylindrical-algebraic-decomposition-1304.72222013-07-10 https://scifaro.com/en/abs/a-symbolic-approach-to-boundary-problems-for-linear-partial-differential-equations-applications-to-the-completely-reducible-case-of-the-cauchy-problem-with-constant-coefficients-1304.73802013-04-30 https://scifaro.com/en/abs/cylindrical-algebraic-decompositions-for-boolean-combinations-1304.76032013-07-10 https://scifaro.com/en/abs/generalization-of-risch-s-algorithm-to-special-functions-1305.14812013-05-08 https://scifaro.com/en/abs/characterization-of-rational-ruled-surfaces-1305.24622014-10-28 https://scifaro.com/en/abs/determination-and-re-parametrization-of-rational-developable-surfaces-1305.24632013-05-14 https://scifaro.com/en/abs/a-computer-algebra-user-interface-manifesto-1305.32152016-11-26 https://scifaro.com/en/abs/computer-assisted-proofs-of-some-identities-for-bessel-functions-of-fractional-order-1305.48182013-07-22 https://scifaro.com/en/abs/an-implementation-of-cad-in-maple-utilising-problem-formulation-equational-constraints-and-truth-table-invariance-1306.30622013-06-14 https://scifaro.com/en/abs/deciding-nonnegativity-of-polynomials-by-maple-1306.40592013-06-19 https://scifaro.com/en/abs/ore-polynomials-in-sage-1306.42632013-06-19 https://scifaro.com/en/abs/software-for-evaluating-relevance-of-steps-in-algebraic-transformations-1306.67492013-07-01 https://scifaro.com/en/abs/certification-of-bounds-of-non-linear-functions-the-templates-method-1307.32312014-04-18 https://scifaro.com/en/abs/creative-telescoping-for-holonomic-functions-1307.45542013-07-18 https://scifaro.com/en/abs/polynomial-time-algorithms-for-quadratic-isomorphism-of-polynomials-the-regular-case-1307.49742016-08-11 https://scifaro.com/en/abs/fast-polynomial-evaluation-and-composition-1307.56552013-07-29 https://scifaro.com/en/abs/a-nearly-optimal-algorithm-for-deciding-connectivity-queries-in-smooth-and-bounded-real-algebraic-sets-1307.78362016-10-28 https://scifaro.com/en/abs/fast-algorithms-for-refined-parameterized-telescoping-in-difference-fields-1307.78872013-12-31 https://scifaro.com/en/abs/proceedings-fourth-international-symposium-on-symbolic-computation-in-software-science-1307.80292013-07-31 https://scifaro.com/en/abs/probabilistic-algorithm-for-polynomial-optimization-over-a-real-algebraic-set-1307.82812014-05-08 https://scifaro.com/en/abs/signature-based-gr-obner-basis-algorithms-extended-mmm-algorithm-for-computing-gr-obner-bases-1308.23712013-08-13 https://scifaro.com/en/abs/xtras-a-field-theory-inspired-xact-package-for-mathematica-1308.34932014-05-22 https://scifaro.com/en/abs/computing-real-roots-of-real-polynomials-1308.40882015-03-12 https://scifaro.com/en/abs/computing-equilibria-of-semi-algebraic-economies-using-triangular-decomposition-and-real-solution-classification-1308.50292013-08-26 https://scifaro.com/en/abs/branch-cuts-in-maple-17-1308.65232014-07-15 https://scifaro.com/en/abs/on-the-complexity-of-computing-critical-points-with-gr-obner-bases-1309.21382014-05-26 https://scifaro.com/en/abs/rigorous-high-precision-computation-of-the-hurwitz-zeta-function-and-its-derivatives-1309.28772013-09-12 https://scifaro.com/en/abs/a-probabilistic-and-deterministic-modular-algorithm-for-computing-groebner-basis-over-q-1309.40442013-11-19 https://scifaro.com/en/abs/introduction-to-the-symbolic-integration-system-1309.66552013-09-27 https://scifaro.com/en/abs/modern-summation-methods-for-loop-integrals-in-quantum-field-theory-the-packages-sigma-evaluatemultisums-and-sumproduction-1310.01602015-06-17 https://scifaro.com/en/abs/on-the-parameterized-complexity-of-associative-and-commutative-unification-1310.09192013-10-04 https://scifaro.com/en/abs/middle-solving-f4-to-compute-grobner-bases-for-cryptanalysis-over-gf-2-1310.23322013-10-10 https://scifaro.com/en/abs/efficient-algorithms-for-computing-rational-first-integrals-and-darboux-polynomials-of-planar-polynomial-vector-fields-1310.27782013-10-11 https://scifaro.com/en/abs/evaluating-parametric-holonomic-sequences-using-rectangular-splitting-1310.37412013-10-15 https://scifaro.com/en/abs/a-polyhedral-method-to-compute-all-affine-solution-sets-of-sparse-polynomial-systems-1310.41282013-10-16 https://scifaro.com/en/abs/symbolicdata-sdeval-benchmarking-for-everyone-1310.55512013-10-22 https://scifaro.com/en/abs/code-optimization-in-form-1310.70072013-10-28 https://scifaro.com/en/abs/composing-and-factoring-generalized-green-s-operators-and-ordinary-boundary-problems-1310.84552014-06-27 https://scifaro.com/en/abs/on-the-length-of-integers-in-telescopers-for-proper-hypergeometric-terms-1311.37202014-02-25 https://scifaro.com/en/abs/computing-the-multilinear-factors-of-lacunary-polynomials-without-heights-1311.56942020-04-22 https://scifaro.com/en/abs/analyzing-the-dual-space-of-the-saturated-ideal-of-a-regular-set-and-the-local-multiplicities-of-its-zeros-1311.68972021-03-08 https://scifaro.com/en/abs/comprehensive-border-bases-for-zero-dimensional-parametric-polynomial-ideals-1312.04532013-12-31 https://scifaro.com/en/abs/a-generic-position-based-method-for-real-root-isolation-of-zero-dimensional-polynomial-systems-1312.04622013-12-03 https://scifaro.com/en/abs/on-the-complexity-of-the-f5-gr-obner-basis-algorithm-1312.16552014-07-18 https://scifaro.com/en/abs/special-algorithm-for-stability-analysis-of-multistable-biological-regulatory-systems-1312.17802013-12-30 https://scifaro.com/en/abs/misfortunes-of-a-mathematicians-trio-using-computer-algebra-systems-can-we-trust-1312.32702025-01-03 https://scifaro.com/en/abs/hrushovski-s-algorithm-for-computing-the-galois-group-of-a-linear-differential-equation-1312.50292015-03-10 https://scifaro.com/en/abs/truth-table-invariant-cylindrical-algebraic-decomposition-1401.06452016-02-23 https://scifaro.com/en/abs/cylindrical-algebraic-sub-decompositions-1401.06472014-06-27 https://scifaro.com/en/abs/essentially-optimal-interactive-certificates-in-linear-algebra-1401.45672020-01-09 https://scifaro.com/en/abs/parallel-telescoping-and-parameterized-picard-vessiot-theory-1401.46662014-01-21 https://scifaro.com/en/abs/computing-low-degree-factors-of-lacunary-polynomials-a-newton-puiseux-approach-1401.47202014-07-11 https://scifaro.com/en/abs/sparse-interpolation-over-finite-fields-via-low-order-roots-of-unity-1401.47442014-05-05 https://scifaro.com/en/abs/constructing-fewer-open-cells-by-gcd-computation-in-cad-projection-1401.49532014-05-20 https://scifaro.com/en/abs/over-constrained-weierstrass-iteration-and-the-nearest-consistent-system-1401.50862014-01-22 https://scifaro.com/en/abs/on-the-complexity-of-computing-with-planar-algebraic-curves-1401.56902014-08-01 https://scifaro.com/en/abs/truth-table-invariant-cylindrical-algebraic-decomposition-by-regular-chains-1401.63102014-09-04 https://scifaro.com/en/abs/multivariate-sparse-interpolation-using-randomized-kronecker-substitutions-1401.66942014-05-05 https://scifaro.com/en/abs/divide-and-conquer-computation-of-cylindrical-algebraic-decomposition-1402.06222014-02-05 https://scifaro.com/en/abs/a-generalized-apagodu-zeilberger-algorithm-1402.24092014-08-05 https://scifaro.com/en/abs/parallel-computation-of-echelon-forms-1402.35012014-02-17 https://scifaro.com/en/abs/tensor-computations-in-computer-algebra-systems-1402.66352014-02-27 https://scifaro.com/en/abs/matrix-f5-algorithms-and-tropical-gr-obner-bases-computation-1402.66752015-09-30 https://scifaro.com/en/abs/sparse-gr-obner-bases-the-unmixed-case-1402.72052014-06-26 https://scifaro.com/en/abs/sparse-polynomial-interpolation-codes-and-their-decoding-beyond-half-the-minimal-distance-1403.35942014-06-19 https://scifaro.com/en/abs/a-short-note-on-zero-error-computation-for-algebraic-numbers-by-ipslq-1403.40262014-03-18 https://scifaro.com/en/abs/matrix-f5-algorithms-over-finite-precision-complete-discrete-valuation-fields-1403.54642015-09-28 https://scifaro.com/en/abs/model-based-construction-of-open-non-uniform-cylindrical-algebraic-decompositions-1403.64872014-03-27 https://scifaro.com/en/abs/procesamiento-topo-geom-etrico-de-im-agenes-neuronales-1403.67192014-03-27 https://scifaro.com/en/abs/proceedings-1st-international-workshop-on-synthesis-of-continuous-parameters-1403.78412014-04-09 https://scifaro.com/en/abs/factoring-differential-operators-in-n-variables-1404.00022014-04-02 https://scifaro.com/en/abs/an-improvement-over-the-gvw-algorithm-for-inhomogeneous-polynomial-systems-1404.14282014-04-16 https://scifaro.com/en/abs/the-secant-newton-map-is-optimal-among-contracting-n-th-degree-maps-for-n-th-root-computation-1404.23712014-04-10 https://scifaro.com/en/abs/nearly-optimal-computations-with-structured-matrices-1404.47682014-04-21 https://scifaro.com/en/abs/accelerated-approximation-of-the-complex-roots-of-a-univariate-polynomial-extended-abstract-1404.47752014-04-21 https://scifaro.com/en/abs/computing-periods-of-rational-integrals-1404.50692023-06-12 https://scifaro.com/en/abs/applying-machine-learning-to-the-problem-of-choosing-a-heuristic-to-select-the-variable-ordering-for-cylindrical-algebraic-decomposition-1404.63692014-07-15 https://scifaro.com/en/abs/problem-formulation-for-truth-table-invariant-cylindrical-algebraic-decomposition-by-incremental-triangular-decomposition-1404.63712014-07-15 https://scifaro.com/en/abs/computing-all-affine-solution-sets-of-binomial-systems-1405.03202014-05-05 https://scifaro.com/en/abs/border-bases-for-polynomial-rings-over-noetherian-rings-1405.04722017-02-03 https://scifaro.com/en/abs/formulating-problems-for-real-algebraic-geometry-1405.34612014-06-26 https://scifaro.com/en/abs/on-the-efficiency-of-solving-boolean-polynomial-systems-with-the-characteristic-set-method-1405.45962019-11-12 https://scifaro.com/en/abs/una-metodolog-ia-para-realizar-diferenciaci-on-autom-atica-anidada-1405.47792014-05-20 https://scifaro.com/en/abs/cylindrical-algebraic-decomposition-using-local-projections-1405.49252014-05-21 https://scifaro.com/en/abs/a-fast-algorithm-for-computing-the-characteristic-polynomial-of-the-p-curvature-1405.53412014-05-22 https://scifaro.com/en/abs/computing-necessary-integrability-conditions-for-planar-parametrized-homogeneous-potentials-1405.53422014-05-22 https://scifaro.com/en/abs/diferenciaci-on-autom-atica-anidada-un-enfoque-algebraico-1405.58542014-05-23 https://scifaro.com/en/abs/a-comparison-of-three-heuristics-to-choose-the-variable-ordering-for-cad-1405.60822015-02-12 https://scifaro.com/en/abs/using-the-regular-chains-library-to-build-cylindrical-algebraic-decompositions-by-projecting-and-lifting-1405.60902014-08-28 https://scifaro.com/en/abs/choosing-a-variable-ordering-for-truth-table-invariant-cylindrical-algebraic-decomposition-by-incremental-triangular-decomposition-1405.60942014-08-28 https://scifaro.com/en/abs/on-the-design-of-an-expert-help-system-for-computer-algebra-systems-1405.68852014-05-30 https://scifaro.com/en/abs/hierarchical-comprehensive-triangular-decomposition-1406.05992014-06-04 https://scifaro.com/en/abs/computing-gcrds-of-approximate-differential-polynomials-1406.09072014-07-25 https://scifaro.com/en/abs/solving-the-isomorphism-of-polynomials-with-two-secrets-problem-for-all-pairs-of-quadratic-forms-1406.31632014-12-23 https://scifaro.com/en/abs/gr-obner-bases-for-linearized-polynomials-1406.46002014-06-19 https://scifaro.com/en/abs/strongly-stable-ideals-and-hilbert-polynomials-1406.69242019-10-16 https://scifaro.com/en/abs/recent-symbolic-summation-methods-to-solve-coupled-systems-of-differential-and-difference-equations-1407.25372014-07-11 https://scifaro.com/en/abs/determining-surfaces-of-revolution-from-their-implicit-equations-1407.27232014-07-11 https://scifaro.com/en/abs/rigorous-uniform-approximation-of-d-finite-functions-using-chebyshev-expansions-1407.28022014-07-11 https://scifaro.com/en/abs/the-package-harmonicsums-computer-algebra-and-analytic-aspects-of-nested-sums-1407.61802014-07-24 https://scifaro.com/en/abs/an-algorithm-for-deciding-the-summability-of-bivariate-rational-functions-1408.24732014-08-12 https://scifaro.com/en/abs/certifying-solutions-to-overdetermined-and-singular-polynomial-systems-over-q-1408.27212014-08-13 https://scifaro.com/en/abs/a-difference-ring-theory-for-symbolic-summation-1408.27762015-02-04 https://scifaro.com/en/abs/solving-polynomial-equations-with-equation-constraints-the-zero-dimensional-case-1408.36392014-08-19 https://scifaro.com/en/abs/computing-multiplicative-order-and-primitive-root-in-finite-cyclic-group-1408.49422014-10-07 https://scifaro.com/en/abs/desingularization-of-ore-operators-1408.55122014-08-26 https://scifaro.com/en/abs/bounds-for-d-finite-closure-properties-1408.55142014-08-26 https://scifaro.com/en/abs/computing-the-determinant-of-a-matrix-with-polynomial-entries-by-approximation-1408.58792015-04-14 https://scifaro.com/en/abs/using-the-distribution-of-cells-by-dimension-in-a-cylindrical-algebraic-decomposition-1409.17812015-02-13 https://scifaro.com/en/abs/fast-and-deterministic-computation-of-the-determinant-of-a-polynomial-matrix-1409.54622014-09-22 https://scifaro.com/en/abs/on-ideal-lattices-and-gr-obner-bases-1409.77882017-10-10 https://scifaro.com/en/abs/a-monomial-oriented-gvw-for-computing-gr-obner-bases-1410.01052014-10-02 https://scifaro.com/en/abs/on-ideal-lattices-gr-obner-bases-and-generalized-hash-functions-1410.20112017-10-10 https://scifaro.com/en/abs/recognizing-implicitly-given-rational-canal-surfaces-1410.36282014-10-15 https://scifaro.com/en/abs/gr-obner-bases-and-nullstellens-atze-for-graph-coloring-ideals-1410.68062014-10-28 https://scifaro.com/en/abs/exploiting-chordal-structure-in-polynomial-ideals-a-gr-obner-bases-approach-1411.17452017-01-03 https://scifaro.com/en/abs/a-canonical-form-for-the-continuous-piecewise-polynomial-functions-1411.69192014-11-26 https://scifaro.com/en/abs/a-streamlined-difference-ring-theory-indefinite-nested-sums-the-alternating-sign-and-the-parameterized-telescoping-problem-1412.27822015-03-24 https://scifaro.com/en/abs/bounded-degree-factors-of-lacunary-multivariate-polynomials-1412.35702016-02-01 https://scifaro.com/en/abs/faster-sparse-multivariate-polynomial-interpolation-of-straight-line-programs-1412.40882014-12-16 https://scifaro.com/en/abs/a-successive-resultant-projection-for-cylindrical-algebraic-decomposition-1412.48612014-12-17 https://scifaro.com/en/abs/probabilistic-analysis-of-wiedemann-s-algorithm-for-minimal-polynomial-computation-1412.50712015-06-18 https://scifaro.com/en/abs/real-root-finding-for-determinants-of-linear-matrices-1412.58732014-12-19 https://scifaro.com/en/abs/generalization-of-gabidulin-codes-over-fields-of-rational-functions-1412.60802014-12-19 https://scifaro.com/en/abs/on-the-complexity-of-computing-gr-obner-bases-for-weighted-homogeneous-systems-1412.75472015-12-22 https://scifaro.com/en/abs/data-discriminants-of-likelihood-equations-1501.003342015-05-07 https://scifaro.com/en/abs/integral-d-finite-functions-1501.036912015-07-01 https://scifaro.com/en/abs/improving-the-use-of-equational-constraints-in-cylindrical-algebraic-decomposition-1501.044662015-07-20 https://scifaro.com/en/abs/a-modified-abramov-petkovsek-reduction-and-creative-telescoping-for-hypergeometric-terms-1501.046682015-06-11 https://scifaro.com/en/abs/subtropical-real-root-finding-1501.048362018-04-30 https://scifaro.com/en/abs/better-answers-to-real-questions-1501.050982018-04-27 https://scifaro.com/en/abs/computing-the-rank-profile-matrix-1501.052392015-08-21 https://scifaro.com/en/abs/output-sensitive-algorithms-for-sumset-and-sparse-polynomial-multiplication-1501.052962015-04-27 https://scifaro.com/en/abs/numerically-safe-gaussian-elimination-with-no-pivoting-1501.053852017-04-19 https://scifaro.com/en/abs/real-polynomial-root-finding-by-means-of-matrix-and-polynomial-iterations-1501.053902017-04-14 https://scifaro.com/en/abs/accelerated-approximation-of-the-complex-roots-and-factors-of-a-univariate-polynomial-1501.053922016-11-10 https://scifaro.com/en/abs/a-generalized-framework-for-virtual-substitution-1501.058262015-01-26 https://scifaro.com/en/abs/real-root-finding-for-rank-defects-in-linear-hankel-matrices-1502.024732015-02-10 https://scifaro.com/en/abs/fast-integer-multiplication-using-generalized-fermat-primes-1502.028002018-04-18 https://scifaro.com/en/abs/extractions-computable-and-visible-analogues-of-localizations-for-polynomial-ideals-1502.039672015-02-16 https://scifaro.com/en/abs/planar-linkages-following-a-prescribed-motion-1502.056232016-10-19 https://scifaro.com/en/abs/automatic-differentiation-in-machine-learning-a-survey-1502.057672018-07-18 https://scifaro.com/en/abs/on-sequences-rational-functions-and-decomposition-1502.061522015-04-08 https://scifaro.com/en/abs/groebner-basis-in-boolean-rings-is-not-polynomial-space-1502.072202015-02-27 https://scifaro.com/en/abs/factorization-of-motion-polynomials-1502.076002015-02-27 https://scifaro.com/en/abs/tropical-differential-equations-1502.080102018-11-08 https://scifaro.com/en/abs/on-the-computation-of-the-galois-group-of-linear-difference-equations-1503.022392015-03-10 https://scifaro.com/en/abs/a-triangular-decomposition-algorithm-for-differential-polynomial-systems-with-elementary-computation-complexity-1503.043802015-03-17 https://scifaro.com/en/abs/polynomial-complexity-recognizing-a-tropical-linear-variety-1503.061262018-11-08 https://scifaro.com/en/abs/an-implementation-of-sub-cad-in-maple-1503.065992015-03-24 https://scifaro.com/en/abs/one-step-stochastic-processes-simulation-software-package-1503.073422015-03-26 https://scifaro.com/en/abs/index-reduction-of-differential-algebraic-equations-by-differential-algebraic-elimination-1504.049772015-04-21 https://scifaro.com/en/abs/recent-advances-in-real-geometric-reasoning-1504.064842015-08-03 https://scifaro.com/en/abs/pfaffian-systems-of-a-hypergeometric-systems-ii-holonomic-gradient-method-1505.029472015-05-13 https://scifaro.com/en/abs/symbolic-numeric-methods-for-improving-structural-analysis-of-differential-algebraic-equation-systems-1505.034452015-05-14 https://scifaro.com/en/abs/an-elimination-method-to-solve-interval-polynomial-systems-1506.024232015-06-09 https://scifaro.com/en/abs/parallel-sparse-interpolation-using-small-primes-1506.042152015-06-16 https://scifaro.com/en/abs/a-fast-algorithm-for-computing-the-p-curvature-1506.056452015-06-19 https://scifaro.com/en/abs/real-root-finding-for-low-rank-linear-matrices-1506.058972019-07-19 https://scifaro.com/en/abs/symbolic-derivation-of-mean-field-pdes-from-lattice-based-models-1506.085272016-03-22 https://scifaro.com/en/abs/interactive-certificate-for-the-verification-of-wiedemann-s-krylov-sequence-application-to-the-certification-of-the-determinant-the-minimal-and-the-characteristic-polynomials-of-sparse-matrices-1507.010832015-07-07 https://scifaro.com/en/abs/pure-transcendence-bases-in-phi-deformed-shuffle-bialgebras-1507.010892018-06-21 https://scifaro.com/en/abs/an-algorithm-for-computing-grobner-basis-and-the-complexity-evaluation-1507.032172015-07-14 https://scifaro.com/en/abs/open-weak-cad-and-its-applications-1507.038342019-03-28 https://scifaro.com/en/abs/formulas-for-continued-fractions-an-automated-guess-and-prove-approach-1507.042032015-07-16 https://scifaro.com/en/abs/algebraic-local-cohomology-with-parameters-and-parametric-standard-bases-for-zero-dimensional-ideals-1508.067242015-08-28 https://scifaro.com/en/abs/algebraic-independence-of-sequences-generated-by-cyclotomic-harmonic-sums-1510.036922017-04-25 https://scifaro.com/en/abs/algebraic-diagonals-and-walks-1510.040802015-10-15 https://scifaro.com/en/abs/algebraic-diagonals-and-walks-algorithms-bounds-complexity-1510.045262015-10-16 https://scifaro.com/en/abs/multiple-binomial-sums-1510.074872023-06-12 https://scifaro.com/en/abs/formal-solutions-of-completely-integrable-pfaffian-systems-with-normal-crossings-1511.001802016-10-06 https://scifaro.com/en/abs/improved-polynomial-remainder-sequences-for-ore-polynomials-1511.011282015-11-05 https://scifaro.com/en/abs/on-the-robust-hardness-of-gr-obner-basis-computation-1511.064362018-07-18 https://scifaro.com/en/abs/contraction-of-ore-ideals-with-applications-1511.079222016-02-01 https://scifaro.com/en/abs/computing-minimal-interpolation-bases-1512.035032016-06-14 https://scifaro.com/en/abs/a-probabilistic-algorithm-for-computing-data-discriminants-of-likelihood-equations-1512.039012016-06-13 https://scifaro.com/en/abs/fast-operations-on-linearized-polynomials-and-their-applications-in-coding-theory-1512.065202017-07-12 https://scifaro.com/en/abs/computing-chebyshev-knot-diagrams-1512.077662017-05-17 https://scifaro.com/en/abs/a-modular-algorithm-for-computing-polynomial-gcds-over-number-fields-presented-with-multiple-extensions-1601.010382016-01-07 https://scifaro.com/en/abs/a-polynomial-time-algorithm-to-compute-generalized-hermite-normal-form-of-matrices-over-z-x-1601.010672016-07-22 https://scifaro.com/en/abs/encoding-and-decoding-algorithms-for-arbitrary-dimensional-hilbert-order-1601.012742016-01-07 https://scifaro.com/en/abs/fast-computation-of-the-rank-profile-matrix-and-the-generalized-bruhat-decomposition-1601.017982018-05-16 https://scifaro.com/en/abs/a-toolbox-to-solve-coupled-systems-of-differential-and-difference-equations-1601.018562016-01-11 https://scifaro.com/en/abs/factorization-of-c-finite-sequences-1601.027562016-01-13 https://scifaro.com/en/abs/existence-problem-of-telescopers-beyond-the-bivariate-case-1601.030802016-01-14 https://scifaro.com/en/abs/on-p-adic-differential-equations-with-separation-of-variables-1602.002442023-06-12 https://scifaro.com/en/abs/reduction-based-creative-telescoping-for-algebraic-functions-1602.004242016-02-02 https://scifaro.com/en/abs/holonomic-tools-for-basic-hypergeometric-functions-1602.004542016-02-02 https://scifaro.com/en/abs/fast-computation-of-the-nth-term-of-an-algebraic-series-over-a-finite-prime-field-1602.005452016-05-19 https://scifaro.com/en/abs/fast-computation-of-minimal-interpolation-bases-in-popov-form-for-arbitrary-shifts-1602.006512016-05-16 https://scifaro.com/en/abs/fast-computation-of-shifted-popov-forms-of-polynomial-matrices-via-systems-of-modular-polynomial-equations-1602.007102016-05-13 https://scifaro.com/en/abs/linear-time-interactive-certificates-for-the-minimal-polynomial-and-the-determinant-of-a-sparse-matrix-1602.008102019-12-03 https://scifaro.com/en/abs/algorithms-for-simultaneous-pad-e-approximations-1602.008362016-05-24 https://scifaro.com/en/abs/on-the-p-adic-stability-of-the-fglm-algorithm-1602.008482016-02-03 https://scifaro.com/en/abs/computing-with-quasiseparable-matrices-1602.012462016-09-20 https://scifaro.com/en/abs/inverse-inequality-estimates-with-symbolic-computation-1602.013042016-06-21 https://scifaro.com/en/abs/a-fast-deterministic-algorithm-for-computing-a-hermite-normal-form-of-a-polynomial-matrix-1602.020492016-02-08 https://scifaro.com/en/abs/on-gr-obner-bases-and-krull-dimension-of-residue-class-rings-of-polynomial-rings-over-integral-domains-1602.043002017-10-10 https://scifaro.com/en/abs/mathematical-theory-exploration-in-theorema-reduction-rings-1602.043392016-07-22 https://scifaro.com/en/abs/an-illustrated-introduction-to-the-truncated-fourier-transform-1602.045622016-02-18 https://scifaro.com/en/abs/gbla-gr-obner-basis-linear-algebra-package-1602.060972016-02-22 https://scifaro.com/en/abs/finding-best-possible-constant-for-a-polynomial-inequality-1603.013382016-03-07 https://scifaro.com/en/abs/matrix-factoring-by-fraction-free-reduction-1603.035652016-03-14 https://scifaro.com/en/abs/binomial-difference-ideals-1603.039872016-03-15 https://scifaro.com/en/abs/summation-theory-ii-characterizations-of-boldsymbol-r-pi-sigma-extensions-and-algorithmic-aspects-1603.042852016-07-14 https://scifaro.com/en/abs/symbolic-tensor-calculus-functional-and-dynamic-approach-1603.058192016-03-21 https://scifaro.com/en/abs/solution-of-interpolation-problems-via-the-hankel-polynomial-construction-1603.087522016-03-30 https://scifaro.com/en/abs/toric-difference-variety-1604.019582016-04-08 https://scifaro.com/en/abs/chordal-networks-of-polynomial-ideals-1604.026182017-02-15 https://scifaro.com/en/abs/sparse-representations-of-clifford-and-tensor-algebras-in-maxima-1604.069672016-05-23 https://scifaro.com/en/abs/new-bounds-for-hypergeometric-creative-telescoping-1604.080592016-05-16 https://scifaro.com/en/abs/verifying-buchberger-s-algorithm-in-reduction-rings-1604.087362016-05-02 https://scifaro.com/en/abs/on-the-complexity-of-solving-zero-dimensional-polynomial-systems-via-projection-1604.089442016-05-02 https://scifaro.com/en/abs/symbolic-numeric-tools-for-analytic-combinatorics-in-several-variables-1605.004022016-05-03 https://scifaro.com/en/abs/munchausen-iteration-1605.004222016-05-03 https://scifaro.com/en/abs/using-two-types-of-computer-algebra-systems-to-solve-maxwell-optics-problems-1605.008322016-05-04 https://scifaro.com/en/abs/determinantal-sets-singularities-and-application-to-optimal-control-in-medical-imagery-1605.008872017-07-07 https://scifaro.com/en/abs/the-complexity-of-cylindrical-algebraic-decomposition-with-respect-to-polynomial-degree-1605.024942016-10-03 https://scifaro.com/en/abs/critical-point-computations-on-smooth-varieties-degree-and-complexity-bounds-1605.025182016-05-10 https://scifaro.com/en/abs/theano-a-python-framework-for-fast-computation-of-mathematical-expressions-1605.026882016-05-10 https://scifaro.com/en/abs/need-polynomial-systems-be-doubly-exponential-1605.029122016-07-19 https://scifaro.com/en/abs/extended-hardness-results-for-approximate-gr-obner-basis-computation-1605.044722018-07-18 https://scifaro.com/en/abs/efficient-algorithms-for-mixed-creative-telescoping-1605.050822016-05-18 https://scifaro.com/en/abs/computing-small-certificates-of-inconsistency-of-quadratic-fewnomial-systems-1605.058892016-08-22 https://scifaro.com/en/abs/computation-of-the-similarity-class-of-the-p-curvature-1605.061262016-05-23 https://scifaro.com/en/abs/bit-complexity-for-multi-homogeneous-polynomial-system-solving-application-to-polynomial-minimization-1605.074332017-12-12 https://scifaro.com/en/abs/the-complexity-of-computing-all-subfields-of-an-algebraic-number-field-1606.011402017-11-21 https://scifaro.com/en/abs/computing-hypergeometric-solutions-of-second-order-linear-differential-equations-using-quotients-of-formal-solutions-and-integral-bases-1606.015762016-06-07 https://scifaro.com/en/abs/inverse-mellin-transform-of-holonomic-sequences-1606.028452016-06-10 https://scifaro.com/en/abs/computing-all-space-curve-solutions-of-polynomial-systems-by-polyhedral-methods-1606.055632016-06-20 https://scifaro.com/en/abs/rigorous-multiple-precision-evaluation-of-d-finite-functions-in-sagemath-1607.019672016-07-08 https://scifaro.com/en/abs/numeric-deduction-in-symbolic-computation-application-to-normalizing-transformations-1607.020162016-07-08 https://scifaro.com/en/abs/fast-deterministic-computation-of-the-hermite-normal-form-and-determinant-of-a-polynomial-matrix-1607.041762017-03-31 https://scifaro.com/en/abs/satisfiability-checking-and-symbolic-computation-1607.069452017-03-01 https://scifaro.com/en/abs/satisfiability-checking-meets-symbolic-computation-project-paper-1607.080282016-10-05 https://scifaro.com/en/abs/rational-solutions-of-underdetermined-polynomial-equations-1608.006972016-08-03 https://scifaro.com/en/abs/using-machine-learning-to-decide-when-to-precondition-cylindrical-algebraic-decomposition-with-groebner-bases-1608.042192017-02-15 https://scifaro.com/en/abs/algorithms-to-solve-coupled-systems-of-differential-equations-in-terms-of-power-series-1608.053762016-08-19 https://scifaro.com/en/abs/conversion-methods-for-improving-structural-analysis-of-differential-algebraic-equation-systems-1608.066912016-08-25 https://scifaro.com/en/abs/conversion-methods-block-triangularization-and-structural-analysis-of-differential-algebraic-equation-systems-1608.066932016-08-25 https://scifaro.com/en/abs/lopsided-approximation-of-amoebas-1608.086632017-09-12 https://scifaro.com/en/abs/automatic-library-generation-for-modular-polynomial-multiplication-1609.010102016-09-06 https://scifaro.com/en/abs/some-open-problems-related-to-creative-telescoping-1609.037682016-09-14 https://scifaro.com/en/abs/a-fast-algorithm-for-computing-the-truncated-resultant-1609.042592016-09-15 https://scifaro.com/en/abs/experience-with-heuristics-benchmarks-standards-for-cylindrical-algebraic-decomposition-1609.092692017-03-14 https://scifaro.com/en/abs/sparse-multivariate-factorization-by-mean-of-a-few-bivariate-factorizations-1611.025692016-11-09 https://scifaro.com/en/abs/efficient-parallel-verification-of-galois-field-multipliers-1611.051012019-01-25 https://scifaro.com/en/abs/a-note-about-faster-algorithms-for-computing-hong-s-bound-on-absolute-positiveness-by-k-mehlhorn-and-s-ray-1611.065482016-11-22 https://scifaro.com/en/abs/faster-integer-multiplication-using-plain-vanilla-fft-primes-1611.071442017-10-17 https://scifaro.com/en/abs/reduction-based-creative-telescoping-for-fuchsian-d-finite-functions-1611.074212016-11-23 https://scifaro.com/en/abs/automatic-differentiation-a-look-through-tensor-and-operational-calculus-1612.027312018-09-03 https://scifaro.com/en/abs/baby-step-giant-step-algorithms-for-the-symmetric-group-1612.034562016-12-13 https://scifaro.com/en/abs/reverse-engineering-of-irreducible-polynomials-in-gf-2-m-arithmetic-1612.045882016-12-15 https://scifaro.com/en/abs/efficient-sparse-polynomial-factoring-using-the-funnel-heap-1612.054032016-12-19 https://scifaro.com/en/abs/computing-solutions-of-linear-mahler-equations-1612.055182020-11-10 https://scifaro.com/en/abs/fast-matrix-multiplication-and-symbolic-computation-1612.057662016-12-20 https://scifaro.com/en/abs/parallel-integer-polynomial-multiplication-1612.057782016-12-20 https://scifaro.com/en/abs/comparative-study-of-space-filling-curves-for-cache-oblivious-tu-decomposition-1612.060692016-12-20 https://scifaro.com/en/abs/time-and-space-efficient-generators-for-quasiseparable-matrices-1701.003962019-10-22 https://scifaro.com/en/abs/computing-approximate-greatest-common-right-divisors-of-differential-polynomials-1701.019942019-04-30 https://scifaro.com/en/abs/functional-decomposition-using-principal-subfields-1701.035292017-05-30 https://scifaro.com/en/abs/on-bezout-inequalities-for-non-homogeneous-polynomial-ideals-1701.043412017-01-17 https://scifaro.com/en/abs/criteria-for-finite-difference-groebner-bases-of-normal-binomial-difference-ideals-1701.062482017-01-24 https://scifaro.com/en/abs/bounds-for-substituting-algebraic-functions-into-d-finite-functions-1701.078022017-05-29 https://scifaro.com/en/abs/a-proof-of-hilbert-s-theorem-on-ternary-quartic-forms-with-the-ladder-technique-1701.082942017-03-22 https://scifaro.com/en/abs/riemann-tensor-polynomial-canonicalization-by-graph-algebra-extension-1701.084872017-01-31 https://scifaro.com/en/abs/fast-multiplication-for-skew-polynomials-1702.016652017-02-07 https://scifaro.com/en/abs/discriminants-of-complete-intersection-space-curves-1702.016942017-02-07 https://scifaro.com/en/abs/certificates-for-triangular-equivalence-and-rank-profiles-1702.037552019-10-28 https://scifaro.com/en/abs/algorithm-for-computing-semi-fourier-sequences-of-expressions-involving-exponentiations-and-integrations-1702.070602017-02-24 https://scifaro.com/en/abs/fast-generalized-bruhat-decomposition-1702.072422017-02-24 https://scifaro.com/en/abs/triangular-decomposition-of-matrices-in-a-domain-1702.072432017-02-24 https://scifaro.com/en/abs/generalized-bruhat-decomposition-in-commutative-domains-1702.072482017-02-24 https://scifaro.com/en/abs/faster-tensor-canonicalization-1702.081142018-05-23 https://scifaro.com/en/abs/decomposition-of-polynomial-sets-into-characteristic-pairs-1702.086642017-03-01 https://scifaro.com/en/abs/faster-truncated-integer-multiplication-1703.006402023-08-03 https://scifaro.com/en/abs/symbolic-solutions-of-simultaneous-first-order-pdes-in-one-unknown-1703.019742017-03-07 https://scifaro.com/en/abs/a-lattice-formulation-of-the-f4-completion-procedure-1703.020772018-01-31 https://scifaro.com/en/abs/on-matrices-with-displacement-structure-generalized-operators-and-faster-algorithms-1703.037342017-03-13 https://scifaro.com/en/abs/ultimate-positivity-of-diagonals-of-quasi-rational-functions-1703.055802017-03-17 https://scifaro.com/en/abs/roots-multiplicity-without-companion-matrices-1703.061202017-03-20 https://scifaro.com/en/abs/laderman-matrix-multiplication-algorithm-can-be-constructed-using-strassen-algorithm-and-related-tensor-s-isotropies-1703.082982017-05-11 https://scifaro.com/en/abs/sparse-polynomial-interpolation-with-finitely-many-values-for-the-coefficients-1704.043592017-06-23 https://scifaro.com/en/abs/cad-adjacency-computation-using-validated-numerics-1704.068562017-04-25 https://scifaro.com/en/abs/efficiently-computing-real-roots-of-sparse-polynomials-1704.069792017-04-25 https://scifaro.com/en/abs/a-special-homotopy-continuation-method-for-a-class-of-polynomial-systems-1704.075362017-04-27 https://scifaro.com/en/abs/a-case-study-on-the-parametric-occurrence-of-multiple-steady-states-1704.089972017-08-08 https://scifaro.com/en/abs/denominator-bounds-for-systems-of-recurrence-equations-using-pi-sigma-extensions-1705.002802017-05-02 https://scifaro.com/en/abs/apparent-singularities-of-d-finite-systems-1705.008382017-05-03 https://scifaro.com/en/abs/non-linear-associative-commutative-many-to-one-pattern-matching-with-sequence-variables-1705.009072017-05-03 https://scifaro.com/en/abs/computing-isomorphisms-and-embeddings-of-finite-fields-1705.012212020-01-07 https://scifaro.com/en/abs/representing-q-hypergeometric-products-and-mixed-versions-in-difference-rings-1705.013682017-10-31 https://scifaro.com/en/abs/compile-time-symbolic-differentiation-using-c-expression-templates-1705.017292017-05-05 https://scifaro.com/en/abs/dimension-dependent-upper-bounds-for-grobner-bases-1705.027762017-05-09 https://scifaro.com/en/abs/deterministic-genericity-for-polynomial-ideals-1705.027972017-05-09 https://scifaro.com/en/abs/automated-generation-of-non-linear-loop-invariants-utilizing-hypergeometric-sequences-1705.028632017-05-12 https://scifaro.com/en/abs/improved-computation-of-involutive-bases-1705.034412017-05-10 https://scifaro.com/en/abs/a-tropical-f5-algorithm-1705.055712017-05-17 https://scifaro.com/en/abs/power-series-expansions-for-the-planar-monomer-dimer-problem-1705.101212017-09-13 https://scifaro.com/en/abs/computing-canonical-bases-of-modules-of-univariate-relations-1705.106492017-05-31 https://scifaro.com/en/abs/fast-computation-of-the-roots-of-polynomials-over-the-ring-of-power-series-1705.106582017-05-31 https://scifaro.com/en/abs/sparse-rational-function-interpolation-with-finitely-many-values-for-the-coefficients-1706.009142017-06-06 https://scifaro.com/en/abs/refined-holonomic-summation-algorithms-in-particle-physics-1706.036772017-10-31 https://scifaro.com/en/abs/algorithms-for-weighted-sums-of-squares-decomposition-of-non-negative-univariate-polynomials-1706.039412017-06-14 https://scifaro.com/en/abs/symbolic-versus-numerical-computation-and-visualization-of-parameter-regions-for-multistationarity-of-biological-networks-1706.087942017-12-22 https://scifaro.com/en/abs/bivariate-extensions-of-abramov-s-algorithm-for-rational-summation-1706.091342017-06-29 https://scifaro.com/en/abs/compiling-latex-to-computer-algebra-enabled-html5-1707.012712017-07-06 https://scifaro.com/en/abs/algorithms-for-zero-dimensional-ideals-using-linear-recurrent-sequences-1707.019712017-07-10 https://scifaro.com/en/abs/measured-multiseries-and-integration-1707.022352017-07-10 https://scifaro.com/en/abs/the-pslq-algorithm-for-empirical-data-1707.050372018-06-22 https://scifaro.com/en/abs/rational-invariants-of-even-ternary-forms-under-the-orthogonal-group-1707.099792018-11-14 https://scifaro.com/en/abs/on-euler-s-inequality-and-automated-reasoning-with-dynamic-geometry-1708.029932020-04-07 https://scifaro.com/en/abs/faster-multiplication-for-long-binary-polynomials-1708.097462018-01-08 https://scifaro.com/en/abs/root-separation-for-trinomials-1709.032942018-10-26 https://scifaro.com/en/abs/rational-solutions-of-high-order-algebraic-ordinary-differential-equations-1709.041742018-04-24 https://scifaro.com/en/abs/in-depth-comparison-of-the-berlekamp-massey-sakata-and-the-scalar-fglm-algorithms-the-non-adaptive-variants-1709.071682017-09-22 https://scifaro.com/en/abs/faster-interpolation-algorithms-for-sparse-multivariate-polynomials-given-by-straight-line-programs-1709.089792018-07-18 https://scifaro.com/en/abs/deterministic-interpolation-of-sparse-black-box-multivariate-polynomials-using-kronecker-type-substitutions-1710.013012018-08-09 https://scifaro.com/en/abs/on-the-bit-size-of-non-radical-triangular-sets-1710.063962017-10-18 https://scifaro.com/en/abs/univariate-contraction-and-multivariate-desingularization-of-ore-ideals-1710.074452017-10-23 https://scifaro.com/en/abs/on-the-annihilator-ideal-of-an-inverse-form-1710.077312018-05-14 https://scifaro.com/en/abs/symbolic-computations-of-first-integrals-for-polynomial-vector-fields-1710.082252018-12-20 https://scifaro.com/en/abs/definite-sums-of-hypergeometric-terms-and-limits-of-p-recursive-sequences-1710.085662017-10-25 https://scifaro.com/en/abs/the-potential-and-challenges-of-cad-with-equational-constraints-for-sc-square-1711.003122017-12-22 https://scifaro.com/en/abs/automatic-differentiation-for-tensor-algebras-1711.013482017-11-07 https://scifaro.com/en/abs/computation-of-the-adjoint-matrix-1711.094502017-11-28 https://scifaro.com/en/abs/solution-of-a-system-of-linear-equations-in-an-integral-ring-1711.094522017-11-28 https://scifaro.com/en/abs/effective-matrix-methods-in-commutative-domains-1711.094562017-11-28 https://scifaro.com/en/abs/algorithms-for-the-solution-of-systems-of-linear-equations-in-commutative-ring-1711.114712017-12-01 https://scifaro.com/en/abs/algorithms-for-the-computing-determinants-in-commutative-rings-1711.114722017-12-01 https://scifaro.com/en/abs/symbolic-numeric-integration-of-rational-functions-1712.017522018-10-26 https://scifaro.com/en/abs/rings-an-efficient-java-scala-library-for-polynomial-rings-1712.023292018-09-25 https://scifaro.com/en/abs/faster-integer-and-polynomial-multiplication-using-cyclotomic-coefficient-rings-1712.036932017-12-12 https://scifaro.com/en/abs/computing-lower-rank-approximations-of-matrix-polynomials-1712.040072017-12-13 https://scifaro.com/en/abs/block-krylov-techniques-in-the-context-of-sparse-fglm-algorithms-1712.041772019-01-16 https://scifaro.com/en/abs/revisit-sparse-polynomial-interpolation-based-on-randomized-kronecker-substitution-1712.054812018-07-18 https://scifaro.com/en/abs/counting-solutions-of-a-polynomial-system-locally-and-exactly-1712.054872017-12-18 https://scifaro.com/en/abs/can-one-design-a-geometry-engine-on-the-un-decidability-of-affine-euclidean-geometries-1712.074742018-06-04 https://scifaro.com/en/abs/a-non-commutative-algorithm-for-multiplying-7-times-7-matrices-using-250-multiplications-1712.079352017-12-22 https://scifaro.com/en/abs/automatic-generation-of-bounds-for-polynomial-systems-with-application-to-the-lorenz-system-1712.082282018-08-01 https://scifaro.com/en/abs/computing-the-inverse-mellin-transform-of-holonomic-sequences-using-kovacic-s-algorithm-1801.010392018-01-04 https://scifaro.com/en/abs/on-division-polynomial-pit-and-supersingularity-1801.026642018-01-17 https://scifaro.com/en/abs/resolving-zero-divisors-using-hensel-lifting-1801.031612018-01-11 https://scifaro.com/en/abs/desingularization-in-the-q-weyl-algebra-1801.041602018-03-12 https://scifaro.com/en/abs/fast-computation-of-approximant-bases-in-canonical-form-1801.045532019-04-09 https://scifaro.com/en/abs/the-complexity-of-subdivision-for-diameter-distance-tests-1801.058642018-01-19 https://scifaro.com/en/abs/block-sos-decomposition-1801.079542018-01-31 https://scifaro.com/en/abs/desingularization-of-first-order-linear-difference-systems-with-rational-function-coefficients-1802.011502018-02-06 https://scifaro.com/en/abs/a-signature-based-algorithm-for-computing-computing-gr-obner-bases-over-principal-ideal-domains-1802.013882019-05-28 https://scifaro.com/en/abs/on-the-chordality-of-polynomial-sets-in-triangular-decomposition-in-top-down-style-1802.017522018-02-07 https://scifaro.com/en/abs/certification-of-minimal-approximant-bases-1802.019202018-05-21 https://scifaro.com/en/abs/computing-popov-and-hermite-forms-of-rectangular-polynomial-matrices-1802.019282018-05-21 https://scifaro.com/en/abs/error-correction-in-fast-matrix-multiplication-and-inverse-1802.022702018-02-08 https://scifaro.com/en/abs/additive-decompositions-in-primitive-extensions-1802.023292018-02-08 https://scifaro.com/en/abs/exact-algorithms-for-semidefinite-programs-with-degenerate-feasible-set-1802.028342020-06-11 https://scifaro.com/en/abs/quantum-algorithm-for-optimization-and-polynomial-system-solving-over-finite-field-and-application-to-cryptanalysis-1802.038562018-10-09 https://scifaro.com/en/abs/frobenius-additive-fast-fourier-transform-1802.039322018-02-13 https://scifaro.com/en/abs/unbounded-software-model-checking-with-incremental-sat-solving-1802.041742018-02-14 https://scifaro.com/en/abs/formal-analysis-of-galois-field-arithmetics-parallel-verification-and-reverse-engineering-1802.068702018-02-21 https://scifaro.com/en/abs/faster-integer-multiplication-using-short-lattice-vectors-1802.079322019-02-13 https://scifaro.com/en/abs/on-probabilistic-term-rewriting-1802.097742018-02-28 https://scifaro.com/en/abs/on-exact-polya-and-putinar-s-representations-1802.103392018-03-01 https://scifaro.com/en/abs/solving-determinantal-systems-using-homotopy-techniques-1802.104092018-03-01 https://scifaro.com/en/abs/openmath-and-smt-lib-1803.015922018-03-07 https://scifaro.com/en/abs/probabilistic-analysis-of-block-wiedemann-for-leading-invariant-factors-1803.038642018-03-13 https://scifaro.com/en/abs/solving-first-order-autonomous-algebraic-ordinary-differential-equations-by-places-1803.047312018-11-15 https://scifaro.com/en/abs/convolutions-of-liouvillian-sequences-1803.087472018-03-26 https://scifaro.com/en/abs/on-existence-and-uniqueness-of-formal-power-series-solutions-of-algebraic-ordinary-differential-equations-1803.096462021-07-05 https://scifaro.com/en/abs/multiplying-boolean-polynomials-with-frobenius-partitions-in-additive-fast-fourier-transform-1803.113012018-04-02 https://scifaro.com/en/abs/groebner-bases-of-reaction-networks-with-intermediate-species-1804.013812018-04-05 https://scifaro.com/en/abs/definite-sums-as-solutions-of-linear-recurrences-with-polynomial-coefficients-1804.029642018-04-10 https://scifaro.com/en/abs/simulation-based-reachability-analysis-for-high-index-large-linear-differential-algebraic-equations-1804.032272018-04-11 https://scifaro.com/en/abs/summer-research-report-towards-incremental-lazard-cylindrical-algebraic-decomposition-1804.085642018-04-24 https://scifaro.com/en/abs/positive-solutions-of-systems-of-signed-parametric-polynomial-inequalities-1804.097052018-09-06 https://scifaro.com/en/abs/quantifier-elimination-for-reasoning-in-economics-1804.100372018-05-16 https://scifaro.com/en/abs/using-machine-learning-to-improve-cylindrical-algebraic-decomposition-1804.105202019-11-25 https://scifaro.com/en/abs/realcertify-a-maple-package-for-certifying-non-negativity-1805.022012018-05-08 https://scifaro.com/en/abs/implementing-a-method-for-stochastization-of-one-step-processes-in-a-computer-algebra-system-1805.031902018-05-09 https://scifaro.com/en/abs/computing-an-lll-reduced-basis-of-the-orthogonal-lattice-1805.034182018-05-10 https://scifaro.com/en/abs/generalized-hermite-reduction-creative-telescoping-and-definite-integration-of-d-finite-functions-1805.034452023-06-12 https://scifaro.com/en/abs/towards-mixed-gr-o-bner-basis-algorithms-the-multihomogeneous-and-sparse-case-1805.035772018-06-22 https://scifaro.com/en/abs/on-the-annihilator-ideal-of-an-inverse-form-a-simplification-1805.039952018-05-11 https://scifaro.com/en/abs/bilinear-systems-with-two-supports-koszul-resultant-matrices-eigenvalues-and-eigenvectors-1805.050602018-05-15 https://scifaro.com/en/abs/on-affine-tropical-f5-algorithms-1805.061832018-06-22 https://scifaro.com/en/abs/towards-incremental-cylindrical-algebraic-decomposition-in-maple-1805.101362018-11-01 https://scifaro.com/en/abs/monodromy-solver-sequential-and-parallel-1805.122122018-06-01 https://scifaro.com/en/abs/in-depth-comparison-of-the-berlekamp-massey-sakata-and-the-scalar-fglm-algorithms-the-adaptive-variants-1806.009782018-06-05 https://scifaro.com/en/abs/a-fast-algorithm-for-solving-linearly-recurrent-sequences-1806.035542018-06-12 https://scifaro.com/en/abs/real-root-finding-for-equivariant-semi-algebraic-systems-1806.081212018-06-22 https://scifaro.com/en/abs/machine-learning-for-mathematical-software-1806.109202018-11-01 https://scifaro.com/en/abs/theoryguru-a-mathematica-package-to-apply-quantifier-elimination-1806.109252018-11-01 https://scifaro.com/en/abs/proof-of-work-certificates-that-can-be-efficiently-computed-in-the-cloud-1806.112932018-07-24 https://scifaro.com/en/abs/non-linear-real-arithmetic-benchmarks-derived-from-automated-reasoning-in-economics-1806.114472018-11-01 https://scifaro.com/en/abs/fast-hermite-interpolation-and-evaluation-over-finite-fields-of-characteristic-two-1807.006452018-07-03 https://scifaro.com/en/abs/verification-protocols-with-sub-linear-communication-for-polynomial-matrix-operations-1807.012722019-12-12 https://scifaro.com/en/abs/a-purely-functional-computer-algebra-system-embedded-in-haskell-1807.014562018-10-02 https://scifaro.com/en/abs/fast-transforms-over-finite-fields-of-characteristic-two-1807.077852018-07-23 https://scifaro.com/en/abs/what-can-and-can-t-we-do-with-sparse-polynomials-1807.082892018-07-24 https://scifaro.com/en/abs/toward-an-optimal-quantum-algorithm-for-polynomial-factorization-over-finite-fields-1807.096752018-12-14 https://scifaro.com/en/abs/an-effective-framework-for-constructing-exponent-lattice-basis-of-nonzero-algebraic-numbers-1808.027122019-12-17 https://scifaro.com/en/abs/aligator-jl-a-julia-package-for-loop-invariant-generation-1808.053942018-08-17 https://scifaro.com/en/abs/computer-algebra-tools-for-feynman-integrals-and-related-multi-sums-1809.061682018-09-18 https://scifaro.com/en/abs/towards-a-symbolic-summation-theory-for-unspecified-sequences-1809.065782018-09-19 https://scifaro.com/en/abs/bohemian-upper-hessenberg-matrices-1809.106532018-09-28 https://scifaro.com/en/abs/bohemian-upper-hessenberg-toeplitz-matrices-1809.106642018-10-01 https://scifaro.com/en/abs/new-bounds-and-efficient-algorithm-for-sparse-difference-resultant-1810.000572021-04-21 https://scifaro.com/en/abs/algebraic-number-fields-and-the-lll-algorithm-1810.016342020-11-09 https://scifaro.com/en/abs/proceedings-of-the-15th-international-workshop-on-the-acl2-theorem-prover-and-its-applications-1810.037622018-10-30 https://scifaro.com/en/abs/computing-elimination-ideals-and-discriminants-of-likelihood-equations-1810.056202018-10-15 https://scifaro.com/en/abs/computation-of-gcd-chain-over-the-power-of-an-irreducible-polynomial-1810.090562018-12-31 https://scifaro.com/en/abs/a-nearly-optimal-algorithm-to-decompose-binary-forms-1810.125882019-09-12 https://scifaro.com/en/abs/putting-f-urer-algorithm-into-practice-with-the-bpas-library-1811.014902018-11-06 https://scifaro.com/en/abs/complexity-estimates-for-fourier-motzkin-elimination-1811.015102019-05-14 https://scifaro.com/en/abs/atensor-reduce-program-for-tensor-simplification-1811.054092018-11-14 https://scifaro.com/en/abs/simplification-of-tensor-expressions-in-computer-algebra-1811.077012019-05-01 https://scifaro.com/en/abs/a-fast-randomized-geometric-algorithm-for-computing-riemann-roch-spaces-1811.082372020-10-20 https://scifaro.com/en/abs/linear-differential-equations-as-a-data-structure-1811.086162018-11-22 https://scifaro.com/en/abs/kleene-stars-of-the-plane-polylogarithms-and-symmetries-1811.090912020-02-21 https://scifaro.com/en/abs/on-exact-reznick-hilbert-artin-and-putinar-s-representations-1811.100622026-02-24 https://scifaro.com/en/abs/chordal-graphs-in-triangular-decomposition-in-top-down-style-1811.110232018-11-28 https://scifaro.com/en/abs/an-efficient-reduction-strategy-for-signature-based-algorithms-to-compute-groebner-basis-1811.126632018-12-03 https://scifaro.com/en/abs/computing-nearby-non-trivial-smith-forms-1812.045902019-09-10 https://scifaro.com/en/abs/sian-software-for-structural-identifiability-analysis-of-ode-models-1812.101802020-11-17 https://scifaro.com/en/abs/a-new-deflation-method-for-verifying-the-isolated-singular-zeros-of-polynomial-systems-1812.115342019-01-01 https://scifaro.com/en/abs/subresultants-of-x-alpha-m-and-x-beta-n-jacobi-polynomials-and-complexity-1812.117892019-10-08 https://scifaro.com/en/abs/on-fast-matrix-inversion-via-fast-matrix-multiplication-1901.009042019-01-07 https://scifaro.com/en/abs/spectral-approach-to-verifying-non-linear-arithmetic-circuits-1901.029502019-01-11 https://scifaro.com/en/abs/nearly-optimal-sparse-polynomial-multiplication-1901.093552020-04-22 https://scifaro.com/en/abs/on-the-existence-of-telescopers-for-rational-functions-in-three-variables-1901.093772020-02-18 https://scifaro.com/en/abs/signature-based-m-oller-s-algorithm-for-strong-gr-obner-bases-over-pids-1901.095862019-01-29 https://scifaro.com/en/abs/on-the-complexity-of-computing-the-topology-of-real-algebraic-space-curves-1901.103172019-01-30 https://scifaro.com/en/abs/effective-certification-of-approximate-solutions-to-systems-of-equations-involving-analytic-functions-1901.103842019-07-22 https://scifaro.com/en/abs/lu-factorization-with-errors-1901.107302019-01-31 https://scifaro.com/en/abs/rational-solutions-of-first-order-algebraic-ordinary-difference-equations-1901.110482019-02-05 https://scifaro.com/en/abs/gr-o-bner-basis-over-semigroup-algebras-algorithms-and-applications-for-sparse-polynomial-systems-1902.002082019-02-04 https://scifaro.com/en/abs/on-the-complexity-of-toric-ideals-1902.014842019-02-06 https://scifaro.com/en/abs/exact-optimization-via-sums-of-nonnegative-circuits-and-sums-of-am-gm-exponentials-1902.021232021-08-23 https://scifaro.com/en/abs/generic-reductions-for-in-place-polynomial-multiplication-1902.029672019-02-11 https://scifaro.com/en/abs/identifying-the-parametric-occurrence-of-multiple-steady-states-for-some-biological-networks-1902.048822019-11-25 https://scifaro.com/en/abs/counting-basic-irreducible-factors-mod-p-k-in-deterministic-poly-time-and-p-adic-applications-1902.077852019-02-27 https://scifaro.com/en/abs/quadratic-probabilistic-algorithms-for-normal-bases-1903.032782019-03-11 https://scifaro.com/en/abs/recursive-matrix-algorithms-in-commutative-domain-for-cluster-with-distributed-memory-1903.043942019-03-12 https://scifaro.com/en/abs/on-some-classes-of-irreducible-polynomials-1903.084412019-03-21 https://scifaro.com/en/abs/cylindrical-algebraic-decomposition-with-equational-constraints-1903.089992020-03-23 https://scifaro.com/en/abs/testing-zero-dimensionality-of-varieties-at-a-point-1903.123652019-04-01 https://scifaro.com/en/abs/computing-huge-groebner-basis-like-cyclic10-over-q-with-giac-1903.124272019-04-01 https://scifaro.com/en/abs/reconstructing-rational-functions-with-texttt-firefly-1904.000092019-11-28 https://scifaro.com/en/abs/tropical-differential-groebner-basis-1904.022752019-04-05 https://scifaro.com/en/abs/on-the-equivalence-of-automatic-and-symbolic-differentiation-1904.029902022-12-06 https://scifaro.com/en/abs/asymptotic-solutions-of-polynomial-equations-with-exp-log-coefficients-1904.067962019-04-16 https://scifaro.com/en/abs/mathtt-bimex-a-mathematica-package-for-exact-computations-in-3-1-bimetric-relativity-1904.104642020-01-16 https://scifaro.com/en/abs/comparing-machine-learning-models-to-choose-the-variable-ordering-for-cylindrical-algebraic-decomposition-1904.110612019-07-17 https://scifaro.com/en/abs/constructing-minimal-telescopers-for-rational-functions-in-three-discrete-variables-1904.116142022-07-08 https://scifaro.com/en/abs/computing-the-volume-of-compact-semi-algebraic-sets-1904.117052023-06-12 https://scifaro.com/en/abs/algorithmic-approach-to-strong-consistency-analysis-of-finite-difference-approximations-to-pde-systems-1904.129122019-05-01 https://scifaro.com/en/abs/the-complexity-of-minrank-1905.026822022-03-11 https://scifaro.com/en/abs/automatic-generation-of-moment-based-invariants-for-prob-solvable-loops-1905.028352019-05-30 https://scifaro.com/en/abs/an-algorithmic-approach-to-limit-cycles-of-nonlinear-differential-systems-the-averaging-method-revisited-1905.033152019-05-10 https://scifaro.com/en/abs/effective-coefficient-asymptotics-of-multivariate-rational-functions-via-semi-numerical-algorithms-for-polynomial-systems-1905.041872020-11-19 https://scifaro.com/en/abs/implementations-of-efficient-univariate-polynomial-matrix-algorithms-and-application-to-bivariate-resultants-1905.043562019-05-14 https://scifaro.com/en/abs/change-of-basis-for-m-primary-ideals-in-one-and-two-variables-1905.046142019-05-14 https://scifaro.com/en/abs/lonely-points-in-simplices-1905.087472019-05-22 https://scifaro.com/en/abs/new-ways-to-multiply-3-x-3-matrices-1905.101922019-05-27 https://scifaro.com/en/abs/reconstruction-of-rational-ruled-surfaces-from-their-silhouettes-1905.118532021-04-29 https://scifaro.com/en/abs/factorizations-for-a-class-of-multivariate-polynomial-matrices-1905.118722019-05-29 https://scifaro.com/en/abs/on-the-parallelization-of-triangular-decomposition-of-polynomial-systems-1906.000392019-06-04 https://scifaro.com/en/abs/algorithmically-generating-new-algebraic-features-of-polynomial-systems-for-machine-learning-1906.014552021-06-17 https://scifaro.com/en/abs/new-features-in-the-second-version-of-the-cadabra-computer-algebra-system-1906.025992019-06-07 https://scifaro.com/en/abs/polynomial-root-clustering-and-explicit-deflation-1906.049202019-11-18 https://scifaro.com/en/abs/improved-structural-methods-for-nonlinear-differential-algebraic-equations-via-combinatorial-relaxation-1907.045112019-07-11 https://scifaro.com/en/abs/upper-hessenberg-and-toeplitz-bohemians-1907.106772019-07-26 https://scifaro.com/en/abs/complex-golay-pairs-up-to-length-28-a-search-via-computer-algebra-and-programmatic-sat-1907.119812019-11-15 https://scifaro.com/en/abs/computing-the-characteristic-polynomial-of-a-finite-rank-two-drinfeld-module-1907.127312019-07-31 https://scifaro.com/en/abs/computing-strong-regular-characteristic-pairs-with-groebner-bases-1907.135372020-07-02 https://scifaro.com/en/abs/a-localized-version-of-the-basic-triangle-theorem-1908.033272020-08-07 https://scifaro.com/en/abs/converting-alc-connection-proofs-into-alc-sequents-1908.094772019-08-27 https://scifaro.com/en/abs/gr-obner-bases-with-reduction-machines-1909.017462019-09-05 https://scifaro.com/en/abs/elimination-based-certificates-for-triangular-equivalence-and-rank-profiles-1909.056922019-09-13 https://scifaro.com/en/abs/efficient-rational-creative-telescoping-1909.068982021-08-10 https://scifaro.com/en/abs/imperative-program-synthesis-from-answer-set-programs-1909.090582019-09-20 https://scifaro.com/en/abs/qfunctions-a-mathematica-package-for-q-series-and-partition-theory-applications-1910.124102019-10-29 https://scifaro.com/en/abs/fast-derivatives-for-multilinear-polynomials-1911.022352020-09-25 https://scifaro.com/en/abs/entropy-supplementary-conservation-law-for-non-linear-systems-of-pdes-with-non-conservative-terms-application-to-the-modelling-and-analysis-of-complex-fluid-flows-using-computer-algebra-1911.023132020-06-03 https://scifaro.com/en/abs/minimal-representations-and-algebraic-relations-for-single-nested-products-1911.048372019-11-13 https://scifaro.com/en/abs/a-root-free-splitting-lemma-for-systems-of-linear-differential-equations-1911.058372019-11-15 https://scifaro.com/en/abs/new-practical-advances-in-polynomial-root-clustering-1911.067062019-11-18 https://scifaro.com/en/abs/improved-cross-validation-for-classifiers-that-make-algorithmic-choices-to-minimise-runtime-without-compromising-output-correctness-1911.126722020-04-16 https://scifaro.com/en/abs/chain-rules-for-hessian-and-higher-derivatives-made-easy-by-tensor-calculus-1911.132922019-12-02 https://scifaro.com/en/abs/counting-invariant-subspaces-and-decompositions-of-additive-polynomials-1912.002122020-01-01 https://scifaro.com/en/abs/deep-learning-for-symbolic-mathematics-1912.014122019-12-04 https://scifaro.com/en/abs/computing-syzygies-in-finite-dimension-using-fast-linear-algebra-1912.018482020-06-22 https://scifaro.com/en/abs/modular-termination-for-second-order-computation-rules-and-application-to-algebraic-effect-handlers-1912.034342023-06-22 https://scifaro.com/en/abs/a-refined-machinery-to-calculate-large-moments-from-coupled-systems-of-linear-differential-equations-1912.043902019-12-11 https://scifaro.com/en/abs/sparse-interpolation-with-errors-in-chebyshev-basis-beyond-redundant-block-decoding-1912.057192020-11-05 https://scifaro.com/en/abs/evaluation-of-chebyshev-polynomials-on-intervals-and-application-to-root-finding-1912.058432019-12-13 https://scifaro.com/en/abs/visualizing-planar-and-space-implicit-real-algebraic-curves-with-singularities-1912.075072019-12-17 https://scifaro.com/en/abs/towards-identification-of-explicit-solutions-to-overdetermined-systems-of-differential-equations-1912.121262019-12-30 https://scifaro.com/en/abs/differentiable-set-operations-for-algebraic-expressions-1912.121812019-12-30 https://scifaro.com/en/abs/a-condition-for-multiplicity-structure-of-univariate-polynomials-2001.023882020-08-04 https://scifaro.com/en/abs/on-fast-multiplication-of-a-matrix-by-its-transpose-2001.041092020-07-16 https://scifaro.com/en/abs/on-mu-symmetric-polynomials-2001.074032020-01-22 https://scifaro.com/en/abs/sparse-interpolation-in-terms-of-multivariate-chebyshev-polynomials-2001.091442020-01-27 https://scifaro.com/en/abs/essentially-optimal-sparse-polynomial-multiplication-2001.119592020-09-01 https://scifaro.com/en/abs/efficient-q-integer-linear-decomposition-of-multivariate-polynomials-2002.001242021-02-15 https://scifaro.com/en/abs/separating-variables-in-bivariate-polynomial-ideals-2002.015412020-06-08 https://scifaro.com/en/abs/an-additive-decomposition-in-s-primitive-towers-2002.023552020-10-20 https://scifaro.com/en/abs/integral-p-recursive-sequences-2002.027832020-02-10 https://scifaro.com/en/abs/first-order-tests-for-toricity-2002.035862020-10-22 https://scifaro.com/en/abs/compatible-rewriting-of-noncommutative-polynomials-for-proving-operator-identities-2002.036262023-11-20 https://scifaro.com/en/abs/sparse-polynomial-interpolation-based-on-diversification-2002.037062020-02-11 https://scifaro.com/en/abs/sparse-polynomial-interpolation-based-on-derivative-2002.037082020-02-11 https://scifaro.com/en/abs/signature-based-algorithms-for-gr-o-bner-bases-over-tate-algebras-2002.044912021-05-11 https://scifaro.com/en/abs/smooth-points-on-semi-algebraic-sets-2002.047072023-05-23 https://scifaro.com/en/abs/a-divide-and-conquer-algorithm-for-computing-gr-obner-bases-of-syzygies-in-finite-dimension-2002.064042020-06-05 https://scifaro.com/en/abs/on-the-uniqueness-of-simultaneous-rational-function-reconstruction-2002.087482020-02-21 https://scifaro.com/en/abs/fast-in-place-algorithms-for-polynomial-operations-division-evaluation-interpolation-2002.103042020-09-01 https://scifaro.com/en/abs/a-linear-algebra-approach-for-detecting-binomiality-of-steady-state-ideals-of-reversible-chemical-reaction-networks-2002.126932020-10-22 https://scifaro.com/en/abs/maximum-absolute-determinants-of-upper-hessenberg-bohemian-matrices-2003.004542020-05-12 https://scifaro.com/en/abs/deciding-the-consistency-of-non-linear-real-arithmetic-constraints-with-a-conflict-driven-search-using-cylindrical-algebraic-coverings-2003.056332021-06-17 https://scifaro.com/en/abs/an-algorithm-for-computing-a-minimal-comprehensive-gr-obner-basis-of-a-parametric-polynomial-system-2003.079572020-03-19 https://scifaro.com/en/abs/generic-bivariate-multi-point-evaluation-interpolation-and-modular-composition-with-precomputation-2003.124682020-06-05 https://scifaro.com/en/abs/epistemic-phase-transitions-in-mathematical-proofs-2004.000552022-04-13 https://scifaro.com/en/abs/resultants-over-principal-artinian-rings-2004.033412020-04-08 https://scifaro.com/en/abs/new-opportunities-for-the-formal-proof-of-computational-real-geometry-2004.040342021-06-17 https://scifaro.com/en/abs/a-simple-method-for-computing-some-pseudo-elliptic-integrals-in-terms-of-elementary-functions-2004.049102020-09-25 https://scifaro.com/en/abs/rational-solutions-of-first-order-algebraic-ordinary-differential-equations-2005.012892020-05-05 https://scifaro.com/en/abs/characterizing-triviality-of-the-exponent-lattice-of-a-polynomial-through-galois-and-galois-like-groups-2005.019632020-05-06 https://scifaro.com/en/abs/algorithmic-averaging-for-studying-periodic-orbits-of-planar-differential-systems-2005.034872023-05-02 https://scifaro.com/en/abs/subquadratic-time-algorithms-for-normal-bases-2005.034972020-12-24 https://scifaro.com/en/abs/on-the-complexity-of-computing-integral-bases-of-function-fields-2005.039642020-05-11 https://scifaro.com/en/abs/on-rational-and-hypergeometric-solutions-of-linear-ordinary-difference-equations-in-pi-mathbf-sigma-field-extensions-2005.049442021-01-27 https://scifaro.com/en/abs/generalizing-the-davenport-mahler-mignotte-bound-the-weighted-case-2005.078432020-05-19 https://scifaro.com/en/abs/an-algebraic-model-for-quorum-systems-2005.085362020-06-03 https://scifaro.com/en/abs/pegasus-sound-continuous-invariant-generation-2005.093482021-02-09 https://scifaro.com/en/abs/a-machine-learning-based-software-pipeline-to-pick-the-variable-ordering-for-algorithms-with-polynomial-inputs-2005.112512020-09-10 https://scifaro.com/en/abs/good-pivots-for-small-sparse-matrices-2006.016232022-06-02 https://scifaro.com/en/abs/on-the-complexity-of-solving-generic-over-determined-bilinear-systems-2006.094422020-06-18 https://scifaro.com/en/abs/computer-algebra-in-physics-the-hidden-so-4-symmetry-of-the-hydrogen-atom-2006.124982021-08-18 https://scifaro.com/en/abs/error-correcting-codes-finding-polynomials-of-bounded-degree-agreeing-on-a-dense-fraction-of-a-set-of-points-2007.004452020-07-02 https://scifaro.com/en/abs/a-family-of-denominator-bounds-for-first-order-linear-recurrence-systems-2007.029262020-07-07 https://scifaro.com/en/abs/on-algorithmic-estimation-of-analytic-complexity-for-polynomial-solutions-to-hypergeometric-systems-2007.094072020-07-21 https://scifaro.com/en/abs/groebner-basis-structure-of-ideal-interpolation-2007.118302024-01-17 https://scifaro.com/en/abs/formal-power-series-on-algebraic-cryptanalysis-2007.147292026-01-22 https://scifaro.com/en/abs/a-simple-and-fast-algorithm-for-computing-the-n-th-term-of-a-linearly-recurrent-sequence-2008.088222020-08-21 https://scifaro.com/en/abs/robots-computer-algebra-and-eight-connected-components-2008.133922020-09-01 https://scifaro.com/en/abs/homotopy-techniques-for-solving-sparse-column-support-determinantal-polynomial-systems-2009.008442020-09-03 https://scifaro.com/en/abs/computing-critical-points-for-invariant-algebraic-systems-2009.008472020-09-03 https://scifaro.com/en/abs/on-a-non-archimedean-broyden-method-2009.015112020-09-04 https://scifaro.com/en/abs/strong-consistency-and-thomas-decomposition-of-finite-difference-approximations-to-systems-of-partial-differential-equations-2009.017312020-09-04 https://scifaro.com/en/abs/on-fglm-algorithms-with-tropical-gr-obner-bases-2009.020672020-09-07 https://scifaro.com/en/abs/guessing-gr-o-bner-bases-of-structured-ideals-of-relations-of-sequences-2009.052482021-11-19 https://scifaro.com/en/abs/a-low-level-index-for-distributed-logic-programming-2009.102552020-09-23 https://scifaro.com/en/abs/deterministic-computation-of-the-characteristic-polynomial-in-the-time-of-matrix-multiplication-2010.046622021-04-12 https://scifaro.com/en/abs/on-minor-left-prime-factorization-problem-for-multivariate-polynomial-matrices-2010.069982020-10-15 https://scifaro.com/en/abs/on-factor-left-prime-factorization-problems-for-multivariate-polynomial-matrices-2010.070072020-10-15 https://scifaro.com/en/abs/new-remarks-on-the-factorization-and-equivalence-problems-for-a-class-of-multivariate-polynomial-matrices-2010.070882020-10-15 https://scifaro.com/en/abs/creative-telescoping-on-multiple-sums-2010.088892021-07-27 https://scifaro.com/en/abs/a-graph-theoretical-approach-for-testing-binomiality-of-reversible-chemical-reaction-networks-2010.126152021-01-15 https://scifaro.com/en/abs/on-linear-representation-complexity-and-inversion-of-maps-over-finite-fields-2010.146012024-04-04 https://scifaro.com/en/abs/ldu-factorization-2011.041082020-11-10 https://scifaro.com/en/abs/representation-of-hypergeometric-products-of-higher-nesting-depths-in-difference-rings-2011.087752020-11-18 https://scifaro.com/en/abs/an-effective-method-for-computing-grothendieck-point-residue-mappings-2011.090922020-11-19 https://scifaro.com/en/abs/a-new-algorithm-for-computing-mu-bases-of-the-univariate-polynomial-vector-2011.109242021-01-01 https://scifaro.com/en/abs/solving-parametric-systems-of-polynomial-equations-over-the-reals-through-hermite-matrices-2011.141362021-12-22 https://scifaro.com/en/abs/a-generic-and-executable-formalization-of-signature-based-gr-obner-basis-algorithms-2012.022392020-12-15 https://scifaro.com/en/abs/fast-computation-of-the-n-th-term-of-a-q-holonomic-sequence-and-applications-2012.086562020-12-17 https://scifaro.com/en/abs/symfields-an-open-source-symbolic-fields-analysis-tool-for-general-curvilinear-coordinates-in-python-2012.107232020-12-22 https://scifaro.com/en/abs/a-variant-of-van-hoeij-s-algorithm-to-compute-hypergeometric-term-solutions-of-holonomic-recurrence-equations-2012.115132022-01-19 https://scifaro.com/en/abs/notes-on-computational-graph-and-jacobian-accumulation-2012.150342021-01-01 https://scifaro.com/en/abs/monomial-agnostic-computation-of-vanishing-ideals-2101.002432024-01-02 https://scifaro.com/en/abs/border-basis-computation-with-gradient-weighted-normalization-2101.004012022-07-04 https://scifaro.com/en/abs/some-fast-algorithms-multiplying-a-matrix-by-its-adjoint-2101.010252021-01-05 https://scifaro.com/en/abs/ptopo-computing-the-geometry-and-the-topology-of-parametric-curves-2101.019252022-02-18 https://scifaro.com/en/abs/polynomial-modular-product-verification-and-its-implications-2101.021422021-01-07 https://scifaro.com/en/abs/telescopers-for-differential-forms-with-one-parameter-2101.065762021-01-20 https://scifaro.com/en/abs/multivariateapart-generalized-partial-fractions-2101.082832022-01-05 https://scifaro.com/en/abs/extensions-of-the-az-algorithm-and-the-package-multiintegrate-2101.113852021-01-28 https://scifaro.com/en/abs/certified-evaluations-of-h-older-continuous-functions-at-roots-of-polynomials-2102.001152021-02-02 https://scifaro.com/en/abs/choosing-the-variable-ordering-for-cylindrical-algebraic-decomposition-via-exploiting-chordal-structure-2102.008232021-02-05 https://scifaro.com/en/abs/computing-limits-of-quotients-of-multivariate-real-analytic-functions-2102.012422021-02-03 https://scifaro.com/en/abs/term-algebras-canonical-representations-and-difference-ring-theory-for-symbolic-summation-2102.014712021-05-04 https://scifaro.com/en/abs/proceedings-11th-international-workshop-on-computing-with-terms-and-graphs-2102.018042021-02-04 https://scifaro.com/en/abs/solving-linear-difference-equations-with-coefficients-in-rings-with-idempotent-representations-2102.033072021-02-08 https://scifaro.com/en/abs/on-two-signature-variants-of-buchberger-s-algorithm-over-principal-ideal-domains-2102.033392021-05-26 https://scifaro.com/en/abs/algorithms-for-linearly-recurrent-sequences-of-truncated-polynomials-2102.035832021-06-10 https://scifaro.com/en/abs/separability-problems-in-creative-telescoping-2102.036932021-02-09 https://scifaro.com/en/abs/symbolic-computation-of-hypergeometric-type-and-non-holonomic-power-series-2102.041572022-04-21 https://scifaro.com/en/abs/fast-real-and-complex-root-finding-methods-for-well-conditioned-polynomials-2102.041802021-02-09 https://scifaro.com/en/abs/polynomial-linear-system-solving-with-random-errors-new-bounds-and-early-termination-technique-2102.041822021-02-09 https://scifaro.com/en/abs/on-exact-division-and-divisibility-testing-for-sparse-polynomials-2102.048262021-07-21 https://scifaro.com/en/abs/on-fglm-algorithms-with-tate-algebras-2102.053242021-02-11 https://scifaro.com/en/abs/lazy-hermite-reduction-and-creative-telescoping-for-algebraic-functions-2102.065382021-02-16 https://scifaro.com/en/abs/root-radii-and-subdivision-for-polynomial-root-finding-2102.108212021-07-05 https://scifaro.com/en/abs/an-algorithm-to-recognize-regular-singular-mahler-systems-2102.108422024-10-14 https://scifaro.com/en/abs/optimal-monomial-quadratization-for-ode-systems-2103.080132021-05-14 https://scifaro.com/en/abs/a-succinct-multivariate-lazy-multivariate-tower-ad-for-weil-algebra-computation-2103.116152021-07-06 https://scifaro.com/en/abs/faster-one-block-quantifier-elimination-for-regular-polynomial-systems-of-equations-2103.137352021-05-25 https://scifaro.com/en/abs/how-to-hunt-wild-constants-2103.167202022-02-04 https://scifaro.com/en/abs/on-the-computation-of-asymptotic-critical-values-of-polynomial-maps-and-applications-2104.009132021-04-05 https://scifaro.com/en/abs/computing-the-characteristic-polynomial-of-generic-toeplitz-like-and-hankel-like-matrices-2104.024972021-04-07 https://scifaro.com/en/abs/msolve-a-library-for-solving-polynomial-systems-2104.035722021-05-20 https://scifaro.com/en/abs/tuple-interpretations-for-higher-order-rewriting-2105.011122021-05-05 https://scifaro.com/en/abs/the-d-plus-discriminant-and-complexity-of-root-clustering-2105.038562021-05-20 https://scifaro.com/en/abs/complexity-analysis-of-root-clustering-for-a-complex-polynomial-2105.051832021-05-12 https://scifaro.com/en/abs/on-the-probability-of-generating-a-primitive-matrix-2105.053832023-03-17 https://scifaro.com/en/abs/computing-the-dimension-of-real-algebraic-sets-2105.102552021-06-15 https://scifaro.com/en/abs/on-the-complexity-and-parallel-implementation-of-hensel-s-lemma-and-weierstrass-preparation-2105.107982021-07-06 https://scifaro.com/en/abs/resultant-based-elimination-in-ore-algebra-2105.147992022-10-10 https://scifaro.com/en/abs/new-data-structure-for-univariate-polynomial-approximation-and-applications-to-root-isolation-numerical-multipoint-evaluation-and-other-problems-2106.025052021-11-30 https://scifaro.com/en/abs/the-dewcad-project-pushing-back-the-doubly-exponential-wall-of-cylindrical-algebraic-decomposition-2106.087402022-01-14 https://scifaro.com/en/abs/fast-evaluation-of-some-p-adic-transcendental-functions-2106.093152021-06-18 https://scifaro.com/en/abs/certifying-a-probabilistic-parallel-modular-algorithm-for-rational-univariate-representation-2106.109122021-09-01 https://scifaro.com/en/abs/automatic-differentiation-with-higher-infinitesimals-or-computational-smooth-infinitesimal-analysis-in-weil-algebra-2106.141532021-09-01 https://scifaro.com/en/abs/computing-characteristic-polynomials-of-p-curvatures-in-average-polynomial-time-2106.146372026-03-19 https://scifaro.com/en/abs/multivariate-power-series-in-maple-2106.155192021-06-30 https://scifaro.com/en/abs/polynomial-division-based-algorithms-for-computing-linear-recurrence-relations-2107.025822021-07-07 https://scifaro.com/en/abs/sum-of-squares-decompositions-of-polynomials-over-their-gradient-ideals-with-rational-coefficients-2107.118252021-07-27 https://scifaro.com/en/abs/digital-collections-of-examples-in-mathematical-sciences-2107.129082022-10-31 https://scifaro.com/en/abs/atlas-interactive-and-educational-linear-algebra-system-containing-non-standard-methods-2107.139422021-07-30 https://scifaro.com/en/abs/signature-gr-obner-bases-bases-of-syzygies-and-cofactor-reconstruction-in-the-free-algebra-2107.146752022-04-15 https://scifaro.com/en/abs/computer-algebra-in-julia-2108.123012021-08-30 https://scifaro.com/en/abs/proceedings-of-the-9th-international-workshop-on-verification-and-program-transformation-2109.020012021-09-07 https://scifaro.com/en/abs/proceedings-of-the-9th-international-symposium-on-symbolic-computation-in-software-science-2109.025012021-09-07 https://scifaro.com/en/abs/symbolic-computation-in-software-science-my-personal-view-2109.028062021-09-08 https://scifaro.com/en/abs/on-the-representation-of-non-holonomic-univariate-power-series-2109.095742022-04-18 https://scifaro.com/en/abs/faster-modular-composition-2110.083542023-07-21 https://scifaro.com/en/abs/computing-elements-of-certain-form-in-ideals-to-prove-properties-of-operators-2110.129332023-11-21 https://scifaro.com/en/abs/towards-a-theory-of-domains-for-harmonic-functions-and-its-symbolic-counterpart-2110.137432021-10-27 https://scifaro.com/en/abs/a-symbolic-approach-to-detecting-hardware-trojans-triggered-by-don-t-care-transitions-2111.039892021-11-09 https://scifaro.com/en/abs/a-fast-algorithm-for-computing-the-smith-normal-form-with-multipliers-for-a-nonsingular-integer-matrix-2111.099492022-09-23 https://scifaro.com/en/abs/quasi-equivalence-of-heights-in-algebraic-function-fields-of-one-variable-2111.130252021-11-29 https://scifaro.com/en/abs/polynomial-xl-a-variant-of-the-xl-algorithm-using-macaulay-matrices-over-polynomial-rings-2112.050232024-05-08 https://scifaro.com/en/abs/stability-of-cournot-duopoly-games-with-isoelastic-demands-and-quadratic-costs-2112.059482022-03-21 https://scifaro.com/en/abs/subresultant-of-several-univariate-polynomials-2112.153702023-04-28 https://scifaro.com/en/abs/maximizing-the-sum-of-the-distances-between-four-points-on-the-unit-hemisphere-2201.005352022-01-04 https://scifaro.com/en/abs/a-method-for-the-automated-discovery-of-angle-theorems-2201.005432022-01-04 https://scifaro.com/en/abs/simple-algorithm-for-gcd-of-polynomials-2201.069402022-01-19 https://scifaro.com/en/abs/boosting-isomorphic-model-filtering-with-invariants-2201.105162022-01-26 https://scifaro.com/en/abs/dformpy-a-python-library-for-visualising-and-zooming-on-differential-forms-2201.105172022-01-26 https://scifaro.com/en/abs/symbolic-numeric-integration-of-univariate-expressions-based-on-sparse-regression-2201.124682022-02-08 https://scifaro.com/en/abs/resultant-tools-for-parametric-polynomial-systems-with-application-to-population-models-2201.131892022-02-11 https://scifaro.com/en/abs/the-factorial-basis-method-for-finding-definite-sum-solutions-of-linear-recurrences-with-polynomial-coefficients-2202.055502022-12-16 https://scifaro.com/en/abs/on-the-computation-of-gr-obner-bases-for-matrix-weighted-homogeneous-systems-2202.057422024-04-09 https://scifaro.com/en/abs/square-free-strong-triangular-decomposition-of-zero-dimensional-polynomial-systems-2202.060442022-02-15 https://scifaro.com/en/abs/faster-gr-obner-bases-for-lie-derivatives-of-ode-systems-via-monomial-orderings-2202.062972024-06-10 https://scifaro.com/en/abs/stability-problems-in-symbolic-integration-2202.063052022-02-15 https://scifaro.com/en/abs/exact-sohs-decompositions-of-trigonometric-univariate-polynomials-with-gaussian-coefficients-2202.065442023-10-05 https://scifaro.com/en/abs/on-polynomial-ideals-and-overconvergence-in-tate-algebras-2202.075092022-02-16 https://scifaro.com/en/abs/bohemian-matrix-geometry-2202.077692022-05-25 https://scifaro.com/en/abs/guessing-with-little-data-2202.079662022-07-11 https://scifaro.com/en/abs/sparse-polynomial-interpolation-and-division-in-soft-linear-time-2202.081062022-05-19 https://scifaro.com/en/abs/desingularization-and-p-curvature-of-recurrence-operators-2202.089312022-02-21 https://scifaro.com/en/abs/faster-change-of-order-algorithm-for-gr-obner-bases-under-shape-and-stability-assumptions-2202.092262022-05-17 https://scifaro.com/en/abs/rank-sensitive-computation-of-the-rank-profile-of-a-polynomial-matrix-2202.093292022-05-11 https://scifaro.com/en/abs/a-new-type-of-gr-obner-basis-and-its-complexity-2202.094932022-02-22 https://scifaro.com/en/abs/extending-flat-motion-planning-to-non-flat-systems-experiments-on-aircraft-models-using-maple-2202.099212022-07-14 https://scifaro.com/en/abs/random-primes-without-primality-testing-2202.120732022-02-25 https://scifaro.com/en/abs/new-efficient-algorithms-for-computing-gr-obner-bases-of-saturation-ideals-f4sat-and-colon-ideals-sparse-fglm-colon-2202.133872023-07-28 https://scifaro.com/en/abs/a-signature-based-algorithm-for-computing-the-nondegenerate-locus-of-a-polynomial-system-2202.137842023-06-12 https://scifaro.com/en/abs/verification-of-bitcoin-script-in-agda-using-weakest-preconditions-for-access-control-2203.030542022-11-21 https://scifaro.com/en/abs/on-realizing-differential-algebraic-equations-by-rational-dynamical-systems-2203.035552022-05-17 https://scifaro.com/en/abs/computing-roadmaps-in-unbounded-smooth-real-algebraic-sets-i-connectivity-results-2203.039612023-06-08 https://scifaro.com/en/abs/on-the-complexity-of-invariant-polynomials-under-the-action-of-finite-reflection-groups-2203.041232022-06-01 https://scifaro.com/en/abs/deciding-cuspidality-of-manipulators-through-computer-algebra-and-algorithms-in-real-algebraic-geometry-2203.045782022-09-20 https://scifaro.com/en/abs/computing-a-group-action-from-the-class-field-theory-of-imaginary-hyperelliptic-function-fields-2203.069702024-03-13 https://scifaro.com/en/abs/matrix-multiplication-with-less-arithmetic-complexity-and-io-complexity-2203.160532022-03-31 https://scifaro.com/en/abs/computing-critical-points-for-algebraic-systems-defined-by-hyperoctahedral-invariant-polynomials-2203.160942022-06-13 https://scifaro.com/en/abs/reachability-analysis-of-linear-system-2204.002302022-04-04 https://scifaro.com/en/abs/more-efficient-identifiability-verification-in-ode-models-by-reducing-non-identifiability-2204.016232022-04-05 https://scifaro.com/en/abs/a-vergleichsstellensatz-of-strassen-s-type-for-a-noncommutative-preordered-semialgebra-through-the-semialgebra-of-its-fractions-2204.025772023-05-22 https://scifaro.com/en/abs/symbolic-summation-of-multivariate-rational-functions-2204.069682025-03-18 https://scifaro.com/en/abs/calculation-of-integrals-in-mathpartner-2204.110612022-04-26 https://scifaro.com/en/abs/new-features-in-mathpartner-2021-2204.111182022-04-26 https://scifaro.com/en/abs/mathpartner-computer-algebra-2204.115492022-04-26 https://scifaro.com/en/abs/order-degree-height-surfaces-for-linear-operators-2205.060302022-05-13 https://scifaro.com/en/abs/locating-the-closest-singularity-in-a-polynomial-homotopy-2205.073802022-06-28 https://scifaro.com/en/abs/symbolic-numeric-factorization-of-differential-operators-2205.089912022-06-06 https://scifaro.com/en/abs/solving-sparse-polynomial-systems-using-groebner-bases-and-resultants-2205.098882022-05-23 https://scifaro.com/en/abs/gluing-neural-networks-symbolically-through-hyperdimensional-computing-2205.155342022-06-01 https://scifaro.com/en/abs/synthesizing-mathematical-identities-with-e-graphs-2206.070862022-06-16 https://scifaro.com/en/abs/about-mathpartner-web-service-2206.070882022-06-16 https://scifaro.com/en/abs/elementary-remarks-about-pisano-periods-2206.070952022-06-22 https://scifaro.com/en/abs/accelerated-subdivision-for-clustering-roots-of-polynomials-given-by-evaluation-oracles-2206.086222022-06-20 https://scifaro.com/en/abs/new-heuristic-to-choose-a-cylindrical-algebraic-decomposition-variable-ordering-motivated-by-complexity-analysis-2206.134802022-08-29 https://scifaro.com/en/abs/fps-in-action-an-easy-way-to-find-explicit-formulas-for-interlaced-hypergeometric-sequences-2207.010312022-07-05 https://scifaro.com/en/abs/guessing-with-quadratic-differential-equations-2207.010372022-07-05 https://scifaro.com/en/abs/proceedings-the-7th-international-workshop-on-symbolic-numeric-methods-for-reasoning-about-cps-and-iot-2207.043912022-07-12 https://scifaro.com/en/abs/bit-complexity-of-polynomial-gcd-on-sparse-representation-2207.138742022-07-29 https://scifaro.com/en/abs/sturm-s-theorem-with-endpoints-2208.079042022-08-18 https://scifaro.com/en/abs/factoring-differential-operators-over-algebraic-curves-in-positive-characteristic-2208.113652022-08-25 https://scifaro.com/en/abs/hiding-canonicalisation-in-tensor-computer-algebra-2208.119462022-08-26 https://scifaro.com/en/abs/a-note-on-the-games-chan-algorithm-2209.001482022-09-16 https://scifaro.com/en/abs/minimization-of-differential-equations-and-algebraic-values-of-e-functions-2209.018272023-07-19 https://scifaro.com/en/abs/sc-square-overview-to-2021-2209.043592022-11-30 https://scifaro.com/en/abs/sc-square-future-progress-with-machine-learning-2209.043612022-11-30 https://scifaro.com/en/abs/clifford-algebra-in-r-2209.136592025-10-21 https://scifaro.com/en/abs/ai-assisted-discovery-of-quantitative-and-formal-models-in-social-science-2210.005632023-08-17 https://scifaro.com/en/abs/computing-groups-of-hecke-characters-2210.027162022-10-07 https://scifaro.com/en/abs/disordered-vectors-in-r-introducing-the-disordr-package-2210.038562022-10-18 https://scifaro.com/en/abs/the-fbhhrbnrssshk-algorithm-for-multiplication-in-mathbb-z-2-5-times5-is-still-not-the-end-of-the-story-2210.040452022-10-14 https://scifaro.com/en/abs/sparse-arrays-in-r-the-spray-package-2210.108482022-10-21 https://scifaro.com/en/abs/gosper-s-algorithm-and-bell-numbers-2210.135202022-10-26 https://scifaro.com/en/abs/axioms-for-a-theory-of-signature-bases-2210.137882024-01-09 https://scifaro.com/en/abs/reductions-in-higher-order-rewriting-and-their-equivalence-2210.156542023-08-17 https://scifaro.com/en/abs/on-catalan-constant-continued-fractions-2210.156692022-11-21 https://scifaro.com/en/abs/fast-multivariate-polynomials-in-r-the-mvp-package-2210.159912022-10-31 https://scifaro.com/en/abs/stokes-s-theorem-in-r-2210.170082022-11-01 https://scifaro.com/en/abs/analysis-and-object-oriented-implementation-of-the-kovacic-algorithm-2211.008042022-11-03 https://scifaro.com/en/abs/the-free-algebra-in-r-2211.040022022-11-09 https://scifaro.com/en/abs/cflobdds-context-free-language-ordered-binary-decision-diagrams-2211.068182024-08-30 https://scifaro.com/en/abs/flip-graphs-for-matrix-multiplication-2212.011752022-12-05 https://scifaro.com/en/abs/subresultants-of-several-univariate-polynomials-in-newton-basis-2212.034222024-09-11 https://scifaro.com/en/abs/the-free-group-in-r-2212.058832022-12-13 https://scifaro.com/en/abs/quantum-algebra-in-r-the-weyl-package-2212.092302022-12-20 https://scifaro.com/en/abs/levelwise-construction-of-a-single-cylindrical-algebraic-cell-2212.093092024-01-31 https://scifaro.com/en/abs/computing-error-bounds-for-asymptotic-expansions-of-regular-p-recursive-sequences-2212.117422023-06-27 https://scifaro.com/en/abs/anticipation-of-method-execution-in-mixed-consistency-systems-technical-report-2212.146512023-01-02 https://scifaro.com/en/abs/parametric-non-nested-discriminants-for-multiplicities-of-univariate-polynomials-2301.003152024-09-11 https://scifaro.com/en/abs/computing-square-roots-in-quaternion-algebras-2301.007432026-04-08 https://scifaro.com/en/abs/an-automatic-method-for-generating-symbolic-expressions-of-zernike-circular-polynomials-2301.018592023-06-21 https://scifaro.com/en/abs/isolating-bounded-and-unbounded-real-roots-of-a-mixed-trigonometric-polynomial-2301.058472023-01-18 https://scifaro.com/en/abs/differential-elimination-and-algebraic-invariants-of-polynomial-dynamical-systems-2301.109352026-04-02 https://scifaro.com/en/abs/fast-approximation-of-polynomial-zeros-and-matrix-eigenvalues-2301.112682023-06-13 https://scifaro.com/en/abs/the-automated-discovery-of-kinetic-rate-models-methodological-frameworks-2301.113562023-11-03 https://scifaro.com/en/abs/pourchet-s-theorem-in-action-decomposing-univariate-nonnegative-polynomials-as-sums-of-five-squares-2302.022022023-02-07 https://scifaro.com/en/abs/short-proofs-of-ideal-membership-2302.028322024-04-10 https://scifaro.com/en/abs/refined-telescoping-algorithms-in-r-pi-sigma-extensions-to-reduce-the-degrees-of-the-denominators-2302.035632023-02-08 https://scifaro.com/en/abs/a-unified-approach-to-unimodality-of-gaussian-polynomials-2302.040672023-09-04 https://scifaro.com/en/abs/beating-binary-powering-for-polynomial-matrices-2302.042992023-05-29 https://scifaro.com/en/abs/exact-computations-with-quasiseparable-matrices-2302.045152023-02-10 https://scifaro.com/en/abs/hermite-reduction-for-d-finite-functions-via-integral-bases-2302.046522023-02-10 https://scifaro.com/en/abs/refined-f-5-algorithms-for-ideals-of-minors-of-square-matrices-2302.053752023-06-16 https://scifaro.com/en/abs/lazard-style-cad-and-equational-constraints-2302.058132023-12-08 https://scifaro.com/en/abs/fast-algorithms-for-discrete-differential-equations-2302.062032023-05-01 https://scifaro.com/en/abs/fast-evaluation-and-root-finding-for-polynomials-with-floating-point-coefficients-2302.062442023-02-14 https://scifaro.com/en/abs/transcendence-certificates-for-d-finite-functions-2302.063962023-09-20 https://scifaro.com/en/abs/a-poly-algorithmic-approach-to-quantifier-elimination-2302.068142023-12-08 https://scifaro.com/en/abs/a-direttissimo-algorithm-for-equidimensional-decomposition-2302.081742023-06-12 https://scifaro.com/en/abs/computing-the-characteristic-polynomial-of-endomorphisms-of-a-finite-drinfeld-module-using-crystalline-cohomology-2302.086112023-02-20 https://scifaro.com/en/abs/elimination-ideal-and-bivariate-resultant-over-finite-fields-2302.088912023-02-20 https://scifaro.com/en/abs/algorithm-for-connectivity-queries-on-real-algebraic-curves-2302.113472023-07-12 https://scifaro.com/en/abs/fast-in-place-accumulation-2302.136002025-11-07 https://scifaro.com/en/abs/some-d-finite-and-some-possibly-d-finite-sequences-in-the-oeis-2303.027932023-04-26 https://scifaro.com/en/abs/jordan-algebra-in-r-2303.060622023-03-13 https://scifaro.com/en/abs/distance-evaluation-to-the-set-of-defective-matrices-2303.072352023-03-14 https://scifaro.com/en/abs/exact-and-optimal-quadratization-of-nonlinear-finite-dimensional-non-autonomous-dynamical-systems-2303.102852023-12-07 https://scifaro.com/en/abs/supercomputer-environment-for-recursive-matrix-algorithms-2303.110172023-03-21 https://scifaro.com/en/abs/on-real-and-observable-rational-realizations-of-input-output-equations-2303.167992025-03-12 https://scifaro.com/en/abs/two-variants-of-bezout-subresultants-for-several-univariate-polynomials-2304.002622023-05-10 https://scifaro.com/en/abs/efficient-generic-quotients-using-exact-arithmetic-2304.017532023-06-29 https://scifaro.com/en/abs/classifying-sequences-by-combining-context-free-grammars-and-owl-ontologies-2304.030892023-05-23 https://scifaro.com/en/abs/computer-assisted-proofs-of-kariya-s-theorem-with-computer-algebra-2304.074912023-04-18 https://scifaro.com/en/abs/a-multistep-strategy-for-polynomial-system-solving-over-finite-fields-and-a-new-algebraic-attack-on-the-stream-cipher-trivium-2304.078202024-06-06 https://scifaro.com/en/abs/operations-for-d-algebraic-functions-2304.096752023-07-11 https://scifaro.com/en/abs/explainable-ai-insights-for-symbolic-computation-a-case-study-on-selecting-the-variable-ordering-for-cylindrical-algebraic-decomposition-2304.121542024-01-31 https://scifaro.com/en/abs/on-rueppel-s-linear-complexity-conjecture-2305.004052023-05-02 https://scifaro.com/en/abs/drinfeld-modules-in-sagemath-2305.004222023-05-02 https://scifaro.com/en/abs/arithmetic-of-d-algebraic-functions-2305.007022024-06-18 https://scifaro.com/en/abs/factorization-and-root-finding-for-polynomials-over-division-quaternion-algebras-2305.020722023-05-04 https://scifaro.com/en/abs/b-ezout-subresultants-for-univariate-polynomials-in-general-basis-2305.039062023-05-09 https://scifaro.com/en/abs/dimension-results-for-extremal-generic-polynomial-systems-over-complete-toric-varieties-2305.074392024-02-21 https://scifaro.com/en/abs/b-ezout-identities-and-control-of-the-heat-equation-2305.093402023-05-17 https://scifaro.com/en/abs/how-to-automatise-proofs-of-operator-statements-moore-penrose-inverse-a-case-study-2305.094482023-06-28 https://scifaro.com/en/abs/the-complexity-of-diagonalization-2305.105752023-05-19 https://scifaro.com/en/abs/using-symbolic-computation-to-analyze-zero-hopf-bifurcations-of-polynomial-differential-systems-2305.111092023-05-19 https://scifaro.com/en/abs/representing-piecewise-linear-functions-by-functions-with-small-arity-2305.169332023-05-29 https://scifaro.com/en/abs/efficient-quotients-of-non-commutative-polynomials-2305.178772023-06-29 https://scifaro.com/en/abs/some-new-non-commutative-matrix-multiplication-algorithms-of-size-n-m-6-2306.008822023-06-02 https://scifaro.com/en/abs/faster-real-root-decision-algorithm-for-symmetric-polynomials-2306.038552023-06-08 https://scifaro.com/en/abs/on-isolating-roots-in-a-multiple-field-extension-2306.042712023-06-08 https://scifaro.com/en/abs/positivity-certificates-for-linear-recurrences-2306.059302024-01-18 https://scifaro.com/en/abs/generating-elementary-integrable-expressions-2306.155722023-08-28 https://scifaro.com/en/abs/exploiting-strict-constraints-in-the-cylindrical-algebraic-covering-2306.167572023-06-30 https://scifaro.com/en/abs/discovering-asymptotic-expansions-using-symbolic-regression-2307.018762023-07-06 https://scifaro.com/en/abs/algorithms-for-computing-norms-and-characteristic-polynomials-on-general-drinfeld-modules-2307.028792024-11-19 https://scifaro.com/en/abs/rational-solutions-of-parametric-first-order-algebraic-differential-equations-2307.051022025-07-10 https://scifaro.com/en/abs/an-efficient-canonical-narrowing-implementation-with-irreducibility-and-smt-constraints-for-generic-symbolic-protocol-analysis-2307.063482023-07-14 https://scifaro.com/en/abs/a-program-that-simplifies-regular-expressions-tool-paper-2307.064362023-07-14 https://scifaro.com/en/abs/data-augmentation-for-mathematical-objects-2307.069842023-08-21 https://scifaro.com/en/abs/reduction-based-creative-telescoping-for-definite-summation-of-d-finite-functions-2307.072162023-11-21 https://scifaro.com/en/abs/deciding-one-to-one-property-of-boolean-maps-condition-and-algorithm-in-terms-of-implicants-2307.077882025-09-10 https://scifaro.com/en/abs/in-place-accumulation-of-fast-multiplication-formulae-2307.127122024-07-02 https://scifaro.com/en/abs/the-free-abelian-group-in-r-the-frab-package-2307.131842023-07-26 https://scifaro.com/en/abs/iterated-resultants-in-cad-2307.167502023-08-21 https://scifaro.com/en/abs/smt-solving-induction-proofs-of-inequalities-2307.167612023-08-22 https://scifaro.com/en/abs/a-new-bound-on-cofactors-of-sparse-polynomials-2308.038852026-04-01 https://scifaro.com/en/abs/field-theory-with-the-maxima-computer-algebra-system-2308.098372025-02-28 https://scifaro.com/en/abs/incremental-property-directed-reachability-2308.121622023-08-24 https://scifaro.com/en/abs/algoritmos-para-multiplica-c-c-ao-matricial-2309.006282023-09-06 https://scifaro.com/en/abs/partial-proof-of-a-conjecture-with-implications-for-spectral-majorization-2309.013022023-09-06 https://scifaro.com/en/abs/fmplex-exploring-a-bridge-between-fourier-motzkin-and-simplex-2309.031382025-04-23 https://scifaro.com/en/abs/hive-scalable-hardware-firmware-co-verification-using-scenario-based-decomposition-and-automated-hint-extraction-2309.080022024-04-18 https://scifaro.com/en/abs/symmetric-functions-over-finite-fields-2309.138042023-09-26 https://scifaro.com/en/abs/fmplex-a-novel-method-for-solving-linear-real-arithmetic-problems-2310.009952023-10-03 https://scifaro.com/en/abs/reducing-hyperexponential-functions-over-monomial-extensions-2310.011942023-10-03 https://scifaro.com/en/abs/three-paths-to-rational-curves-with-rational-arc-length-2310.080472024-03-06 https://scifaro.com/en/abs/a-novel-application-of-polynomial-solvers-in-mmwave-analog-radio-beamforming-2310.181032023-10-30 https://scifaro.com/en/abs/linear-difference-operators-with-sequence-coefficients-having-infinite-dimentional-solution-spaces-2311.022172023-11-07 https://scifaro.com/en/abs/on-the-dimension-of-the-solution-space-of-linear-difference-equations-over-the-ring-of-infinite-sequences-2311.022192024-10-08 https://scifaro.com/en/abs/reduction-based-creative-telescoping-for-p-recursive-sequences-via-integral-bases-2311.052462023-11-10 https://scifaro.com/en/abs/stability-problems-on-d-finite-functions-2311.058972023-11-13 https://scifaro.com/en/abs/on-the-existence-of-telescopers-for-p-recursive-sequences-2311.060652023-11-13 https://scifaro.com/en/abs/efficient-local-search-for-nonlinear-real-arithmetic-2311.142492023-11-27 https://scifaro.com/en/abs/hybrid-intervals-and-symbolic-block-matrices-2311.165712023-11-29 https://scifaro.com/en/abs/nested-integrals-and-rationalizing-transformations-2311.169922023-11-29 https://scifaro.com/en/abs/l-infty-norm-computation-for-linear-time-invariant-systems-depending-on-parameters-2312.007602023-12-05 https://scifaro.com/en/abs/an-f5-algorithm-for-tropical-gr-obner-bases-in-the-weyl-algebras-2312.144192023-12-25 https://scifaro.com/en/abs/iterated-resultants-and-rational-functions-in-real-quantifier-elimination-2312.162102025-11-20 https://scifaro.com/en/abs/adaptive-flip-graph-algorithm-for-matrix-multiplication-2312.169602024-03-19 https://scifaro.com/en/abs/factoring-sparse-polynomials-fast-2312.173802025-02-26 https://scifaro.com/en/abs/fast-interpolation-of-sparse-multivariate-polynomials-2312.176642024-01-01 https://scifaro.com/en/abs/hypergeometric-type-sequences-2401.002562024-04-22 https://scifaro.com/en/abs/computing-greatest-common-divisor-of-several-parametric-univariate-polynomials-via-generalized-subresultant-polynomials-2401.004082024-09-09 https://scifaro.com/en/abs/persistent-components-in-canny-s-generalized-characteristic-polynomial-2401.019482024-10-08 https://scifaro.com/en/abs/a-fast-algorithm-for-the-finite-expression-method-in-learning-dynamics-on-complex-networks-2401.030922026-01-22 https://scifaro.com/en/abs/universal-analytic-gr-o-bner-bases-and-tropical-geometry-2401.057592024-01-12 https://scifaro.com/en/abs/on-hilbert-poincar-e-series-of-affine-semi-regular-polynomial-sequences-and-related-gr-o-bner-bases-2401.077682024-03-05 https://scifaro.com/en/abs/submodule-approach-to-creative-telescoping-2401.084552024-05-27 https://scifaro.com/en/abs/hypergeometric-solutions-of-linear-difference-systems-2401.084702025-03-26 https://scifaro.com/en/abs/bootstrapping-ots-funcimg-pre-training-model-botfip-a-comprehensive-symbolic-regression-framework-2401.097482024-01-19 https://scifaro.com/en/abs/showing-proofs-assessing-difficulty-with-geogebra-discovery-2401.119002024-01-25 https://scifaro.com/en/abs/solving-with-geogebra-discovery-an-austrian-mathematics-olympiad-problem-lessons-learned-2401.119062024-01-25 https://scifaro.com/en/abs/computation-of-classical-and-v-adic-l-series-of-t-motives-2401.126182025-02-25 https://scifaro.com/en/abs/lessons-on-datasets-and-paradigms-in-machine-learning-for-symbolic-computation-a-case-study-on-cad-2401.133432024-09-12 https://scifaro.com/en/abs/creative-telescoping-for-hypergeometric-double-sums-2401.163142024-01-30 https://scifaro.com/en/abs/on-the-algorithmic-verification-of-nonlinear-superposition-for-systems-of-first-order-ordinary-differential-equations-2401.170122024-01-31 https://scifaro.com/en/abs/computing-roadmaps-in-unbounded-smooth-real-algebraic-sets-ii-algorithm-and-complexity-2402.031112025-11-20 https://scifaro.com/en/abs/computing-generic-fibers-of-polynomial-ideals-with-fglm-and-hensel-lifting-2402.031442024-09-20 https://scifaro.com/en/abs/factorial-basis-method-for-q-series-applications-2402.043922024-02-08 https://scifaro.com/en/abs/automated-data-driven-discovery-of-material-models-based-on-symbolic-regression-a-case-study-on-human-brain-cortex-2402.052382025-01-14 https://scifaro.com/en/abs/reading-rational-univariate-representations-on-lexicographic-groebner-bases-2402.071412025-05-26 https://scifaro.com/en/abs/computing-discrete-residues-of-rational-functions-2402.073282025-03-21 https://scifaro.com/en/abs/computing-krylov-iterates-in-the-time-of-matrix-multiplication-2402.073452024-08-21 https://scifaro.com/en/abs/optimized-gr-obner-basis-algorithms-for-maximal-determinantal-ideals-and-critical-point-computations-2402.073532024-02-13 https://scifaro.com/en/abs/solving-parameter-dependent-semi-algebraic-systems-2402.077822025-01-27 https://scifaro.com/en/abs/fast-interpolation-and-multiplication-of-unbalanced-polynomials-2402.101392024-10-22 https://scifaro.com/en/abs/on-the-arithmetic-complexity-of-computing-gr-obner-bases-of-comaximal-determinantal-ideals-2403.021602024-05-03 https://scifaro.com/en/abs/factoring-linear-differential-operators-in-positive-characteristic-by-means-of-solving-a-norm-equation-2403.065422026-04-30 https://scifaro.com/en/abs/structural-preprocessing-method-for-nonlinear-differential-algebraic-equations-using-linear-symbolic-matrices-2403.102602024-03-18 https://scifaro.com/en/abs/first-order-factors-of-linear-mahler-operators-2403.115452025-11-04 https://scifaro.com/en/abs/gr-o-bner-bases-over-polytopal-affinoid-algebras-2403.133822025-05-07 https://scifaro.com/en/abs/osvauto-automatic-proofs-about-functional-specifications-in-os-verification-2403.134572025-05-23 https://scifaro.com/en/abs/two-algorithms-for-computing-rational-univariate-representations-of-zero-dimensional-ideals-with-parameters-2403.165192024-07-25 https://scifaro.com/en/abs/on-the-algorithmic-recovering-of-coefficients-in-linearizable-differential-equations-2404.017982024-04-03 https://scifaro.com/en/abs/power-series-composition-in-near-linear-time-2404.051772024-09-24 https://scifaro.com/en/abs/connectivity-in-symmetric-semi-algebraic-sets-2404.097492024-06-13 https://scifaro.com/en/abs/computing-with-hypergeometric-type-terms-2404.101432024-10-16 https://scifaro.com/en/abs/reduction-systems-and-degree-bounds-for-integration-2404.130422025-02-28 https://scifaro.com/en/abs/reconciling-explanations-in-multi-model-systems-through-probabilistic-argumentation-2404.134192024-08-13 https://scifaro.com/en/abs/constrained-neural-networks-for-interpretable-heuristic-creation-to-optimise-computer-algebra-systems-2404.175082024-04-29 https://scifaro.com/en/abs/a-basis-preserving-algorithm-for-computing-the-bezout-matrix-of-newton-polynomials-2404.181172024-04-30 https://scifaro.com/en/abs/on-rational-recursion-for-holonomic-sequences-2404.191362024-06-18 https://scifaro.com/en/abs/solving-unification-in-the-description-logic-mathcal-fl-bot-2405.009122025-08-13 https://scifaro.com/en/abs/how-to-generate-all-possible-rational-wilf-zeilberger-forms-2405.024302025-06-10 https://scifaro.com/en/abs/certifying-phase-abstraction-2405.042972024-05-08 https://scifaro.com/en/abs/effective-alpha-theory-certification-using-interval-arithmetic-alpha-theory-over-regions-2405.048422024-05-09 https://scifaro.com/en/abs/algebraic-tools-for-computing-polynomial-loop-invariants-2405.092322024-05-16 https://scifaro.com/en/abs/bridging-syntax-and-semantics-of-lean-expressions-in-e-graphs-2405.101882024-05-17 https://scifaro.com/en/abs/jacobi-stability-analysis-for-systems-of-odes-using-symbolic-computation-2405.105782024-06-18 https://scifaro.com/en/abs/strided-difference-bound-matrices-2405.112442024-07-08 https://scifaro.com/en/abs/the-recovery-of-lambda-from-a-hilbert-polynomial-2405.128862024-06-06 https://scifaro.com/en/abs/on-the-problem-of-separating-variables-in-multivariate-polynomial-ideals-2405.192232024-05-30 https://scifaro.com/en/abs/linapart-optimizing-the-univariate-partial-fraction-decomposition-2405.201302024-05-31 https://scifaro.com/en/abs/polynomial-bounds-of-cflobdds-against-bdds-2406.015252024-11-25 https://scifaro.com/en/abs/improving-nlsat-for-nonlinear-real-arithmetic-2406.021222025-09-30 https://scifaro.com/en/abs/linear-equations-with-monomial-constraints-and-decision-problems-in-abelian-by-cyclic-groups-2406.084802024-09-09 https://scifaro.com/en/abs/a-symbolic-computing-perspective-on-software-systems-2406.090852024-06-14 https://scifaro.com/en/abs/the-liouville-generator-for-producing-integrable-expressions-2406.116312024-08-27 https://scifaro.com/en/abs/a-local-search-algorithm-for-maxsmt-lia-2406.157822024-06-25 https://scifaro.com/en/abs/dnlsat-a-dynamic-variable-ordering-mcsat-framework-for-nonlinear-real-arithmetic-2406.189642024-06-28 https://scifaro.com/en/abs/algorithms-for-recursive-block-matrices-2407.039762024-07-08 https://scifaro.com/en/abs/computing-clipped-products-2407.041332024-07-08 https://scifaro.com/en/abs/probabilistic-shoenfield-machines-2407.057772025-05-01 https://scifaro.com/en/abs/on-the-equivalence-problem-of-smith-forms-for-multivariate-polynomial-matrices-2407.066492024-07-10 https://scifaro.com/en/abs/a-sagemath-package-for-elementary-and-sign-vectors-with-applications-to-chemical-reaction-networks-2407.126602024-07-18 https://scifaro.com/en/abs/equality-of-morphic-sequences-2407.157212024-07-29 https://scifaro.com/en/abs/recent-developments-in-real-quantifier-elimination-and-cylindrical-algebraic-decomposition-2407.197812024-08-27 https://scifaro.com/en/abs/an-abstraction-preserving-block-matrix-implementation-in-maple-2408.021122024-08-06 https://scifaro.com/en/abs/first-steps-towards-computational-polynomials-in-lean-2408.045642024-09-17 https://scifaro.com/en/abs/mathpartner-an-artificial-intelligence-cloud-service-2408.049992025-01-10 https://scifaro.com/en/abs/boolean-matrix-logic-programming-on-the-gpu-2408.103692025-08-20 https://scifaro.com/en/abs/comprehensive-systems-for-primary-decompositions-of-parametric-ideals-2408.159172024-08-29 https://scifaro.com/en/abs/towards-verified-polynomial-factorisation-2409.095332024-09-17 https://scifaro.com/en/abs/a-generalization-of-habicht-s-theorem-for-subresultants-of-several-univariate-polynomials-2409.127272024-09-20 https://scifaro.com/en/abs/a-syzygial-method-for-equidimensional-decomposition-2409.177852024-09-27 https://scifaro.com/en/abs/generalized-fixed-depth-prefix-and-postfix-symbolic-regression-grammars-2410.081372024-10-11 https://scifaro.com/en/abs/algorithmic-reduction-of-polynomially-nonlinear-pde-systems-to-parametric-ode-systems-2410.121102024-10-17 https://scifaro.com/en/abs/integer-polynomial-factorization-by-recombination-of-real-factors-re-evaluating-an-old-technique-in-modern-era-2410.158802024-10-22 https://scifaro.com/en/abs/on-recurrence-relations-of-multi-dimensional-sequences-2410.172082024-10-23 https://scifaro.com/en/abs/extensions-of-the-cylindrical-algebraic-covering-method-for-quantifiers-2411.030702025-10-07 https://scifaro.com/en/abs/case-frames-and-case-based-arguments-in-statutory-interpretation-2411.068732024-11-12 https://scifaro.com/en/abs/symbolic-algorithm-for-solving-slaes-with-multi-diagonal-coefficient-matrices-2411.118892026-05-22 https://scifaro.com/en/abs/on-minimal-and-minimum-cylindrical-algebraic-decompositions-2411.132182024-11-21 https://scifaro.com/en/abs/union-of-finitely-generated-congruences-on-ground-term-algebra-2411.145592025-10-17 https://scifaro.com/en/abs/botfip-llm-an-enhanced-multimodal-scientific-computing-framework-leveraging-knowledge-distillation-from-large-language-models-2411.155252024-11-26 https://scifaro.com/en/abs/extracting-linear-relations-from-gr-obner-bases-for-formal-verification-of-and-inverter-graphs-2411.163482025-01-22 https://scifaro.com/en/abs/semantics-of-division-for-polynomial-solvers-2412.009632024-12-03 https://scifaro.com/en/abs/hahn-series-and-mahler-equations-algorithmic-aspects-2412.049282024-12-09 https://scifaro.com/en/abs/a-monadic-calculus-with-episodic-flows-2412.079392025-01-23 https://scifaro.com/en/abs/positivity-proofs-for-linear-recurrences-through-contracted-cones-2412.085762024-12-12 https://scifaro.com/en/abs/invariants-computation-and-applications-2412.133062024-12-19 https://scifaro.com/en/abs/algebraic-and-algorithmic-methods-for-computing-polynomial-loop-invariants-2412.140432026-01-08 https://scifaro.com/en/abs/a-semi-algebraic-model-for-automatic-loop-parallelization-2412.192872024-12-30 https://scifaro.com/en/abs/an-algorithm-for-discriminating-the-complete-multiplicities-of-a-parametric-univariate-polynomial-2412.203322024-12-31 https://scifaro.com/en/abs/thoi-an-efficient-and-accessible-library-for-computing-higher-order-interactions-enhanced-by-batch-processing-2501.033812025-01-08 https://scifaro.com/en/abs/a-unified-reduction-for-hypergeometric-and-q-hypergeometric-creative-telescoping-2501.038372025-07-29 https://scifaro.com/en/abs/recursive-matrix-algorithms-distributed-dynamic-control-scaling-stability-2501.053182025-01-10 https://scifaro.com/en/abs/projecting-dynamical-systems-via-a-support-bound-2501.136802026-04-17 https://scifaro.com/en/abs/a-novel-approach-to-the-initial-value-problem-with-a-complete-validated-algorithm-2502.005032026-01-21 https://scifaro.com/en/abs/non-minimality-of-minimal-telescopers-explained-by-residues-2502.037572025-05-02 https://scifaro.com/en/abs/flip-graphs-with-symmetry-and-new-matrix-multiplication-schemes-2502.045142025-02-10 https://scifaro.com/en/abs/on-the-number-of-real-types-of-univariate-polynomials-2502.049142025-02-10 https://scifaro.com/en/abs/on-the-computation-of-newton-polytopes-of-eliminants-2502.050152025-03-17 https://scifaro.com/en/abs/certified-algebraic-curve-projections-by-path-tracking-2502.053572025-06-12 https://scifaro.com/en/abs/flip-graphs-for-polynomial-multiplication-2502.062642025-02-11 https://scifaro.com/en/abs/discovering-polynomial-and-quadratic-structure-in-nonlinear-ordinary-differential-equations-2502.100052025-02-17 https://scifaro.com/en/abs/modular-algorithms-for-computing-gr-obner-bases-in-free-algebras-2502.116062025-02-18 https://scifaro.com/en/abs/a-shape-lemma-for-ideals-of-differential-operators-2502.117872025-05-01 https://scifaro.com/en/abs/generalizing-the-invertible-matrix-theorem-with-linear-relations-using-graphical-linear-algebra-2502.167832025-04-15 https://scifaro.com/en/abs/regular-singular-mahler-equations-and-newton-polygons-2502.169752025-06-04 https://scifaro.com/en/abs/solving-generic-parametric-linear-matrix-inequalities-2503.014872025-08-28 https://scifaro.com/en/abs/a-unified-approach-for-degree-bound-estimates-of-linear-differential-operators-2503.033372025-05-05 https://scifaro.com/en/abs/the-regular-multivariate-quadratic-problem-2503.073422025-03-11 https://scifaro.com/en/abs/deciding-connectivity-in-symmetric-semi-algebraic-sets-2503.122752025-03-18 https://scifaro.com/en/abs/frobenius-method-for-mahler-equations-2503.129952025-03-18 https://scifaro.com/en/abs/lsu-factorization-2503.136402025-03-19 https://scifaro.com/en/abs/positivity-proofs-for-linear-recurrences-with-several-dominant-eigenvalues-2503.142642025-03-19 https://scifaro.com/en/abs/a-computational-approach-to-rational-summability-and-its-applications-via-discrete-residues-2503.156362025-03-21 https://scifaro.com/en/abs/cylindrical-algebraic-decomposition-in-macaulay2-2503.217312025-04-01 https://scifaro.com/en/abs/faster-multivariate-integration-in-d-modules-2504.127242026-03-20 https://scifaro.com/en/abs/an-algorithm-to-compute-selmer-groups-via-resolutions-by-permutations-modules-2504.135062025-04-21 https://scifaro.com/en/abs/normalization-of-quaternionic-polynomials-in-coordinate-free-quaternionic-variables-in-conjugate-alternating-order-2504.149902025-04-22 https://scifaro.com/en/abs/parameter-estimation-in-ode-models-with-certified-polynomial-system-solving-2504.172682025-04-25 https://scifaro.com/en/abs/algorithmic-detection-of-jacobi-stability-for-systems-of-second-order-differential-equations-2504.192432025-04-29 https://scifaro.com/en/abs/deciding-summability-via-residues-in-theory-and-in-practice-2504.200032025-04-29 https://scifaro.com/en/abs/computing-change-of-level-and-isogenies-between-abelian-varieties-2504.210582025-07-11 https://scifaro.com/en/abs/computing-polynomial-representation-in-subrings-of-multivariate-polynomial-rings-2504.217082025-05-01 https://scifaro.com/en/abs/beyond-affine-loops-a-geometric-approach-to-program-synthesis-2505.006202025-05-02 https://scifaro.com/en/abs/primality-testing-via-circulant-matrix-eigenvalue-structure-a-novel-approach-using-cyclotomic-field-theory-2505.007302025-05-05 https://scifaro.com/en/abs/synpat-a-system-for-generating-synthetic-physical-theories-with-data-2505.008782026-02-06 https://scifaro.com/en/abs/semi-centennial-reduce-2505.011032025-09-04 https://scifaro.com/en/abs/the-voynich-codex-decoded-statistical-symbolism-and-scroll-wide-logic-2505.022612025-05-06 https://scifaro.com/en/abs/cooley-tukey-fft-over-mathbb-q-p-via-unramified-cyclotomic-extension-2505.025092025-05-06 https://scifaro.com/en/abs/advancing-symbolic-discovery-on-unsupervised-data-a-pre-training-framework-for-non-degenerate-implicit-equation-discovery-2505.031302025-05-07 https://scifaro.com/en/abs/creative-telescoping-2505.053452025-05-09 https://scifaro.com/en/abs/consequences-of-the-moosbauer-poole-algorithms-2505.058962025-05-12 https://scifaro.com/en/abs/bounds-for-d-algebraic-closure-properties-2505.073042025-05-13 https://scifaro.com/en/abs/majorization-and-inequalities-among-complete-homogeneous-symmetric-functions-2505.081492026-04-22 https://scifaro.com/en/abs/some-computational-tools-for-solving-a-selection-of-problems-in-control-theory-2505.091912025-05-15 https://scifaro.com/en/abs/an-algorithm-for-computing-the-leading-monomials-of-a-minimal-groebner-basis-of-generic-sequences-2505.102462026-05-12