Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
12 | Valery G. Yakhno, Meltem Altunkaynak |
Symbolic Computation of an Exact Solution of the Cauchy Problem for the System of Crystal Optics with Polynomial Data. |
NAA |
2008 |
DBLP DOI BibTeX RDF |
system of crystal optics, symbolic computations, Analytical method, initial value problem, polynomial solutions |
12 | Alejandra Santoyo-Sanchez, Antonio Ramírez-Treviño, Carlos De Jesus-Vélasquez, Luis I. Aguirre-Salas |
Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi |
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
validated output, semidefinite programming, hybrid method, sum-of-squares, approximate factorization |
12 | Philip Feinsilver, René Schott |
Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach. |
Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000). Primary 30A99 - Secondary 68W30, 37C10, 30A06 |
12 | Andrew Burnett, Tom Dowling |
A Framework for the Development and Testing of Cryptographic Software. |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie |
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
RegularChains, quasi-component, inclusion test, irredundant triangular decomposition |
12 | Xin Li 0009, Marc Moreno Maza, Éric Schost |
On the Virtues of Generic Programming for Symbolic Computation. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
fast arithmetic, polynomials, high performance, Generic programming, efficient implementation |
12 | Masayoshi Sekiguchi, Masataka Kaneko, Yuuki Tadokoro, Satoshi Yamashita, Setsuo Takato |
A New Application of CAS to LaTeX Plottings. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
CAS - |
12 | Zhibin Li 0005, Yinping Liu, Haifeng Qian |
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations. |
ASCM |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Iulia Costin |
Invariance in the Class of Weighted Power Means. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Z. Emiris, George M. Tzoumas |
A real-time and exact implementation of the predicates for the Voronoi diagram of parametric ellipses. |
Symposium on Solid and Physical Modeling |
2007 |
DBLP DOI BibTeX RDF |
parametric ellipse, robust predicate, Voronoi diagram, symbolic-numeric computation |
12 | Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth |
Dynamics of Nonlinear Parabolic Equations with Cosymmetry. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | N. A. Kostov, Z. T. Kostova |
Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Juan Ospina, Mario Vélez |
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Stephan Fritzsche |
Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
A sparse modular GCD algorithm for polynomials over algebraic function fields. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
GCD algorithms, sparse interpolation, algebraic function fields |
12 | A. D. Kennedy, Thomas Binoth, Thomas Rippon |
Automating renormalization of quantum field theories. |
SNC |
2007 |
DBLP DOI BibTeX RDF |
Feynman diagrams, quantum field theory, renormalization theory |
12 | Xin Li 0009, Marc Moreno Maza, Éric Schost |
Fast arithmetic for triangular sets: from theory to practice. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
high-performance, multiplication, triangular set |
12 | Ilias S. Kotsireas, Christos Koukouvinos |
Inequivalent Hadamard matrices from orthogonal designs. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
orthogonal designs, systems of polynomial equations, Hadamard matrices |
12 | Cezary Kaliszyk, Freek Wiedijk |
Certified Computer Algebra on Top of an Interactive Theorem Prover. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Cluzeau, Mark van Hoeij |
Computing Hypergeometric Solutions of Linear Recurrence Equations. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Suchendra M. Bhandarkar, Xingzhi Luo, Richard F. Daniels, Ernest William Tollner |
A novel feature-based tracking approach to the detection, localization, and 3-D reconstruction of internal defects in hardwood logs using computer tomography. |
Pattern Anal. Appl. |
2006 |
DBLP DOI BibTeX RDF |
Internal defect detection, Feature-based tracking, Nondestructive evaluation, Automated lumber production, Kalman filter, Computer tomography |
12 | D. Behloul, S. S. Cheng |
Computation of All Polynomial Solutions of a Class of Nonlinear Differential Equations. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
rational solution, Nonlinear differential equation, polynomial solution |
12 | Zhou Chaochen |
Program Verification Through Computer Algebra. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alfredo Deaño, Amparo Gil, Javier Segura 0001 |
Computation of the Real Zeros of the Kummer Function M(a;c;x). |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Annie A. M. Cuyt, Stefan Becuwe |
Towards Reliable Software for the Evaluation of a Class of Special Functions. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Anton Leykin, Jan Verschelde |
Interfacing with the Numerical Homotopy Algorithms in PHCpack. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas |
The predicates for the Voronoi diagram of ellipses. |
SCG |
2006 |
DBLP DOI BibTeX RDF |
Voronoi diagram, predicate, Euclidean distance, bisector, exact computation, ellipse, parametric representation |
12 | Hitoshi Yanami, Hirokazu Anai |
Development of SyNARC. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sabina Jeschke, Thomas Richter |
Individualization and Flexibility through Computer Algebra Systems in Virtual Laboratories. |
ISM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Neli S. Dimitrova, Plamena Zlateva |
Stability and Bifurcation Analysis of a Nonlinear Model of Bioreactor. |
Numerical Methods and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
12 | E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova |
Numerical Study of Stability Domains of Hamiltonian Equation Solutions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marc Moreno Maza |
Triangular decompositions of polynomial systems: from theory to practice. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael B. Monagan, Roman Pearce |
Rational simplification modulo a polynomial ideal. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
field of fractions, quotient ring, rational expression, side relations, simplification, Groebner Bases |
12 | S. P. Polyakov |
Symbolic additive decomposition of rational functions. |
Program. Comput. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou |
Program Verification by Using DISCOVERER. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation |
12 | Neli S. Dimitrova, Mikhail Krastanov |
Stabilization of a Nonlinear Anaerobic Wastewater Treatment Model. |
LSSC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yukari Shirota |
Automatic Generation of Web-Based Mathematical Courseware for Solving Simultaneous Equations. |
Human.Society@Internet |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Wenqin Zhou, David J. Jeffrey, Gregory J. Reid |
An Algebraic Method for Analyzing Open-Loop Dynamic Systems. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
Dynaflex, RifSimp, Case Splitting, Symbolic Simplification, Graph Theory, Computer Algebra |
12 | Hitoshi Yanami, Hirokazu Anai |
Development of SyNRAC. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | S. Yu. Vernov |
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita |
Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
Metamorphic Petrology, Expert Systems, Computer Algebra Systems |
12 | Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger 0001 |
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Valentin Irtegov, Tatyana Titorenko |
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes |
Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Geddes series scheme, Geddes-Newton series expansions, approximation of functions, bilinear series, deconstruction/approximation/reconstruction technique (DART), multiple integration, splitting operator, tensor products, symbolic-numeric algorithms |
12 | Bruno Buchberger |
A view on the future of symbolic computation. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Alan P. Sexton, Volker Sorge |
Processing Textbook-Style Matrices. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Mohamed Elkadi, Bernard Mourrain |
Residue and Implicitization Problem for Rational Surfaces. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Siguna Müller |
On the Computation of Square Roots in Finite Fields. |
Des. Codes Cryptogr. |
2004 |
DBLP DOI BibTeX RDF |
complexity, finite fields, square roots, efficient computation |
12 | Alexander Gusev 0001, Nikolai A. Chekanov, V. A. Rostovtsev, Sergey I. Vinitsky, Yoshio Uwano |
A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
12 | V. V. Kislenkov |
Grid-Oriented Computation: Integrated Library GridComp. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Z. Emiris, Elias P. Tsigaridas |
Comparing Real Algebraic Numbers of Small Degree. |
ESA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | S. Yu. Vernov |
Construction of Solutions for Nonintegrable Systems with the Help of the Painleve Test. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Pedro Bezerra Chaves, Cecilio Pimentel, Bartolomeu F. Uchôa Filho |
An Iterative Matrix-Based Procedure for Finding the Shannon Cover for Constrained Sequences. |
ICT |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Plamena Zlateva, Neli S. Dimitrova |
Stability Analysis of a Nonlinear Model of Wastewater Treatment Processes. |
NAA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías |
An Expert System on Detection, Evaluation and Treatment of Hypertension. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Pengcheng Wu, Thomas G. Dietterich |
Improving SVM accuracy by training on auxiliary data sources. |
ICML |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Mark van Hoeij, Michael B. Monagan |
Algorithms for polynomial GCD computation over algebraic function fields. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
modular algorithms |
12 | Dhavide A. Aruliah, Robert M. Corless |
Numerical parameterization of affine varieties using. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
numerical polynomial algebra, symbolic-numeric algorithms |
12 | Michael Yang, Richard J. Fateman |
Extracting mathematical expressions from postscript documents. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
postscript documents, digital library, optical character recognition, document image analysis, mathematics |
12 | Enric Rodríguez-Carbonell, Deepak Kapur |
Automatic generation of polynomial loop. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
ideal, loop invariant, groebner basis |
12 | Elena S. Smirnova, Clare M. So, Stephen M. Watt |
An Architecture for Distributed Mathematical Web Services. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Matthew J. Streeter, Lee A. Becker |
Automated Discovery of Numerical Approximation Formulae via Genetic Programming. |
Genet. Program. Evolvable Mach. |
2003 |
DBLP DOI BibTeX RDF |
genetic programming, approximations, Pareto optimality, symbolic regression |
12 | Markus Grimmer, Knut Petras, Nathalie Revol |
Multiple Precision Interval Packages: Comparing Different Approaches. |
Numerical Software with Result Verification |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Iraklis Paraskakis |
Rethinking the Teaching of Differential Equations through the Constructivism Paradigm. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Kaminski 0002 |
Some Notes on Numerical Convergence of the Stochastic Perturbation Method. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Z. Emiris, Ilias S. Kotsireas |
Implicit Polynomial Support Optimized for Sparseness. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Wolfram Koepf |
Power series, Bieberbach conjecture and the de Branges and Weinstein functions. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
Askey-Gasper inequality, Bieberbach conjecture, FPS algorithm, Sturm sequences, Weinstein functions, algorithmic computation of formal power series, de Branges functions |
12 | Abdolali Basiri, Jean-Charles Faugère |
Changing the ordering of Gröbner bases with LLL: case of two variables. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
Gröbner basis, reduced lattice basis, complexity, LLL |
12 | Anna A. Ryabenko |
Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Yu. G. Palii |
Correction of Numerical Integration as an Optimal Control Problem. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
12 | O. S. Paramonova, A. W. Niukkanen |
Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
12 | XueFeng Chen, DingKang Wang |
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. |
Automated Deduction in Geometry |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Iraklis Paraskakis |
TeLoDe : Towards Creating an Intelligent Computer Algebra System. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Mikhail Krastanov, Neli S. Dimitrova |
A Stabilizing Feedback of an Uncertain Control System. |
Numerical Methods and Application |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jürgen Zimmer, Louise A. Dennis |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Alicia Dickenstein, Ioannis Z. Emiris |
Multihomogeneous resultant matrices. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
Sylvester and Bézout type matrix, degree vector, determinantal, multihomogeneous system, sparse resultant, formula |
12 | Volker Weispfenning |
Canonical comprehensive Gröbner bases. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Elizabeth L. Mansfield |
Algorithms for Symmetric Differential Systems. |
Found. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
|
12 | A. M. Mitichkina, Anna A. Ryabenko |
Representation of Algebraic Functions As Power and Fractional Power Series of Special Type. |
Program. Comput. Softw. |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Schreiner, Gábor Kusper, Károly Bósa |
Fault Tolerance for Cluster Computing Based on Functional Tasks. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Schreiner |
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Rubin H. Landau |
Developing Components and Curricula for a Research-Rich Undergraduate Degree in Computational Physics. |
International Conference on Computational Science (1) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Carlos D'Andrea, Ioannis Z. Emiris |
Hybrid sparse resultant matrices for bivariate systems. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
mixed subdivison, piecewise-linear lifting, sparse resultant matrix, toric Jacobian, convexity |
12 | C.-J. Richard Shi, Sheldon X.-D. Tan |
Canonical symbolic analysis of large analog circuits withdeterminant decision diagrams. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Lu Yang, Ju Zhang |
A Practical Program of Automated Proving for a Class of Geometric Inequalities. |
Automated Deduction in Geometry |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Timothy Stokes 0001, Michael Bulmer |
A Complex Change of Variables for Geometrical Reasoning. |
Automated Deduction in Geometry |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Diane L. Evans, Lawrence M. Leemis |
Input modeling using a computer algebra system. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
12 | A. Buzin, I. Naftulin |
APL tutorial in mathematical modelling. |
APL |
2000 |
DBLP DOI BibTeX RDF |
APL |
12 | François Boulier, François Lemaire |
Computing canonical representatives of regular differential ideals. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets |
12 | Michael B. Monagan, Allan D. Wittkopf |
On the design and implementation of Brown's algorithm over the integers and number fields. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Dominique Eyheramendy, Thomas Zimmermann |
Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics. |
Eng. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Object-oriented pro-gramming, Symbolic approaches, Finite elements |
12 | Rakesh M. Verma, Shalitha Senanayake |
LarrowR2: A Laboratory fro Rapid Term Graph Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Lu Yang, Xiaorong Hou, Bican Xia |
Automated Discovering and Proving for Geometric Inequalities. |
Automated Deduction in Geometry |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
Specification and Integration of Theorem Provers and Computer Algebra Systems. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks |
12 | Stéphane Fèvre, Dongming Wang 0001 |
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Ferenc Kálovics, Gabriella Mészáros |
Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives. |
Reliab. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Lu Yang, Hongguang Fu, Zhenbing Zeng |
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
12 | C.-J. Richard Shi, Xiang-Dong Tan |
Symbolic analysis of large analog circuits with determinant decision diagrams. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
|