Search results

Hille-Wintner Type Comparison Theorem for Selfadjoint Fourth Order Linear Differential Equations 1980-01-01 Paper Integral comparison theorems for third order...

2022-05-25 Paper Learning theorem proving components 2022-05-25 Paper Online machine learning techniques for Coq: a comparison 2022-04-22 Paper Learning...

1975-01-01 Paper Comparison theorems for boundary value problems 1975-01-01 Paper On a Relation Between a Theorem of Hartman and a Theorem of Sherman 1973-01-01...

Development Techniques 2010-04-20 Paper Recent Trends in Algebraic Development Techniques 2010-04-20 Paper Recent Trends in Algebraic Development Techniques 2010-04-20...

Further critical cases of the scalar implicit function theorem 1972-01-01 Paper An Lp Saturation Theorem for Splines 1972-01-01 Paper Simultaneous Packing and...

response techniques 2016-03-17 Paper A generalized randomized response technique 2015-10-14 Paper The Conditional Convex Order and a Comparison Inequality...

finite difference and finite element techniques 1993-01-06 Paper Computer generated generalized propagation techniques 1991-01-01 Paper Dirichlet principle...

Paper Mac Lane's comparison theorem for the Kleisli construction formalized in Coq 2020-10-30 Paper Relaxed weighted path order in theorem proving 2020-10-30...

Curvature 2019-02-06 Paper Comparison and vanishing theorems for Kähler manifolds 2018-10-15 Paper Positivity and Kodaira embedding theorem 2018-04-25 Paper Entropy...

Publication Date of Publication Type Comparison of guaranteed lower eigenvalue bounds with three skeletal schemes 2025-01-14...

2021-03-15 Paper Correction to: ``A de Bruijn-Erdős theorem in graphs? 2019-06-12 Paper A de Bruijn-Erdős theorem in graphs? 2019-06-12 Paper McCulloch-Pitts Brains...

1990-01-01 Paper A comparison of solution generating techniques for the self-dual Yang–Mills equations. II 1990-01-01 Paper A comparison of solution generating...

1975-01-01 Paper Cluster analysis. A survey 1974-01-01 Paper Comparison of Some Classification Techniques 1974-01-01 Paper A space application of an extension...

for the central limit theorem 2010-10-13 Paper New techniques for empirical processes of dependent data 2009-10-13 Paper Comparison between criteria leading...

the Twisted Eilenberg–Zilber Theorem 2007-12-17 Paper Rectifications of A∞-Algebras 2007-10-31 Paper Simplification techniques for maps in simplicial topology...

difference labelings of disjoint unions of circuits 2019-08-29 Paper A comparison of integer programming models for the partial directed weighted improper...

Paper New comparison and oscillation theorems for second-order half-linear dynamic equations on time scales 2009-07-17 Paper Wong's comparison theorem for second...

hyperbolic differential equations in two variables 1976-01-01 Paper Comparison techniques for certain overdamped hyperbolic partial differential equations...

algorithm for ARMAX model identification in closed loop 2000-10-17 Paper Comparison of the closed-loop identification methods in terms of the bias distribution...

The experimental localization of Aubry–Mather sets using regularization techniques inspired by viscosity theory 2019-08-29 Paper Integrability of the spatial...